An increasing number of functions in modern automobiles are software-based. A modern automotive architecture contains up to 100 electronic control units (ECU) that communicate with one another to ensure proper vehicle functionality. The requirements and the set of provided functionalities of automotive embedded systems are growing, the complexity of these systems is continuously increasing as well. Early verification of automotive software architectures is necessary to prevent failures and to save costs during the design. Considering solely functional properties of the software for networked embedded systems is insufficient to satisfy the quality requirements in the automotive domain. To produce robust software-based embedded systems in a cost-efficient way, an early verification of non-functional properties is inevitable. Based on a specific simulation framework, written in SystemC, the open tool-chain framework ERNEST provides flexible mechanisms to verify non-functional properties of component-based software systems in early design stages. ERNEST can be integrated easily into a model-based design flow and is based on the open-source development platform Eclipse. Thus, it states an extensible tool platform for verifying non-functional properties, which can easily be enhanced by various analysis techniques.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verifying & validating non-functional properties of automotive software architectures in early design stages


    Contributors:


    Publication date :

    2013


    Size :

    10 Seiten, 4 Bilder, 17 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Verifying & validating non functional properties of automotive software architectures in early design stages

    Stante,A. / Kamphausen,B. / Zeller,M. et al. | Automotive engineering | 2013


    Verifying & Validating Non-functional Properties of Automotive Software Architectures in Early Design Stages

    Stante, A. / Kamphausen, B. / Zeller, M. et al. | British Library Conference Proceedings | 2013


    Assessing and validating automotive software

    Elliott, J. | Tema Archive | 1991


    Challenges for Verifying and Validating Scientific Software in Computational Materials Science

    Vogel, Thomas / Druskat, Stephan / Scheidgen, Markus et al. | German Aerospace Center (DLR) | 2019

    Free access

    Evaluation of Automotive Software Architectures

    Staron, Miroslaw | Springer Verlag | 2017