Fostering concurrent engineering of cyber-physical systems a proposal for an ontological context framework

Cyber-physical systems are not developed as standalone systems, but in conjunction with other systems and are subsequently aggregated to some super system (i.e. a car or an airplane). Hence, cyber-physical systems share parts of their context with one another and depend on their mutual functionality. Moreover, in industrial practice, these systems are typically developed concurrently by different development teams, either within one original equipment manufacturer or by different suppliers. For these reasons, it is a challenging task to keep the different contexts of multiple cyber-physical systems consistent with one other and consistent with the super system's specifications. To aid the concurrent development of multiple cyber-physical systems, this paper suggests an ontology-centric approach to define and analyze the systems' respective contexts. The ontological context framework provides a foundation for automated consistency checking and model creation.

[1]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[2]  Bashar Nuseibeh,et al.  Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[3]  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).

[4]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[5]  Klaus Pohl,et al.  The Three Dimensions of Requirements Engineering: 20 Years Later , 2013, Seminal Contributions to Information Systems Engineering.

[6]  Michael A. Jackson,et al.  Problem Frames - Analysing and Structuring Software Development Problems , 2000 .

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

[8]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[9]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[10]  Donald C. Gause,et al.  Why Context Matters--And What Can We Do about It? , 2005, IEEE Softw..

[11]  Alan M. Davis,et al.  Software Requirements: Objects, Functions and States , 1993 .

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

[13]  Leiguang Gong Contextual modeling and applications , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[14]  Andreas Vogelsang,et al.  Why feature dependencies challenge the requirements engineering of automotive systems: An empirical study , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[15]  Michael Jackson,et al.  The World and the Machine , 1995, 1995 17th International Conference on Software Engineering.

[16]  Marian Daun,et al.  Today’s Challenges and Potential Solutions for the Engineering of Collaborative Embedded Systems , 2015 .

[17]  Antonio Iannopollo,et al.  TAMING DR. FRANKENSTEIN: CONTRACT-BASED DESIGN FOR CYBER-PHYSICAL SYSTEMS , 2012 .

[18]  Mario Piattini,et al.  Assessing Component-Based Systems , 2003, Component-Based Software Quality.

[19]  Raian Ali,et al.  A goal-based framework for contextual requirements modeling and analysis , 2010, Requirements Engineering.

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

[21]  Lin Liu,et al.  Towards automatic problem decomposition: an ontology-based approach , 2006, IWAAPF '06.

[22]  Eric Yu,et al.  Modeling Strategic Relationships for Process Reengineering , 1995, Social Modeling for Requirements Engineering.

[23]  Jan Van den Bergh,et al.  CUP 2.0: high-level modeling of context-sensitive interactive applications , 2006, MoDELS'06.

[24]  Zhi Jin,et al.  A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems , 2014, REFSQ.

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