Model transformation for high-integrity software development in derivative vehicle control system design

被引：1
|
作者：
Wang, Shige [1 ]
机构：
[1] GM Corp, Gen Motors Res & Dev, Warren, MI 48090 USA
来源：
HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/HASE.2007.16
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：227 / 234
页数：8
相关论文
共 50 条
  • [21] Transformation and Composition of Software Design Models for Model Driven Development
    Meedeniya, Dulani
    Perera, Indika
    Bowles, Juliana
    2015 IEEE 10TH INTERNATIONAL CONFERENCE ON INDUSTRIAL AND INFORMATION SYSTEMS (ICIIS), 2015, : 31 - 36
  • [22] High-integrity systems development for integrated modular avionics using VxWorks and GNAT
    Parkinson, P
    Gasperoni, F
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2002, 2002, 2361 : 163 - 178
  • [23] HIGH-INTEGRITY FERROUS CASTINGS FOR STEAM TURBINES - ASPECTS OF THEIR DEVELOPMENT AND MANUFACTURE.
    Crombie, R.
    Materials Science and Technology, 1985, 1 (11): : 986 - 993
  • [24] On Component-Based Development and High-Integrity Real-Time Systems
    Panunzio, Marco
    Vardanega, Tullio
    2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 79 - 84
  • [25] HIGH-INTEGRITY FERROUS CASTINGS FOR STEAM-TURBINES - ASPECTS OF THEIR DEVELOPMENT AND MANUFACTURE
    CROMBIE, R
    MATERIALS SCIENCE AND TECHNOLOGY, 1985, 1 (11) : 986 - 993
  • [26] HIGH-INTEGRITY POLYETHYLENE DRUM DEVELOPMENT FOR LOW-LEVEL RADWASTE DISPOSAL
    FACHADA, MA
    MAYO, PJ
    BECK, GJ
    TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1981, 39 : 156 - 157
  • [27] Design and development of virtual TXP control system software
    Wang, Yun-Wei
    Leng, Shan
    Liu, Zhi-Sheng
    Wang, Qiang
    Shang, Yan-Xia
    2008, Yuan Zi Neng Chuban She (29):
  • [28] Combining model processing and middleware configuration for building distributed high-integrity systems
    Hughes, Jerome
    Zalila, Bechir
    Pautet, Laurent
    10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 307 - +
  • [29] High-integrity protective systems - 1 - Comprehensive design, maintenance keys to HIPS reliability
    Thomas, C
    Bourgeois, P
    OIL & GAS JOURNAL, 2000, 98 (16) : 53 - +
  • [30] Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation
    Short, Michael
    Pont, Michael J.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (07) : 1163 - 1183
12345