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 条
  • [31] Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model
    Perez, Hector
    Javier Gutierrez, J.
    Asensio, Esteban
    Zamorano, Juan
    de la Puente, Juan A.
    2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), 2011, : 209 - 216
  • [32] Verification and Validation According to IEC 61508: A Workflow to Facilitate the Development of High-Integrity Applications
    Conrad, Mirko
    Friedman, Jonathan
    Sandmann, Guido
    SAE INTERNATIONAL JOURNAL OF COMMERCIAL VEHICLES, 2009, 2 (02) : 274 - 279
  • [33] Experience in the integration of heterogeneous models in the model-driven engineering of high-integrity systems
    Bordin, Matteo
    Tsiodras, Thanassis
    Perrotin, Maxime
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 171 - 184
  • [34] Enabling High-Integrity Vehicular Satellite Navigation Operations via Automatic Gain Control
    Levigne, Nathan
    Puskar, Charles
    Akos, Dennis
    2019 IEEE 90TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-FALL), 2019,
  • [35] A Simulink to UML Model Transformation Tool for Embedded Control Software Development
    Kuroki, Yuta
    Yoo, Myungryun
    Yokoyama, Takanori
    PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2016, : 700 - 706
  • [36] A test environment for high integrity software development
    Alonso, A
    de la Puente, J
    Zamorano, J
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, 2003, 2655 : 359 - 367
  • [37] Model-Driven Development of Control System Software
    Chaudhuri, Subhrojyoti Roy
    Ahuja, Amrit Lal
    Natarajan, Swaminathan
    Vin, Harrick
    LOW-FREQUENCY RADIO UNIVERSE: AN EVENT COMMEMORATING THE BIRTH CENTENARY OF DR. HOMI J. BHABHA, 2009, 407 : 402 - 410
  • [38] Gravity Model Error Considerations for High-Integrity GNSS-aided INS Operations
    Needham, Timothy G.
    Braasch, Michael S.
    2018 IEEE/ION POSITION, LOCATION AND NAVIGATION SYMPOSIUM (PLANS), 2018, : 822 - 832
  • [39] Design & Development of a GSM Based Vehicle Theft Control System
    Nagaraja, B. G.
    Rayappa, Ravi
    Mahesh, M.
    Patil, Chandrasekhar M.
    Manjunath, T. C.
    INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER CONTROL : ICACC 2009 - PROCEEDINGS, 2009, : 148 - +
  • [40] Design and development of software stack of an autonomous vehicle using robot operating system
    Prasad, Abhisek Omkar
    Mishra, Pradumn
    Jain, Urja
    Pandey, Anish
    Sinha, Anushka
    Yadav, Anil Singh
    Kumar, Rajan
    Sharma, Abhishek
    Kumar, Gaurav
    Salem, Karrar Hazim
    Sharma, Avdhesh
    Dixit, Anil Kumar
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2023, 161
12345