Abstract As design complexity of embedded systems raises with each new technology generation, development becomes a more and more challenging task for a single manufacturer or system house. To counter this, we see a continuing trend to spread development over several companies with differing core competencies. This is either done by purchasing ready made IP blocks or by setting up a distributed design process. For both approaches, the system designer has to designate a sufficient specification for the components externally supplied, to ensure proper functionality after system integration. To support the designer in this task, we propose pattern-based analysis of a central structural system model. We present an approach to derive inter-system dependencies of design properties by model transformation, which allows the efficient use of analysis and verification tools in early design stages. This enables easy specification validation.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    FROM MODEL TO REQUIREMENTS: PATTERN-BASED ANALYSIS IN DISTRIBUTED DEVELOPMENT OF EMBEDDED SYSTEMS


    Beteiligte:
    Thomsen, Clive (Autor:in) / Kruse, Judita (Autor:in) / Ernst, Rolf (Autor:in)


    Erscheinungsdatum :

    2005-01-01


    Format / Umfang :

    10 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Model-Based Development Framework for distributed embedded control of aircraft fuel systems

    Insaurralde, C.C. / Seminario, M.A. / Jimenez, Juan F. et al. | Tema Archiv | 2010



    Application development of safety critical distributed embedded systems with model verification

    Schanne,M. / Judt,A. / Forschungszentrum Informatik,FZI,DE | Kraftfahrwesen | 2006



    From Requirements to Statistical Testing of Embedded Systems

    Bauer, Thomas / Bohr, Frank / Landmann, Dennis et al. | IEEE | 2007