A Model-Based Software Development Method for Automotive Cyber-Physical Systems

被引：4
|
作者：
Gao, Zhigang [1 ]
Xia, Haixia [2 ]
Dai, Guojun [1 ]
机构：
[1] Hangzhou Dianzi Univ, Coll Comp Sci, Hangzhou 310018, Peoples R China
[2] Zhejiang Sci Tech Univ, Coll Informat & Elect, Hangzhou 310018, Peoples R China
来源：
COMPUTER SCIENCE AND INFORMATION SYSTEMS | 2011年 / 8卷 / 04期
关键词：
Automotive cyber-physical systems; non-functional requirements; physical environment; model-based methods; model transformation; code generation;
D O I：
10.2298/CSIS110303059G
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The development of automotive cyber-physical systems (CPS) software needs to consider not only functional requirements, but also non-functional requirements and the interaction with physical environment. In this paper, a model-based software development method for automotive CPS (MoBDAC) is presented. The main contributions of this paper are threefold. First, MoBDAC covers the whole development workflow of automotive CPS software from modeling and simulation to code generation. Automatic tools are used to improve the development efficiency. Second, MoBDAC extracts nonfunctional requirements and deals with them in the implementation model level and source code level, which helps to correctly manage and meet non-functional requirements. Third, MoBDAC defines three kinds of relations between uncertain physical environment events and software internal actions in automotive CPS, and uses Model Modifier to integrate the interaction with physical environment. Moreover, we illustrate the development workflow of MoBDAC by an example of a power window development.
引用
收藏
页码：1277 / 1301
页数：25
相关论文
共 50 条
  • [1] Functional Model-Based Design Methodology for Automotive Cyber-Physical Systems
    Wan, Jiang
    Canedo, Arquimedes
    Al Faruque, Mohammad Abdullah
    IEEE SYSTEMS JOURNAL, 2017, 11 (04): : 2028 - 2039
  • [2] Model-Based Software Integration for Flexible Design of Cyber-Physical Systems
    Ravindran, K.
    COMPUTER AND INFORMATION SCIENCES II, 2012, : 479 - 485
  • [3] A Case Study on the Model-Based Design and Integration of Automotive Cyber-Physical Systems
    Shang, Di
    Eyisi, Emeka
    Zhang, Zhenkai
    Koutsoukos, Xenofon
    Porter, Joseph
    Karsai, Gabor
    Sztipanovits, Janos
    2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2013, : 483 - 492
  • [4] CYBER-PHYSICAL SYSTEMS ENGINEERING: MODEL-BASED SOLUTIONS
    Garro, Alfredo
    Vaccaro, Vittorio
    Dutre, Stefan
    Stegen, Jef
    PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19), 2019,
  • [5] Model-Based Specification and Refinement for Cyber-Physical Systems
    Drechsler, Rolf
    Autexier, Serge
    Lueth, Christoph
    DYNAMICS IN LOGISTICS, LDIC 2016, 2017, : 3 - 17
  • [6] A Model-Based Design of Cyber-Physical Energy Systems
    Al Faruque, Mohammad Abdullah
    Ahourai, Fereidoun
    2014 19TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2014, : 97 - 104
  • [7] A Model-Based Design Methodology for Cyber-Physical Systems
    Jensen, Jeff C.
    Chang, Danica H.
    Lee, Edward A.
    2011 7TH INTERNATIONAL WIRELESS COMMUNICATIONS AND MOBILE COMPUTING CONFERENCE (IWCMC), 2011, : 1666 - 1671
  • [8] A Model-Based Methodology of Programming Cyber-Physical Systems
    Chandhoke, Sundeep
    Hayles, Tim
    Kodosky, Jeff
    Wang, Guoqiang
    2011 7TH INTERNATIONAL WIRELESS COMMUNICATIONS AND MOBILE COMPUTING CONFERENCE (IWCMC), 2011, : 1654 - 1659
  • [9] A Proposal for Model-Based Systems Engineering Method for Creating Secure Cyber-Physical Systems
    Larsen, Martin Haug
    Kokkula, Satyanarayana
    Muller, Gerrit
    INCOSE International Symposium, 2024, 34 (01) : 37 - 52
  • [10] A Conceptual Model-Based Systems Engineering Method for Creating Secure Cyber-Physical Systems
    Larsen, Martin H.
    Muller, Gerrit
    Kokkula, Satyanarayana
    INCOSE International Symposium, 2022, 32 (S2) : 202 - 213
12345