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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Liu, Xiaojian (author) / Yan, Xuqin (author) / Mao, Chengyong (author) / Che, Xiaobo (author) / Wang, Zhixue (author)


    Publication date :

    2010


    Size :

    4 Seiten, 8 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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. | Automotive engineering | 2013


    Developing automotive products using the EAST-ADL2, an AUTOSAR compliant architecture description language

    Cuenot,P. / Frey,P. / Johansson,R. et al. | Automotive engineering | 2008


    Architecture Centric Modeling of Automotive Control Software

    Freund, U. / von der Beeck, M. / Braun, P. et al. | British Library Conference Proceedings | 2003


    Architecture Centric Modeling of Automotive Control Software

    Rappl, Martin / von der Beeck, Michael / Braun, Peter et al. | SAE Technical Papers | 2003