TY - GEN
T1 - Model-based analysis of embedded systems
T2 - 8th International Joint conference on Software Technologies, ICSOFT 2013
AU - Struss, Peter
PY - 2013
Y1 - 2013
N2 - This position paper makes a case for a paradigm shift in modeling and analyzing systems with embedded software for tasks such as testing, fault and safety analysis. We propose a physics-centered rather than software-centered perspective, based on the argument that the behavior and misbehavior of the physical system determines the relevant aspects of the embedded software. The implications of such an approach are illustrated using a case study on failure-modes and effects analysis in the automotive industries.
AB - This position paper makes a case for a paradigm shift in modeling and analyzing systems with embedded software for tasks such as testing, fault and safety analysis. We propose a physics-centered rather than software-centered perspective, based on the argument that the behavior and misbehavior of the physical system determines the relevant aspects of the embedded software. The implications of such an approach are illustrated using a case study on failure-modes and effects analysis in the automotive industries.
KW - Cyber-physical systems
KW - Embedded software
KW - Failure-modes-and-effects analysis
KW - Functional safety
KW - Software modeling
UR - http://www.scopus.com/inward/record.url?scp=84887075536&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84887075536
SN - 9789898565686
T3 - ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
SP - 284
EP - 291
BT - ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
Y2 - 29 July 2013 through 31 July 2013
ER -