Modeling software requirements is one of the grand challenges of ECU (Electronic Control Unit) development for vehicular applications. One of the main problems in this domain is: How to organize the large amount of complicated software requirements with a concise and manageable means. EAST-ADL2, as an architecture description language dedicated to automotive electronic systems, is well-suitable for describing the system structures, however it has no facilities for the system behavioral and communication aspects. In this paper, we extend the EAST-ADL2 language with timed automata and signal matrix to form a multiview requirement modeling language. Furthermore, we use a theory of 4-variable requirement model to link these three formalisms together to form a consistent and complete understanding of automotive software requirements. The proposed modeling framework takes the advantages that: (1) it allows us to separate the whole requirements into three complementary aspects: structure, timing behavior and communication signals, which combined together to form a complete and consistent software requirements; (2) it builds numerous formal relationships, which can be checked furthermore for requirement verifications.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling Requirements of Automotive Software with an Extended EAST-ADL2 Architecture Description Language


    Beteiligte:
    Liu, Xiaojian (Autor:in) / Yan, Xuqin (Autor:in) / Mao, Chengyong (Autor:in) / Che, Xiaobo (Autor:in) / Wang, Zhixue (Autor:in)


    Erscheinungsdatum :

    2010


    Format / Umfang :

    4 Seiten, 8 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Supporting an Automotive Safety Case through Systematic Model Based Development - the EAST-ADL2 Approach

    Chen, D. J. / Törner, Fredrik / Lönn, Henrik et al. | SAE Technical Papers | 2008


    2008-01-0127 Supporting an Automotive Safety Case through Systematic Model Based Development - the EAST-ADL2 Approach

    Torner, F. / Chen, D.J. / Johansson, R. et al. | British Library Conference Proceedings | 2008



    An Integrated Approach for Modeling, Analysis and Optimization of Systems whose Design Follows the EAST-ADL2/AUTOSAR Methodology

    Wozniak, E. / Tucci-Piergiovanni, S. / Mraidha, C. et al. | British Library Conference Proceedings | 2013