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 条
  • [1] Automotive System Design with Specification and Verification of Uncertainties
    Grimm, Christoph
    Dietrich, Manfred
    2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 233 - +
  • [2] Specification, design, prototyping and verification of software systems
    De Man, J.
    Duponcheel, L.
    Van Puymbroeck, W.
    Perez Dominguez, R.
    Electrical communication, 1988, 62 (3-4): : 259 - 264
  • [3] SPECIFICATION, DESIGN, PROTOTYPING AND VERIFICATION OF SOFTWARE SYSTEMS
    DEMAN, J
    DUPONCHEEL, L
    VANPUYMBROECK, W
    DOMINGUEZ, RP
    ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 259 - 264
  • [4] Functional Design and Verification of Automotive Embedded Software: An Integrated System Verification Flow
    Shedeed, Mohamed
    Bahig, Ghada
    Elkharashi, M. Watheq
    Chen, Michael
    2013 SAUDI INTERNATIONAL ELECTRONICS, COMMUNICATIONS AND PHOTONICS CONFERENCE (SIECPC), 2013,
  • [5] Software specification, verification and validation
    Shyamasundar, RK
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1996, 21 : 123 - 123
  • [6] SPECIFICATION AND VERIFICATION OF SWITCHING SOFTWARE
    KAJIWARA, M
    ICHIKAWA, H
    ITOH, M
    YOSHIDA, Y
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1985, 33 (03) : 193 - 198
  • [7] Software specification and verification in rewriting logic
    Meseguer, J
    MODELS, ALGEBRAS AND LOGIC OF ENGINEERING SOFTWARE, 2003, 191 : 133 - 193
  • [8] SPECIFICATION AND VERIFICATION TECHNOLOGIES FOR COMMUNICATION SOFTWARE
    KAJIWARA, M
    ITOH, M
    ICHIKAWA, H
    IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (08) : 15 - 25
  • [9] ROLE OF VERIFICATION IN THE SOFTWARE SPECIFICATION PROCESS
    ZELKOWITZ, MV
    ADVANCES IN COMPUTERS, VOL 36, 1993, 36 : 43 - 109
  • [10] Formal verification of automotive embedded software
    Todorov, Vassil
    Boulanger, Frederic
    Taha, Safouan
    2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 84 - 87
12345