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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems


    Beteiligte:
    Broy, Manfred (Herausgeber:in) / Krüger, Ingolf H. (Herausgeber:in) / Meisinger, Michael (Herausgeber:in) / Subramonian, Venkita (Autor:in) / Gill, Christopher (Autor:in)

    Kongress:

    Automotive Software Workshop ; 2006 ; San Diego, CA, USA March 15, 2006 - March 17, 2006



    Erscheinungsdatum :

    2008-01-01


    Format / Umfang :

    15 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch






    Software for Automotive Systems: Model-Integrated Computing

    Neema, S. / Karsai, G. | British Library Conference Proceedings | 2006


    Software for Automotive Systems: Model-Integrated Computing

    Neema, Sandeep / Karsai, Gabor | Springer Verlag | 2006


    Hierarchical BIT: reusable BIT software for integrated systems

    Daniel, W. / Sallade, R. | Tema Archiv | 1990