Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification /
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
New York, NY :
Springer New York : Imprint: Springer,
2010.
|
| Edición: | 1st ed. 2010. |
| Materias: |
Tabla de Contenidos:
- 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.