Documenting Assumptions About the Operational Context of Long-Living Collaborative Embedded Systems

Today’s embedded systems operate in highly interactive collaborative system networks to fullfill an overall purpose within a complex technical system (e.g., motor vehicles, aircrafts, industrial plants). The lifespan of such complex technical systems typically covers several decades in which a modernization or replacement of individual embedded systems is accompanied by high efforts and costs. Consequently, collaborative embedded systems need to be designed to cope with changes in their operational context throughout the prospective lifespan. In this paper, we outline the advantage of explicitly documenting assumptions about the operational context of long-living collaborative embedded systems. Documenting assumptions about the operational context fosters the engineering of collaborative embedded systems insofar that these systems are able to cope with specific changes in their operational context throughout their lifespan.

[1]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[2]  Claudia Linnhoff-Popien,et al.  CoOL: A Context Ontology Language to Enable Contextual Interoperability , 2003, DAIS.

[3]  Marian Daun,et al.  Requirements Viewpoint , 2012, Model-Based Engineering of Embedded Systems.

[4]  Marian Daun,et al.  Function-centered engineering of embedded systems: Evaluating industry needs and possible solutions , 2014, 2014 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

[5]  Yves Le Traon,et al.  Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation , 2009, MoDELS.

[6]  Manfred Broy,et al.  Model-Based Engineering of Embedded Systems , 2012, Springer Berlin Heidelberg.

[7]  Marian Daun,et al.  On the Model-based Documentation of Knowledge Sources in the Engineering of Embedded Systems , 2014, Software Engineering.