Title :
A High Dependability Framework for Real-Time Embedded Control Software Design
Author :
Zhang, Jing ; Rong, Hui ; Zhang, Chunhong ; Lu, Jing ; Yan, Feng ; Xiang, Fenghong
Author_Institution :
Fac. of Inf. Eng. & Autom., Kunming Univ. of Sci. & Technol., Kunming, China
Abstract :
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.
Keywords :
control engineering computing; embedded systems; object-oriented methods; object-oriented programming; software engineering; behavior generator; design pattern; embedded control component execution validation; hierarchical real-time concurrent component composition; hierarchy composition abstraction; high dependability framework; real-time embedded control software design; Automatic control; Control systems; Design automation; Design engineering; Educational institutions; Embedded software; Paper technology; Partial response channels; Real time systems; Software design;
Conference_Titel :
Computer Network and Multimedia Technology, 2009. CNMT 2009. International Symposium on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5272-9
DOI :
10.1109/CNMT.2009.5374639
