04729nam 22007935 450 991014361650332120200701050946.03-540-45352-010.1007/3-540-45352-0(CKB)1000000000211327(SSID)ssj0000323240(PQKBManifestationID)11223086(PQKBTitleCode)TC0000323240(PQKBWorkID)10312546(PQKB)10717802(DE-He213)978-3-540-45352-9(MiAaPQ)EBC3072071(PPN)155203673(EXLCZ)99100000000021132720121227d2000 u| 0engurnn|008mamaatxtccrFormal Techniques in Real-Time and Fault-Tolerant Systems[electronic resource] 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /edited by Mathai Joseph1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (X, 314 p.) Lecture Notes in Computer Science,0302-9743 ;1926Bibliographic Level Mode of Issuance: Monograph3-540-41055-4 Includes bibliographical references and index.Invited Lectures -- Stability of Discrete Sampled Systems -- Issues in the Refinement of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking -- Scaling up Uppaal -- Decidable Model Checking of Probabilistic Hybrid Automata -- Fault Tolerance -- Invariant-Based Synthesis of Fault-Tolerant Systems -- Modeling Faults of Distributed, Reactive Systems -- Threshold and Bounded-Delay Voting in Critical Control Systems -- Automating the Addition of Fault-Tolerance -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction of Scheduled Systems -- A Dual Interpretation of “Standard Constraints” in Parametric Scheduling -- Validation -- Co-Simulation of Hybrid Systems: Signal-Simulink -- A System for Object Code Validation -- Refinement -- Real-Time Program Refinement Using Auxiliary Variables -- On Refinement and Temporal Annotations -- Generalizing Action Systems to Hybrid Systems -- Verification -- Compositional Verification of Synchronous Networks -- Modelling Coordinated Atomic Actions in Timed CSP -- Logic and Automata -- A Logical Characterisation of Event Recording Automata -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata -- Probabilistic Neighbourhood Logic -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Verifying Universal Properties of Parameterized Networks.Lecture Notes in Computer Science,0302-9743 ;1926Programming languages (Electronic computers)Architecture, ComputerComputer logicMicroprocessorsSpecial purpose computersLogic designProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProcessor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Logic Designhttps://scigraph.springernature.com/ontologies/product-market-codes/I12050Programming languages (Electronic computers).Architecture, Computer.Computer logic.Microprocessors.Special purpose computers.Logic design.Programming Languages, Compilers, Interpreters.Computer System Implementation.Logics and Meanings of Programs.Processor Architectures.Special Purpose and Application-Based Systems.Logic Design.004/.33Joseph Mathaiedthttp://id.loc.gov/vocabulary/relators/edtFTRTFT 2000MiAaPQMiAaPQMiAaPQBOOK9910143616503321Formal Techniques in Real-Time and Fault-Tolerant Systems1944996UNINA