Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag
Autor(en):
Ramesh, Sudha ; Vogel-Heuser, Birgit; Chang, Wanli; Roy, Debayan ; Zhang, Licong; Chakraborty, Samarjit
Titel:
Specification, Verification and Design of Evolving Automotive Software
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...     »
Kongress- / Buchtitel:
54th ACM/EDAC/IEEE Design Automation Conference
Jahr:
2017
Nachgewiesen in:
Scopus; Web of Science
Reviewed:
ja
Volltext / DOI:
doi:10.1145/3061639.3072946
 BibTeX