A conceptual model of system of systems

In this paper, we present the essential features of CPS Systems of Systems (SoS) and we develop a conceptual, rigorous model for such systems that can support the development of analysis and synthesis tools. We also address issues related to safety critical and secure applications and we outline how to cope with failures of SoS.

[1]  Richard M. Murray,et al.  Synthesis of correct-by-construction control protocols for hybrid systems using partial state information , 2014, 2014 American Control Conference.

[2]  Jan Charles Lenk,et al.  Impact of Improved Ergonomics, Collaboration, and HCI in Ground Operations: The AERG Study at ESOC , 2014 .

[3]  S. Shankar Sastry,et al.  Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[4]  Ufuk Topcu,et al.  Receding Horizon Temporal Logic Planning , 2012, IEEE Transactions on Automatic Control.

[5]  Mark W. Maier,et al.  Architecting Principles for Systems‐of‐Systems , 1996 .

[6]  S. Shankar Sastry,et al.  Synthesis for Human-in-the-Loop Control Systems , 2014, TACAS.

[7]  Tao Li,et al.  From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations , 2014, IEEE Transactions on Parallel and Distributed Systems.

[8]  CLAUS BALLEGAARD NIELSEN,et al.  Model-based Engineering of Systems of Systems , 2013 .

[9]  Mark W. Maier.  Architecting Principles for Systems‐of‐Systems , 1996 .

[10]  Stefan Ratschan,et al.  Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems , 2005, Int. J. Found. Comput. Sci..

[11]  Bernd Finkbeiner,et al.  Does It Pay to Extend the Perimeter of a World Model? , 2011, FM.

[12]  Oliver E. Theel,et al.  Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts , 2014, 2014 28th International Conference on Advanced Information Networking and Applications Workshops.

[13]  Marsha Chechik,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2016, Lecture Notes in Computer Science.

[14]  Anette J. Kriengle.  Behind the Wizard's Curtain: An Integration Environment for a System of Systems , 1999 .

[15]  Bernd Westphal,et al.  Can we build it: formal synthesis of control strategies for cooperative driver assistance systems† , 2013, Mathematical Structures in Computer Science.

[16]  Vadim Kotov,et al.  Systems of systems as communicating structures , 1999 .

[17]  Alberto L. Sangiovanni-Vincentelli,et al.  Platform-based embedded software design and system integration for autonomous vehicles , 2003, Proc. IEEE.

[18]  Andres Sousa-Poza,et al.  System of systems engineering: an emerging multidiscipline , 2008, Int. J. Syst. Syst. Eng..

[19]  Mohammad Jamshidi,et al.  System of systems engineering : innovations for the 21st century , 2008 .

[20]  Alberto L. Sangiovanni-Vincentelli,et al.  The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem , 2012, Autom..

[21]  Anthony Rowe,et al.  The Swarm at the Edge of the Cloud , 2015, IEEE Design & Test.

[22]  Andrew P. Sage,et al.  On the Systems Engineering and Management of Systems of Systems and Federations of Systems , 2001, Inf. Knowl. Syst. Manag..

[23]  John E. Dobson,et al.  Organisational Failures in Dependable Collaborative Enterprise Systems , 2002, J. Object Technol..

[24]  Tom Bellemans,et al.  Model predictive control for ramp metering of motorway traffic: A case study , 2006 .

[25]  S. Shankar Sastry,et al.  Flying robots: modeling, control and decision making , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[26]  M. Althoff,et al.  Online Verification of Cognitive Car Decisions , 2007, 2007 IEEE Intelligent Vehicles Symposium.

[27]  Saurabh Amin,et al.  In quest of benchmarking security risks to cyber-physical systems , 2013, IEEE Network.

[28]  Martin Fränzle,et al.  Light-weight hybrid model checking facilitating online prediction of temporal properties , 2009 .

[29]  M. Janishidi.  System of Systems - Innovations for 21st Century , 2008, 2008 IEEE Region 10 and the Third international Conference on Industrial and Information Systems.

[30]  Andreas Lüdtke,et al.  A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques , 2014, AAAI Spring Symposia.

[31]  Alberto L. Sangiovanni-Vincentelli,et al.  Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior , 2014, AAAI Spring Symposia.