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 条
  • [41] ACHIEVING HIGH INTEGRITY OF PROCESS-CONTROL SOFTWARE BY GRAPHICAL DESIGN AND FORMAL VERIFICATION
    HALANG, WA
    KRAMER, B
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (01): : 53 - 64
  • [42] The design of software development platform for CFETR plasma control system
    Yan, L. L.
    Yuan, Q. P.
    Xiao, B. J.
    Zhang, R. R.
    Zheng, Y. Y.
    Zhu, J. Q.
    Guo, H. R.
    Li, D.
    FUSION ENGINEERING AND DESIGN, 2020, 152
  • [43] Flight simulation and control system design software for prototpye development
    Ro, K
    Demyanov, M
    Park, J
    Go, S
    Lim, CH
    AIAA MODELING AND SIMULATION TECHNOLOGIES CONFERENCE: A COLLECTION OF TECHNICAL PAPERS, 1999, : 400 - 411
  • [44] Co-Simulation of Multiple Software Packages for Model Based Control Development and Full Vehicle System Evaluation
    Sweafford, Trevor
    Yoon, Hwan-Sik
    Wang, Yanying
    Will, Anthony
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-MECHANICAL SYSTEMS, 2012, 5 (01): : 702 - 714
  • [45] Allocating Software With Improved Resource Usage and Scheduling For Vehicle Control System Development
    Wang, Shige
    Jiang, Shengbing
    2009 15TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2009, : 361 - 370
  • [46] Hardware and Software Development for the Navigation, Guidance, and Control System of a Remotely Operated Vehicle
    Aristizabal, Luis M.
    Rua, Santiago
    Zuluaga, Carlos A.
    Posada, Norha L.
    Vasquez, Rafael E.
    2017 IEEE 3RD COLOMBIAN CONFERENCE ON AUTOMATIC CONTROL (CCAC), 2017,
  • [47] Model-oriented control software development of academic autonomous test vehicle
    Hajdu, Csaba
    Ballagi, Aron
    2020 IEEE 24TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS (INES 2020), 2020, : 73 - 78
  • [48] Development of software installed in ECU for vehicle control
    Takashima, Hiroyuki
    Kita, Toshiro
    WMSCI 2006: 10TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VI, PROCEEDINGS, 2006, : 98 - +
  • [49] An Extended Simulink to UML Model Transformation Tool for Embedded Control Software Development
    Tanaka, Kosuke
    Inaho, Shoumu
    Hatano, Masami
    Kuroki, Yuta
    Yoo, Myungryun
    Yokoyama, Takanori
    PROCEEDINGS OF 2017 INTERNATIONAL CONFERENCE ON INDUSTRIAL DESIGN ENGINEERING (ICIDE 2017), 2017, : 76 - 81
  • [50] MINISAT-01 attitude control system: System design and software development
    Villa, JR
    DASIA '97 - DATA SYSTEMS IN AEROSPACE, 1997, 409 : 209 - 215
12345