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 条
  • [1] Development of High-Integrity Software Product Lines Using Model Transformation
    Hutchesson, Stuart
    McDermid, John
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2010, 6351 : 389 - +
  • [2] STANDARDS FOR HIGH-INTEGRITY SOFTWARE
    WALLACE, DR
    KUHN, DR
    IPPOLITO, LM
    BELTRACCHI, L
    NUCLEAR SAFETY, 1994, 35 (01): : 86 - 97
  • [3] What Can Agile Methods Bring to High-Integrity Software Development?
    Chapman, Roderick
    White, Neil
    Woodcock, Jim
    COMMUNICATIONS OF THE ACM, 2017, 60 (10) : 38 - 41
  • [4] Cognitive Design Framework for Multidisciplinary Development of High-Integrity Avionics Systems
    Insaurralde, Carlos C.
    2018 IEEE AEROSPACE CONFERENCE, 2018,
  • [5] Generic Process Framework for Developing High-Integrity Software
    Biglari, Binazir
    Ramsin, Raman
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2012, 246 : 73 - 88
  • [6] Cache-Aware Development of High-Integrity Systems
    Mezzetti, Enrico
    Betts, Adam
    Ruiz, Jose
    Vardanega, Tullio
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, 2010, 6106 : 139 - +
  • [7] Software Design and Development of the Signal Integrated Test System for the Launch Vehicle Control System
    Cheng, Long
    Cai, Yuanwen
    Xie, Weiqi
    Tian, Jianyu
    2012 IEEE FIFTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATIONAL INTELLIGENCE (ICACI), 2012, : 812 - 815
  • [8] A high-integrity multivariable robust control with application to a process control rig
    Chughtai, Saulat Shuja
    Wang, Hong
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2007, 15 (04) : 775 - 785
  • [9] DEVELOPMENT OF MULTI-WALLED SFPIC HIGH-INTEGRITY CONTAINERS
    SUZUKI, O
    ISHIZAKI, K
    OZAWA, M
    TEMUS, CJ
    TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1985, 50 (NOV): : 124 - 124
  • [10] THE DEVELOPMENT OF A HIGH-INTEGRITY NDT SYSTEM FOR THE INSPECTION OF ELECTRIC-RESISTANCE-WELDED PIPE
    RAINE, GA
    BRITISH JOURNAL OF NON-DESTRUCTIVE TESTING, 1985, 27 (04): : 221 - 226
12345