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 条

[41] High-quality software through semiformal specification and verification
Stavely, AM
12TH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING, PROCEEDINGS, 1999, : 145 - 155
[42] Knowledge-based software architectures: Acquisition, specification, and verification
Tsai, JJP
Liu, A
Juan, E
Sahay, A
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1999, 11 (01) : 187 - 201
[43] Unified property specification for hardware/software co-verification
Xie, Fei
Liu, Huaiyu
COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 483 - +
[44] Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification
Liu, Shaoying
TESTS AND PROOFS, TAP 2016, 2016, 9762 : 112 - 129
[45] Hardware and Software Design for Automotive Security
Bansod, Gaurav
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2015, 15 (09): : 32 - 37
[46] Hardware and Software Design for Automotive Security
Bansod, Gaurav
INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2013, 13 (09): : 74 - 79
[47] Multilevel Design Understanding: From Specification to Logic Invited Paper
Ray, Sandip
Harris, Ian G.
Fey, Goerschwin
Soeken, Mathias
2016 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2016,
[48] On the software-based development and verification of automotive control systems
Hu, Wei-Wen
Wang, Ming-Li
Lin, Yu-Hui
IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, : 857 - 862
[49] Semiformal Verification of Temporal Properties in Automotive Hardware Dependent Software
Lettnin, Djones
Nalla, Pradeep K.
Behrend, Joerg
Ruf, Juergen
Gerlach, Joachim
Kropf, Thomas
Rosenstiel, Wolfgang
Schoenknecht, Volker
Reitemeyer, Stephan
DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2009, : 1214 - +
[50] A framework for assume-guarantee regression verification of evolving software
Hoang-Viet Tran
Pham Ngoc Hung
Viet-Ha Nguyen
Aoki, Toshiaki
SCIENCE OF COMPUTER PROGRAMMING, 2020, 193 (193)

← 1 2 3 4 5 →