@inproceedings{52024f9820154303b52fe401dcbfc551,
title = "Explaining Embedded Software Modelling Decisions",
abstract = "As today{\textquoteright}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{\textquoteright}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 {\textquoteright}link{\textquoteright} 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.",
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",
author = "J. Marincic and Mader, {Angelika H.} and Wieringa, {Roelf J.}",
year = "2012",
month = jun,
doi = "10.1109/SWSTE.2012.18",
language = "Undefined",
isbn = "978-0-7695-4716-9",
publisher = "IEEE",
pages = "80--89",
booktitle = "IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012",
address = "United States",
note = "IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012 ; Conference date: 12-06-2012 Through 13-06-2012",
}