Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
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...
Guardat en:
| Autor corporatiu: | , |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
863 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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, proceedings [of the] third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994, H. Langmaack, W.-P. de Roever, J. Vytopil, eds, Berlin, Springer-Verlag, 1994, 1 vol. (XIV-787 p.), Lecture notes in computer science, 0-387-58468-4 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662192894 |
Taula de continguts:
- Hybrid verification by exploiting the environment
- Correctness of real time systems by construction
- Specifying and verifying fault-tolerant systems
- Development of hybrid systems
- Linear duration invariants
- Efficient reconfiguration of trees: A case study in methodical design of nonmasking fault-tolerant programs
- A comparison of Statecharts variants
- A calculus of stochastic systems
- Verification of an audio control protocol
- Verifying invariance properties of timed systems with duration variables
- Predicting logical and temporal properties of real-time systems using Synchronized Elementary Nets
- Designing and implementing correct real-time systems
- Specification and refinement of finite dataflow networks a relational approach
- Activation-oriented specification of real-time systems
- Provably Correct Systems
- Simulation approach to provably correct hardware compilation
- Verification methods for the divergent runs of clock systems
- Fault-tolerant bisimulation and process transformations
- Layering of real-time distributed processes
- Testing and refinement for nondeterministic and probabilistic processes
- Proving safety properties of hybrid systems
- A layered real-time specification of a RISC processor
- A real time fault tolerant microprocessor based On-Board Computer System for INSAT-2 spacecraft
- Reasoning about durations in Metric Temporal Logic
- Scheduling in critical real-time systems: a manifesto
- Stepwise development of fault-tolerant reactive systems
- Distributed implementation of SIGNAL: Scheduling & graph clustering
- Derivation of the input conditional formula from a reactive system specification in temporal logic
- From physical modelling to compositional models of hybrid systems
- Specification and transformation of reactive systems with time restrictions and concurrency
- Languages for reactive specifications: Synchrony vs asynchrony
- Specification and verification of controlled systems
- Towards a duration calculus proof assistant in PVS
- Algebraic reasoning for real-time probabilistic processes with uncertain information
- Specifying timed state sequences in powerful decidable logics and timed automata
- A calculus for hybrid sampled data systems
- Formal design of hybrid systems
- A formal proof of the Deadline Driven scheduler
- Tools Demonstration.