Modeling of system properties: Research challenges and promising solutions

Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the structure and behavior of a system. System Property Models enable the verification of system properties through real or simulated experiments so as to support their evaluation during system design and their monitoring during system operation. However, several research challenges should be addressed to effectively handle systems properties, ranging from conceptual properties representation to tracing and verification. The paper aims at discussing these main challenges and presenting some promising solutions by focusing on those resulting from recent Systems Engineering research efforts.

[1]  Christopher W. Johnson,et al.  What are emergent properties and how do they affect the engineering of complex systems? , 2006, Reliab. Eng. Syst. Saf..

[2]  Andrea Tundis,et al.  Modeling and simulation for the performance evaluation of the on-board communication system of a metro train , 2014 .

[3]  Kathryn Cormican,et al.  An Ontology Model for Systems Engineering Derived from ISO/IEC/IEEE 15288: 2015: Systems and Software Engineering - System Life Cycle Processes , 2016 .

[4]  Daniel Bouskela,et al.  Modelling of System Properties in a Modelica Framework , 2011 .

[5]  Andrea Tundis,et al.  Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain , 2012, SIMULTECH.

[6]  Giancarlo Fortino,et al.  SIMULATION-DRIVEN DEVELOPMENT OF MULTI-AGENT SYSTEMS , 2006 .

[7]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[8]  Hermann Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992 .

[9]  Lena Buffoni,et al.  An Approach to Automated Model Composition Illustrated in the Context of Design Verification , 2014 .

[10]  Peter Fritzson,et al.  Requirement Verification and Dependency Tracing During Simulation in Modelica , 2013, 2013 8th EUROSIM Congress on Modelling and Simulation.

[11]  Matthias Jarke,et al.  Requirements tracing , 1998, CACM.

[12]  Natarajan Shankar,et al.  Combining Theorem Proving and Model Checking through Symbolic Analysis , 2000, CONCUR.

[13]  Andrea Tundis,et al.  On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions , 2015, IEEE Systems Journal.

[14]  Andrea Tundis,et al.  Reliability analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method , 2014, J. Comput. Sci..

[15]  Adam M. Ross,et al.  Five aspects of engineering complex systems emerging constructs and methods , 2010, 2010 IEEE International Systems Conference.

[16]  Giuseppe De Giacomo,et al.  Automated Service Composition Based on Behaviors: The Roman Model , 2014, Web Services Foundations.

[17]  Andrea Tundis,et al.  Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches , 2013, EOOLT.

[18]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[19]  Thuy Nguyen.  FORM-L: A MODELICA Extension for Properties Modelling Illustrated on a Practical Example , 2014 .

[20]  Andrea Tundis,et al.  From safety requirements to simulation-driven design of safe systems , 2013 .

[21]  John Harrison,et al.  Formal Verification , 2011, Software and Systems Safety - Specification and Verification.

[22]  Andrea Tundis,et al.  Formal Requirements Modeling for Simulation-Based Verification , 2015 .

[23]  Gunter Saake,et al.  Flexible feature binding in software product lines , 2011, Automated Software Engineering.

[24]  Stefania Gnesi,et al.  Formal verification , 2001 .