Gamatie, Abdoulaye
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 P
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 P
Abdoulaye Gamatié
Keywords: Engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design
- Author(s)
- Gamatie, Abdoulaye
- Publisher
- Springer
- Publication year
- 2010
- Language
- en
- Edition
- 1
- Page amount
- 20 pages
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9781441909411