User: Guest  Login
Title:

Specification, Verification and Design of Evolving Automotive Software

Document type:
Konferenzbeitrag
Author(s):
Ramesh, Sudha ; Vogel-Heuser, Birgit; Chang, Wanli; Roy, Debayan ; Zhang, Licong; Chakraborty, Samarjit
Abstract:
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 co...     »
Book / Congress title:
54th ACM/EDAC/IEEE Design Automation Conference
Year:
2017
Covered by:
Scopus; Web of Science
Reviewed:
ja
Fulltext / DOI:
doi:10.1145/3061639.3072946
 BibTeX