loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
10th IEEE High Assurance Systems Engineering Symposium (HASE'07)
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design
Dallas, Texas, USA
November 14-November 16
ISBN: 0-7695-3043-5
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.
Citation:
Shige Wang, "Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design," hase, pp.227-234, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.