Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ravn, Anders P. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rischel, Hans (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1486
• Θέματα: Programming languages (Electronic computers).; Architecture, Computer.; Computers.; Computer logic.; Microprocessors.; Special purpose computers.; Programming Languages, Compilers, Interpreters.; Computer System Implementation.; Theory of Computation.; Logics and Meanings of Programs.; Processor Architectures.; Special Purpose and Application-Based Systems.

This 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 b...

Πίνακας περιεχομένων:

• Challenges 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.