INVITED: Specification, Verification and Design of Evolving Automotive Software

被引：1
|
作者：
Ramesh, S. [1 ]
Vogel-Heuser, Birgit [2 ]
Chang, Wanli [3 ]
Roy, Debayan [2 ]
Zhang, Licong [2 ]
Chakraborty, Samarjit [2 ]
机构：
[1] Gen Motors R&D, Warren, MI 48090 USA
[2] Tech Univ Munich, Munich, Germany
[3] Singapore Inst Technol, Singapore, Singapore
来源：
PROCEEDINGS OF THE 2017 54TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC) | 2017年
关键词：
Formal Specification and Verification; Inconsistency management; Regression verification; Feedback control systems; Model predictive control; Evolving automotive systems;
D O I：
10.1145/3061639.3072946
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
Modern automotive systems consist of hundreds of functionalities implemented in software. Moreover, these functionalities are constantly evolving with increasing demand for automation, industry competition and changing sensor and actuator capabilities. Correspondingly, it is important to adapt the engineering and software development processes for such systems to consider fast management of this evolution at minimum cost. Towards this, in this paper, we outline three different problems in the context of evolving automotive software and discuss potential solutions for each of them. First, we outline a framework that can accommodate variability in specifications while developing software for automotive product lines. Secondly, a technique is illustrated to addresses after-sales addition of new features in existing systems by studying corresponding acceptable performance degradation of existing functionalities. Finally, we discuss how an inconsistency management framework and regression verification can ensure consistent evolution of engineering processes for automotive mechatronic systems.
引用
收藏
页数：6
相关论文
共 50 条
  • [31] Design & Verification of Automotive SoC Firmware
    Kleeberger, Veit B.
    Rutkowski, Stefan
    Coppens, Ruth
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [32] Verification of evolving software via component substitutability analysis
    Chaki, Sagar
    Clarke, Edmund
    Sharygina, Natasha
    Sinha, Nishant
    FORMAL METHODS IN SYSTEM DESIGN, 2008, 32 (03) : 235 - 266
  • [33] Verification of evolving software via component substitutability analysis
    Sagar Chaki
    Edmund Clarke
    Natasha Sharygina
    Nishant Sinha
    Formal Methods in System Design, 2008, 32 : 235 - 266
  • [34] Software specification and design for imaging systems
    Laplante, PA
    Neill, CJ
    JOURNAL OF ELECTRONIC IMAGING, 2003, 12 (02) : 252 - 262
  • [35] CONTROL SOFTWARE SPECIFICATION AND DESIGN - AN OVERVIEW
    WALTER, C
    COMPUTER, 1984, 17 (02) : 20 - 23
  • [36] Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
    Bahig, Ghada
    El-Kadi, Amr
    IEEE ACCESS, 2017, 5 : 4505 - 4516
  • [37] Hierarchical Specification and Verification of Architectural Design Patterns
    Marmsoler, Diego
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2018), 2018, 10802 : 149 - 168
  • [38] The Verification Approach to Complex Tasks' Functional Specification in Software Crowdsourcing
    Shu, Ying
    Chen, Haopeng
    Li, Shuo
    Hu, Fei
    PROCEEDINGS OF 2016 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2016, : 171 - 176
  • [39] ABSTRACTION, IDEALIZATION AND MODELING IN THE SPECIFICATION, CONSTRUCTION AND VERIFICATION OF SOFTWARE SYSTEMS
    INHETVEEN, R
    LUFT, AL
    ANGEWANDTE INFORMATIK, 1983, (12): : 541 - 548
  • [40] High-quality software through semiformal specification and verification
    Stavely, AM
    12TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 1999, : 145 - 155
12345