DocumentCode :
2401046
Title :
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design
Author :
Wang, Shige
Author_Institution :
Gen. Motors Corp., Warren
fYear :
2007
fDate :
14-16 Nov. 2007
Firstpage :
227
Lastpage :
234
Abstract :
Derivative design benefits vehicle system development as a vehicle product typically has a large number of variations. To ensure high-integrity control of a vehicle system, the software for control derivatives must be developed consistently and trustfully across the product variations. Model transformation is a promising technology to support such software development. In this paper, we present our study of using a research model transformation tool GReAT in the software development of an enhanced cruise control system. Our results showed that current model transformation techniques partially meet the model transformation needs of high-integrity, derivative control software development. Further research is required to provide capability such as analysis integration and instance-directed rule executions.
Keywords :
control engineering computing; road vehicles; software engineering; cruise control system; derivative vehicle control system design; high-integrity control; high-integrity software development; research model transformation tool; Automotive engineering; Control system synthesis; Control systems; Costs; Design engineering; Programming; Research and development; Software systems; Systems engineering and theory; Vehicle safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Assurance Systems Engineering Symposium, 2007. HASE '07. 10th IEEE
Conference_Location :
Plano, TX
ISSN :
1530-2059
Print_ISBN :
978-0-7695-3043-7
Type :
conf
DOI :
10.1109/HASE.2007.16
Filename :
4404745
Link To Document :
بازگشت