Embedded Systems Design: The ARTIST Roadmap for Research and Development (Lecture Notes in Computer Science)
A Software Framework for Hard Real-Time Distributed Embedded Systems
SEAA '08 Proceedings of the 2008 34th Euromicro Conference Software Engineering and Advanced Applications
Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study
ICESS '09 Proceedings of the 2009 International Conference on Embedded Software and Systems
Hi-index | 0.00 |
The widespread use of embedded systems requires the creation of industrial software technology, which will make it possible to engineer systems that are correct by construction. That can be achieved through the use of validated (trusted) components, verification of design models and automatic configuration of applications from validated design models. These guidelines have been instrumental for developing COMDES - a component-based framework for real-time embedded control systems. In this framework, an application is conceived as a network of distributed embedded actors that communicate with one another by means of labeled messages (signals), whereby I/O signals are exchanged with the controlled plant at precisely specified time instants, resulting in the elimination of I/O jitter. The paper presents an analysis method that can be used to validate COMDES design models using the Simulink environment. It is based on a semantics-preserving transformation of a COMDES design model into a Simulink analysis model, which preserves both the functional and timing behaviour of the original design model. The discussion is illustrated with an industrial case study -- a Medical Ventilator Control System, which has been used to validate the developed design and analysis methods.