Abstract
System of Systems (SoS) Engineering (SoSE) requires to be able to model and to argue the quality of the modeled solution, thanks to various objectives prior to any other efforts. This paper presents and discusses the development of an approach to support SoSE activities and particularly to achieve SoS modeling and verification. First, requested models are identified and illustrated here on Virtual Enterprise domain (VE). Second, it is proposed to merge two complementary verification approaches, formal proof and simulation. This allows us to ensure particularly the stability, integrity and control expectations of the proposed SoS solution, and must encompass particularly three main SoS characteristics chosen here that can impact SoS stability, integraty and controllability. These characteristics are connectivity, particularly subsystems’ interoperability abilities, evolution and emergence of behaviors and properties which are due to the subsystems’ interactions when fulfilling the SoS operational mission. For this, a formal properties specification and proof approach allow the verification of the adequacy and coherence of SoS models with regard to these characteristic and to stakeholders’ requirements. Then, simulation based on Multi Agents Systems (MAS) allows the execution of the architectural model of SoS. This allows to detect potential emergent operational scenarios and then to obtain an approached behavioral model of the SoS. This MAS is enriched by concepts and mechanisms allowing to evaluate some criteria to facilitate and guide the identification of such operational scenarios.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Refers to the non-functional requirements such as maintainability, safety, security etc.
- 2.
Legal, deployment, implementation, etc.
References
Blanchard, B.S., & Fabrycky, W.J. (2011). Systems engineering and analysis (5th ed.).
Chapman, W.L., & Rozenblit, J. (1995). Complexity of the system design problem. In Proceedings of the 1995 IEEE International Symposium and Workshop on Systems Engineering of Computer Based Systems, (pp. 51–57).
Maier, M. W. (1998). Architecting principles for systems-of-systems. Systems Engineering, 1(4), 267–284.
Stevens Institute Of Technology, Castle Point On Hudson, Hoboken, NJ 07030: Report On System Of Systems Engineering. August 2006.
DeLaurentis, D. (2007). Research foundations, School of Aeronautics and Astronautics. West Lafayette: Purdue University.
Sheard, S. (2006). Is systems engineering for “systems of systems” really any different? INCOSE insight (Vol. 9, Issue 1).
de Weck, O. L., Ross, A. M., & Rhodes, D. H. (2012). Investigating relationships and semantic sets amongst system lifecycle properties (-ilities). In Third International Engineering Systems Symposium CESUN 2012, June 18–20, 2012, Delft University of Technology.
Clark, J. O. (2009). System of systems engineering and family of systems engineering from a standards, V-model, and Dual-V model perspective. In Systems Conference, 2009 3rd Annual IEEE, March 23–26, 2009 (pp. 381–387).
Mallek, S., Daclin, N., & Chapurlat, V. (2012). The application of interoperability requirement specification and verification to collaborative processes in industry. Computers in Industry, 63(7), 643–658.
Chapurlat, V. (2013). UPSL-SE: A model verification framework for systems engineering. Computers in Industry, 64(5), 581–597, ISSN 0166-3615.
Woodcock, J., Larsen, P. G., Bicarregui, J., & Fitzgerald, J. (2009). Formal methods: Practice and experience. ACM Computing Surveys (CSUR), 41(4), 19.
Clarke, E., & Schlingloff, H. (2000). Model checking. Handbook of automated reasoning. Amsterdam: Elsevier.
Camarinha-Matos, L. M., & Afsarmanesh, H. (1999). The virtual enterprise concept. Portugal: Kluwer Academic Publishers.
Saunders, T. et al. (2005, July). In United States Air Force Scientific Advisory Board Report on System of Systems Engineering for Air Force Capability Development SAB-TR-05-04, July 2005.
Drusinsky, D., Michael, J. B., & Shing, M. T. (2004). Behavioral modeling and run-time verification of system-of-systems architectural requirements. In Proc. CCCT (Vol. 4).
Khosla, R., Dillon, T. (1997). Intelligent hybrid multi-agent architecture for engineering complex systems. In Proceedings of the 1997 IEEE international Conference on Neural Networks (Vol. 4, pp. 2449–2454).
Bilal, M., Persson, C., Ramparany, F., Picard, G., & Boissier, O. (2012, June). Multi-Agent based governance model for Machine-to-Machine networks in a smart parking management system. In Communications (ICC), 2012 IEEE International Conference on (pp. 6468–6472). Ottawa, Canada: IEEE.
Jochen, F. (2005) Types and forms of emergence. Kassel: Kassel University Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Bilal, M., Daclin, N., Chapurlat, V. (2014). System of Systems Design Verification: Problematic, Trends and Opportunities. In: Mertins, K., Bénaben, F., Poler, R., Bourrières, JP. (eds) Enterprise Interoperability VI. Proceedings of the I-ESA Conferences, vol 7. Springer, Cham. https://doi.org/10.1007/978-3-319-04948-9_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-04948-9_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04947-2
Online ISBN: 978-3-319-04948-9
eBook Packages: EngineeringEngineering (R0)