000 04373nam a22006015i 4500
001 978-3-540-70653-3
003 DE-He213
005 20160624102102.0
007 cr nn 008mamaa
008 121227s1996 gw | s |||| 0|eng d
020 _a9783540706533
_9978-3-540-70653-3
024 7 _a10.1007/3-540-61648-9
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
245 1 0 _aFormal Techniques in Real-Time and Fault-Tolerant Systems
_h[electronic resource] :
_b4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings /
_cedited by Bengt Jonsson, Joachim Parrow.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1996.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1996.
300 _aX, 490 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1135
505 0 _aOn the semantics of group communication -- Unifying verification paradigms -- Formal methods for early fault detection -- Retiming techniques for Statecharts -- Compiling Argos into Boolean equations -- Real-time mode-machines -- A calculus for timed automata -- Minimizable timed automata -- Weak chop inverses and liveness in Mean-Value Calculus -- Synthesizing controllers from Duration Calculus -- Sampling semantics of Duration Calculus -- The production cell: A verified real-time system -- Verification-driven development of a collision-avoidance protocol for the Ethernet -- Exhaustive computation of the scheduled task execution sequences of a real-time application -- Scheduling Data Flow programs in Hard Real-Time environments -- Dynamic scheduling in the presence of faults: Specification and verification -- Efficient broadcasting on faulty star networks -- Model checking for extended timed temporal logics -- Partial orders and verification of real-time systems -- Toward a modal theory of types for the ?-calculus -- Graphical formalization of real-time requirements -- On specifying real-time systems in a causality-based setting -- Verification of embedded systems using synchronous observers -- Compositionality in real-time shared variable concurrency -- Formal analysis of a real-time kernel specification -- Mona: Decidable arithmetic in practice -- Verifying synchronous reactive systems programmed in ESTEREL -- AutoFocus — A tool for distributed systems specification -- A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis -- EVGC: A tool for visualizing LOTOS behavioural specifications.
520 _aThis volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
650 0 _aComputer science.
650 0 _aMemory management (Computer science).
650 0 _aSoftware engineering.
650 0 _aOperating systems (Computers).
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aOperating Systems.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aProcessor Architectures.
650 2 4 _aMemory Structures.
700 1 _aJonsson, Bengt.
_eeditor.
700 1 _aParrow, Joachim.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540616481
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1135
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-61648-9
942 _2EBK7436
_cEBK
999 _c36730
_d36730