Scheduling of Time-Triggered Real-Time Systems
Constraints
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Model-Based Development of Embedded Systems: The SysWeaver Approach
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
| Hi-index | 0.00 |
The development of embedded software for high confidencesystems is a challenging task that must be supportedby a deep integration of control theoretical and computational aspects. Model-based development of embeddedsoftware has been practiced for more than a decade now,but very few integrated approaches have emerged to provideend-to-end support for the process, and integrate platformaspects as well as verification. The paper describes anearly version of a model-based prototyping toolchain thatprovides such support and covers most engineering steps.The toolchain is coupled with a hardware-in-the-loop simulation system, allowing quick experimental evaluation ofdesigns.