LEADER 05623nam 22007575 450 001 996466151803316 005 20200629174840.0 010 $a3-540-49792-7 024 7 $a10.1007/BFb0055330 035 $a(CKB)1000000000210986 035 $a(SSID)ssj0000323244 035 $a(PQKBManifestationID)11250807 035 $a(PQKBTitleCode)TC0000323244 035 $a(PQKBWorkID)10296781 035 $a(PQKB)11149751 035 $a(DE-He213)978-3-540-49792-9 035 $a(PPN)155209019 035 $a(EXLCZ)991000000000210986 100 $a20121227d1998 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques in Real-Time and Fault-Tolerant Systems$b[electronic resource] $e5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /$fedited by Anders P. Ravn, Hans Rischel 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1998. 215 $a1 online resource (IX, 347 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1486 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-65003-2 327 $aChallenges in the utilization of formal methods -- On the need for practical formal methods -- A general framework for the composition of timed systems -- Operational and logical semantics for polling real-time systems -- A finite-domain semantics for testing temporal logic specifications -- Duration Calculus of Weakly Monotonic Time -- Reuse in requirements engineering: Discovery and application of a real-time requirement pattern -- A modular visual model for hybrid systems -- Integrating real-time structured design and formal techniques -- Duration Calculus in the specification of safety requirements -- Automated stream-based analysis of fault-tolerance -- Designing a provably correct robt control system using a ?lean? formal method -- Static analysis to identify invariants in RSML specifications -- Partition refinement in real-time model checking -- Formal verification of stabilizing systems -- Synchronizing clocked transition systems -- Some decidability results for duration calculus under synchronous interpretation -- Fair synchronous transition systems and their liveness proofs -- Dynamical properties of timed automata -- An algorithm for the approximative analysis of rectangular automata -- On checking parallel real-time systems for linear duration properties -- A practical and complete algorithm for testing real-time systems -- Mechanical verification of clock synchronization algorithms -- Compiling graphical real-time specifications into silicon -- Towards a formal semantics of verilog using duration calculus -- The ICOS synthesis environment -- Kronos: A model-checking tool for real-time systems -- SGLOT: A visual tool for structural LOTOS specifications -- Discrete-time Promela and Spin -- Moby/PLC ? Graphical development of PLC-automata -- Predictability in critical systems. 330 $aThis book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1486 606 $aProgramming languages (Electronic computers) 606 $aArchitecture, Computer 606 $aComputers 606 $aComputer logic 606 $aMicroprocessors 606 $aSpecial purpose computers 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aProgramming languages (Electronic computers). 615 0$aArchitecture, Computer. 615 0$aComputers. 615 0$aComputer logic. 615 0$aMicroprocessors. 615 0$aSpecial purpose computers. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer System Implementation. 615 24$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aProcessor Architectures. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004/.33 702 $aRavn$b Anders P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRischel$b Hans$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFTRTFT '98 906 $aBOOK 912 $a996466151803316 996 $aFormal Techniques in Real-Time and Fault-Tolerant Systems$91944996 997 $aUNISA