Basic Tools
- CHARON - Hybrid systems modular specification and design tool
- AIRES - Timing and schedulability analysis tool
- Giotto - Time-triggered programming environment
- Checkmate - Hybrid systems analysis tool
- TimeWeaver - Embedded systems component modeling and design tool