TY - GEN
T1 - Towards integrated model-driven verification and empirical validation of reusable software frameworks for automotive systems
AU - Subramonian, Venkita
AU - Gill, Christopher
PY - 2008
Y1 - 2008
N2 - Software for automotive systems is rapidly increasing in complexity and scale, and leveraging reusable software frameworks in the development of these systems offers significant potential to reduce engineering costs and cycle times. However, the development of practical models and verification and validation techniques for automotive software built with reusable frameworks remains an open research challenge. This paper makes three main contributions to the state of the art in software engineering for automotive systems. First, it summarizes ways in which reusable software frameworks are relevant to automotive software engineering. Second, it describes an approach to verification and validation of reusable software frameworks which we have developed for other application domains. Third, it presents an evaluation of our approach in the context of an illustrative verification and validation scenario.
AB - Software for automotive systems is rapidly increasing in complexity and scale, and leveraging reusable software frameworks in the development of these systems offers significant potential to reduce engineering costs and cycle times. However, the development of practical models and verification and validation techniques for automotive software built with reusable frameworks remains an open research challenge. This paper makes three main contributions to the state of the art in software engineering for automotive systems. First, it summarizes ways in which reusable software frameworks are relevant to automotive software engineering. Second, it describes an approach to verification and validation of reusable software frameworks which we have developed for other application domains. Third, it presents an evaluation of our approach in the context of an illustrative verification and validation scenario.
UR - https://www.scopus.com/pages/publications/50549104240
U2 - 10.1007/978-3-540-70930-5_8
DO - 10.1007/978-3-540-70930-5_8
M3 - Conference contribution
AN - SCOPUS:50549104240
SN - 3540709290
SN - 9783540709299
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 118
EP - 132
BT - Model-Driven Development of Reliable Automotive Services - Second Automotive Software Workshop, ASWSD 2006, Revised Selected Papers
T2 - 2nd Automotive Software Workshop San Diego, ASWSD 2006
Y2 - 15 March 2006 through 17 March 2006
ER -