A Modelling Method for Embedded Systems

Ed Brinksma, Angelika Mader, Jelena Marincic, Roel Wieringa

    Research output: Contribution to conferencePaper

    18 Downloads (Pure)


    We suggest a systematic modelling method for embedded systems. The goal is to derive models (1) that share the relevant properties with the original system, (2) that are suitable for computer aided analysis, and (3) where the modelling process itself is transparent and efficient, which is necessary to detect modelling errors early and to produce model versions (e.g. for product families). Our aim is to find techniques to enhance the quality of the model and of the informal argument that it accurately represents the system. Our approach is to use joint decomposition of the system model and the correctness property, guided by the structure of the physical environment, following, e.g., engineering blueprints. In this short note we describe our approch to combine Jackson¿s problem frame approach [1, 2] with a stepwise refinement method to arrive at provably correct designs of embedded systems.
    Original languageEnglish
    Number of pages4
    Publication statusPublished - Oct 2005
    Event2nd Workshop on Model Design and Validation, MoDeVa 2005: 2nd MoDeVa workshop, model design and validation - Montego Bay, Jamaica
    Duration: 3 Oct 20053 Oct 2005
    Conference number: 2


    Workshop2nd Workshop on Model Design and Validation, MoDeVa 2005
    Abbreviated titleMoDeVa
    CityMontego Bay



    • SCS-Services

    Cite this

    Brinksma, E., Mader, A., Marincic, J., & Wieringa, R. (2005). A Modelling Method for Embedded Systems. Paper presented at 2nd Workshop on Model Design and Validation, MoDeVa 2005, Montego Bay, Jamaica.