A High Dependability Framework for Real-Time Embedded Control Software Design

This paper provides a high dependability framework for developing real time embedded control software. Design pattern and behavior generator support hierarchical composition of real-time concurrent component. Hierarchy composition abstraction preserves the properties of different computation model in a real time environment. A simplified real-time embedded control software system is implemented to prove the feasibility in choosing control platforms as well as a great deal of automation in the validation and synthesis of embedded control component execution.