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.
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems
Automotive Software Workshop ; 2006 ; San Diego, CA, USA March 15, 2006 - March 17, 2006
2008-01-01
15 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
Model Check , Empirical Validation , Reusable Software , Liveness Property , Event Handler Computer Science , Computer Communication Networks , Software Engineering/Programming and Operating Systems , Programming Techniques , Special Purpose and Application-Based Systems , Software Engineering , Computation by Abstract Devices
British Library Conference Proceedings | 2008
|Applying Verification and Validation to Automotive Software Development
SAE Technical Papers | 1990
|Software for Automotive Systems: Model-Integrated Computing
British Library Conference Proceedings | 2006
|Software for Automotive Systems: Model-Integrated Computing
Springer Verlag | 2006
|Hierarchical BIT: reusable BIT software for integrated systems
Tema Archiv | 1990
|