Designing Embedded Systems with the SIGNAL Programming Language

1. Generalities on Real-Time Programming
Abdoulaye Gamatié

2. Synchronous Programming: Overview
Abdoulaye Gamatié

3. Basics: Signals and Relations
Abdoulaye Gamatié

4. Programming Units: Processes
Abdoulaye Gamatié

5. Extended Constructs
Abdoulaye Gamatié

6. Design in Polychrony: First Steps
Abdoulaye Gamatié

7. Formal Semantics
Abdoulaye Gamatié

8. Formal Model for Program Analysis
Abdoulaye Gamatié

9. Compilation of Programs
Abdoulaye Gamatié

10. Advanced Design Concepts
Abdoulaye Gamatié

11. GALS System Design
Abdoulaye Gamatié

12. Design Patterns
Abdoulaye Gamatié

13. A Synchronization Example Design with Polychrony

Abdoulaye Gamatié

Avainsanat: Engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design