Formal Techniques in Real-Time and Fault-Tolerant Systems

1. Front Matter

   PDF

2. Hybrid verification by exploiting the environment

   • Limor Fix, Fred B. Schneider

   Pages 1-18

3. Correctness of real time systems by construction

   • Jozef Hooman

   Pages 19-40

4. Specifying and verifying fault-tolerant systems

   • Leslie Lamport, Stephan Merz

   Pages 41-76

5. Development of hybrid systems

   • Amir Pnueli

   Pages 77-85

6. Linear duration invariants

   • Zhou Chaochen, Zhang Jingzhong, Yang Lu, Li Xiaoshan

   Pages 86-109

7. Efficient reconfiguration of trees: A case study in methodical design of nonmasking fault-tolerant programs

   • Anish Arora

   Pages 110-127

8. A comparison of Statecharts variants

   • Michael von der Beeck

   Pages 128-148

9. A calculus of stochastic systems

   • Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic

   Pages 149-169

10. Verification of an audio control protocol

    • Doeko Bosscher, Indra Polak, Frits Vaandrager

    Pages 170-192

11. Verifying invariance properties of timed systems with duration variables

    • Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

    Pages 193-210

12. Predicting logical and temporal properties of real-time systems using Synchronized Elementary Nets

    • Hanifa Boucheneb, Usthb Alger, Gérard Berthelot

    Pages 211-227

13. Designing and implementing correct real-time systems

    • Steven Bradley, William Henderson, David Kendall, Adrian Robson

    Pages 228-246

14. Specification and refinement of finite dataflow networks — a relational approach

    • Manfred Broy, Ketil StØlen

    Pages 247-267

15. Activation-oriented specification of real-time systems

    • Vered Gafni, Amiram Yehudai, Yishai A. Feldman

    Pages 268-287

16. Provably Correct Systems

    • Jifeng He, C. A. R. Hoare, Martin FrÄnzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke et al.

    Pages 288-335

17. Simulation approach to provably correct hardware compilation

    • He Jifeng, Zheng Jianping

    Pages 336-350

18. Verification methods for the divergent runs of clock systems

    • Thomas A. Henzinger, Peter W. Kopke

    Pages 351-372

19. Fault-tolerant bisimulation and process transformations

    • Tomasz Janowski

    Pages 373-392

20. Layering of real-time distributed processes

    • Wil Janssen, Mannes Poel, Job Zwiers, Qiwen Xu

    Pages 393-417

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

• Echt-Zeit-Systeme
• Erfüllbarkeitsproblem der Aussagenlogik
• Fault- Tolerant Systems
• Fehlertolerierende Systeme
• Formal Methods
• Formale Methoden
• Hybrid Systems
• Scheduling
• Sicherheitsrelevante Systeme
• System
• Variable
• automata
• configuration
• logic
• processor

Policies and ethics