Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in re...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
571 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal techniques in real-time and fault-tolerant systems, second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil, ed, Berlin, Springer-Verlag, 1991, 1 vol. (IX-620 p.), Lecture notes in computer science, 3-540-55092-5 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662203040 |
目次:
- ISL: An interval logic for the specification of real-time programs
- Duration specifications for shared processors
- A compositional semantics for fault-tolerant real-time systems
- Modelling real-time behavior with an interval time calculus
- Multicycles and RTL logic satisfiability
- Voluntary preemption: A tool in the design of hard real-time systems
- Observing task preemption in Ada 9X
- Real-time scheduling by queue automata
- Broadcast communication for real-time processes
- Analysis of timeliness requirements in safety-critical systems
- Verification of a reliable net protocol
- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization
- Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
- On fault-tolerant symbolic computations
- Temporal logic applied to reliability modelling of fault-tolerant systems
- Specifying asynchronous transfer of control
- Protocol design by layered decomposition
- Scheduling in Real-Time Models
- A temporal approach to requirements specification of real-time systems
- RLucid, a general real-time dataflow language
- A mechanized theory for the verification of real-time program code using higher order logic
- Specification and verification of real-time behaviour using Z and RTL
- TAM: A formal framework for the development of distributed real-time systems
- An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language
- The real-time behaviour of asynchronously communicating processes
- Asynchronous communication in real space process algebra
- Translating timed process algebra into prioritized process algebra
- Operational semantics for timed observations
- Real-timed concurrent refineablebehaviours
- Stepwise development of model-oriented real-time specifications from action/event models
- Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic
- Timed and Hybrid Statecharts and their textual representation.