- Knowledge Base
- Case Studies
- Real-time Case Studies
Case Studies from the real-time domain
- Rice Cooker Case Study v2.0.1
- Valve Control Case Study v1.0.1
- Industrial Automation (Robot) Case Study
- Automatic Line Switching v1.1
- Measurement Manual v5.0 Part 3b: Real-time Examples
- The Rice Cooker Revisited (UML)
- Rice Cooker Case Study – Chinese 2.0
- CompSize: Automated Size Estimation of Embedded Software Components
- CompSize: Automated Size Estimation of Embedded Software Components (slides)