Paper Info
Title
Explaining Embedded Software Modelling Decisions
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-formal modelling decisions. This in turn should enhance confidence that the non-formal, physical world surrounding the embedded system is adequately represented in the model.
Year
DOI
Venue
2012
10.1109/SWSTE.2012.18
Software Science, Technology and Engineering
Keywords
Field
DocType
non-formal modelling decision,non-formal modelling step,software modelling decisions,design step,embedded software,model-based paradigm,non-formal character,physical world,embedded system,formal verification,software metrics,mathematical model,computational modeling,embedded systems
Embedded software,Systems engineering,Computer science,Model-based design,Software metric,Software verification and validation,Software construction,Software development,Formal verification
Conference
ISBN
Citations 
PageRank 
978-1-4673-1721-4
0
0.34
References 
Authors
7
3
Name
Order
Citations
PageRank
Jelena Marincic131.47
Angelika Mader219919.44
Roel Wieringa31698229.81