Explaining Embedded Software Modelling Decisions

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    79 Downloads (Pure)

    Abstract

    As today’s devices, gadgets and machines become more intelligent, the complexity of embedded software controlling them grows enormously. To deal with this complexity, embedded software is designed using model-based paradigms. The process of modelling is a combination of formal and creative, design steps. Because of the partially non-formal character of modelling, the relation between a model and the system cannot be expressed mathematically. Therefore, the modeller’s justification that the model represents the system adequately can only be non-formal. In this paper we discuss the nature of non-formal modelling steps and pin-point those that create a ’link’ between the model and the system. We propose steps to structure the explanation and justification of non-fomal modelling decisions. This in turn should enhance confidence that the non-formal, physical world surrounding the embedded system is adequately represented in the model.
    Original languageUndefined
    Title of host publicationIEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Pages80-89
    Number of pages10
    ISBN (Print)978-0-7695-4716-9
    DOIs
    Publication statusPublished - Jun 2012
    EventIEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012 - Herzlia, Israel
    Duration: 12 Jun 201213 Jun 2012

    Publication series

    Name
    PublisherIEEE Computer Society

    Conference

    ConferenceIEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012
    Period12/06/1213/06/12
    Other12-13 June 2012

    Keywords

    • METIS-286355
    • IR-80461
    • Model-based design
    • Embedded Systems
    • EWI-21841
    • CR-I.6.5
    • mechatronic systems
    • IS-REQUIREMENTS
    • SCS-Services
    • CR-I.6.4
    • model validation

    Cite this