TY - GEN
T1 - Invited
T2 - 54th Annual Design Automation Conference, DAC 2017
AU - Ramesh, S.
AU - Vogel-Heuser, Birgit
AU - Chang, Wanli
AU - Roy, Debayan
AU - Zhang, Licong
AU - Chakraborty, Samarjit
N1 - Publisher Copyright:
© 2017 ACM.
PY - 2017/6/18
Y1 - 2017/6/18
N2 - 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.
AB - 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.
KW - Evolving automotive systems
KW - Feedback control systems
KW - Formal Specification and Verification
KW - Inconsistency management
KW - Model predictive control
KW - Regression verification
UR - http://www.scopus.com/inward/record.url?scp=85023603836&partnerID=8YFLogxK
U2 - 10.1145/3061639.3072946
DO - 10.1145/3061639.3072946
M3 - Conference contribution
AN - SCOPUS:85023603836
T3 - Proceedings - Design Automation Conference
BT - Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 18 June 2017 through 22 June 2017
ER -