Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
This 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 i...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
1135 |
| Soggetti: | |
| Accesso online: | 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, 4th international symposium, Uppsala, Sweden, September 9-13, 1996, proceedings, Bengt Jonsson, Joachim Parrow, eds, 1996, New York, Springer, 1 vol. (X-478 p.), Lecture notes in computer science, 3-540-61648-9 • Formal Techniques in Real-Time and Fault-Tolerant Systems, Texte imprimé, 9783662180211 |
Sommario:
- On 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.