Explaining Embedded Software Modelling Decisions


Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2012) Explaining Embedded Software Modelling Decisions. In: IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012, 12-13 June 2012, Herzlia, Israel.

open access
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.
Item Type:Conference or Workshop Item
Copyright:© 2012 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/80461
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page