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

fYear

2009

fDate

18-20 Jan. 2009

Firstpage

1

Lastpage

4

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Network and Multimedia Technology, 2009. CNMT 2009. International Symposium on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-5272-9

Type

conf

DOI

10.1109/CNMT.2009.5374639

Filename

5374639