Structuring Problem Analysis for Embedded Systems Modelling

J. Marincic, Angelika H. Mader, Roelf J. Wieringa, Yan Lucas

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    28 Downloads (Pure)


    Our interest is embedded systems validation as part of the model-driven approach. To design a model, the modeller needs to obtain knowledge about the system and decide what is relevant to model and how. A part of the modelling activities is inherently informal - it cannot be formalised in such a way to constitute a basis for automated model design. This does not mean that modelling has to be chaotic. We therefore propose an informal method that structures modelling activities. In this paper we will focus on one of the method ingredients - modelling guidelines. In the industrial case study we performed, we captured modelling steps and elements in a form of a modelling handbook. The goal was to make modelling more efficient by preventing next modellers re-inventing things, but also to preserve a modelling style recognized within company's context. We show in detail what these re-usable modelling elements are, and how identifying them can be generalised for designing modelling guidelines in general. Finally, we compare our work with work of researchers that formalise problem analysis.
    Original languageUndefined
    Title of host publicationInternational Workshop on Applications and Advances of Problem-Orientation (IWAAPO)
    Place of PublicationSanta Clara, CA, USA
    Number of pages10
    ISBN (Print)not assigned
    Publication statusPublished - Apr 2010
    EventInternational Workshop on Applications and Advances of Problem-Orientation, IWAAPO - Cape Town, South Africa
    Duration: 8 May 20108 May 2010

    Publication series



    WorkshopInternational Workshop on Applications and Advances of Problem-Orientation, IWAAPO
    Other8 May 2010


    • IR-70983
    • EWI-17805
    • SCS-Services
    • METIS-270793

    Cite this