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.

Preview

PDF
373Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Information Systems (IS) Mathematical Systems and Control Theory (MSCT)
Link to this item:	http://purl.utwente.nl/publications/80461
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page