Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification
This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive systems, avionics, nuclear power plants and telecommunication systems. The techniques presented promote the use of formal concepts, i.e. those having a mathematically sound basis. Such...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
New York, NY :
Springer New York
2010.
Cham : Springer Nature |
| 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: | • Designing embedded systems with the SIGNAL programming language, synchronous, reactive specification, by Abdoulaye Gamatié, New York, Springer, 2009, 1 volume (xxiii-259 pages), 978-1-4419-0940-4 • Designing Embedded Systems with the SIGNAL Programming Language, Texte imprimé, 9781441909428 • Designing Embedded Systems with the SIGNAL Programming Language, Texte imprimé, 9781489985125 |
Taula de continguts:
- Real-time and synchronous programming
- Generalities on Real-Time Programming
- Synchronous Programming: Overview
- Elementary concepts and notations of SIGNAL
- Basics: Signals and Relations
- Programming Units: Processes
- Extended Constructs
- Design in P: First Steps
- Formal properties of SIGNAL programs
- Formal Semantics
- Formal Model for Program Analysis
- Compilation of Programs
- Advanced design in SIGNAL
- Advanced Design Concepts
- GALS System Design
- Design Patterns
- A Synchronization Example Design with P.