Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider’s View

Peter Struss

2013

Abstract

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.

References

  1. Codd, E. F., 1970. A Relational Model of Data for Large Shared Data Banks", in Communications of the ACM
  2. Dobi, S., Fraracci, A., Gleirscher, M., Spichkova, M., Struss, P., 2013. Model-based Hazard and Impact Analysis, Tech. Report, TU Munich, Comp. Sci. Dept.
  3. OCC'M Software GmbH, 2011. Raz'r Model Editor Version 3. Interactive Development Environment for Model-based Systems. http://www.occm.de/
  4. Picardi, C., Console, L., Berger, F., Breeman, J., Kanakis, T., Moelands, J., Collas, S., Arbaretier, E., De Domenico, N., Girardelli, E., Dressler, O., Struss, P., Zilbermann, B., 2004. AUTAS: a tool for supporting FMECA generation in aeronautic systems. In: Proceedings ECAI-2004 Valencia, Spain, pp. 750-754
  5. Struss,P., 2004. Models of Behavior Deviations in Modelbased Systems. In. Proceeding of ECAI-2004 Valencia, Spain, pp. 883-887.
  6. Struss, P., 1997. Model-based and qualitative reasoning: An introduction. In: Annals of Mathematics and Artificial Intelligence 19 (1997) III-IV, Elsevier, pp. 355 - 381, 1997.
  7. Struss, P., 2008. Model-based Problem Solving In: van Harmelen, F., Lifschitz, V., and Porter, B. (eds.). Handbook of Knowledge Representation, Elsevier, pp. 395-465
  8. Struss, P., Fraracci, A., 2012. Modeling Hydraulic and Software Components for Automated FMEA of a Braking System. In: Dearden, R. and Snooke, N. (eds.). Proceedings of the 23rd Workshop on the Principles of Diagnosis. Great Malvern, UK.
Download


Paper Citation


in Harvard Style

Struss P. (2013). Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider’s View . In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013) ISBN 978-989-8565-68-6, pages 284-291. DOI: 10.5220/0004596102840291


in Bibtex Style

@conference{icsoft-ea13,
author={Peter Struss},
title={Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider’s View},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013)},
year={2013},
pages={284-291},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004596102840291},
isbn={978-989-8565-68-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2013)
TI - Model-based Analysis of Embedded Systems: Placing It upon Its Feet Instead of on Its Head - An Outsider’s View
SN - 978-989-8565-68-6
AU - Struss P.
PY - 2013
SP - 284
EP - 291
DO - 10.5220/0004596102840291