Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
A tool for simulation and fast prototyping of embedded control systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Embedded Software Market Transformation through Reusable Frameworks
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Robustness analysis for the certification of digital controller implementations
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
SPARDL: a requirement modeling language for periodic control system
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A novel requirement analysis approach for periodic control systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
Giotto provides an abstract programmer''s model for the implementation of embedded control systems with hard real-time constraints. A typical hybrid control application consists of periodic software tasks together with a mode switching logic for enabling and disabling tasks. Pure Giotto species time-triggered sensor readings, task invocations, and mode switches independent of any implementation platform. Pure Giotto can be annotated with platform constraints such as task-to-host mappings, and task and communication schedules. The annotations are directives for the Giotto compiler, but they do not alter the functionality and timing of a Giotto program. By separating the platform-independent from the platform-dependent concerns, Giotto enables a great deal of flexibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of control software.