Abstract
The engineering of Systems of Systems presents daunting challenges. In this paper it is argued that rigorous semantic foundations for model-based techniques are potentially beneficial in addressing these. Three priorities for current research are identified: contractual interface definition, the verification of emergent behaviour, and the need to deal with semantic heterogeneity of constituent systems and their models. We describe the foundations of an approach in which architectural models in SysML may be analysed in a formal modelling language that has an extensible semantics given using the Unifying Theories of Programming (UTP).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Andrews, Z.H., Fitzgerald, J.S., Payne, R., Romanovsky, A.: Fault modelling for systems of systems. In: 11th IEEE International Symposium on Autonomous Decentralized System (ISADS), pp. 1–8. IEEE Computer Society (March 2013)
Andrews, Z.H., Payne, R., Romanovsky, A., Didier, A.L.R., Mota, A.: Model-based development of fault tolerant systems of systems. In: 7th International Systems Conference, IEEE SysCon. IEEE (April 2013)
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1, 11–33 (2004)
Bedau, M.A.: Downward causation and autonomy in weak emergence. Principia Revista Internacional de Epistemologica 6, 5–50 (2003)
Boardman, J., Sauser, B.: System of Systems – the meaning of “of”. In: Proceedings of the 2006 IEEE/SMC International Conference on System of Systems Engineering, Los Angeles, CA. IEEE (April 2006)
Booch, G., Brown, A.W.: Collaborative development environments. Advances in Computers 59, 1–27 (2003)
Butterfield, A., Gancarski, P., Woodcock, J.: State visibility and communication in unifying theories of programming. In: Theoretical Aspects of Software Engineering, pp. 47–54. IEEE Computer Society (2009)
Cantot, P., Luzeaux, D.: Simulation and Modeling of Systems of Systems. Wiley (2011)
Coleman, J.W., Malmos, A.K., Larsen, P.G., Peleska, J., Hains, R., Andrews, Z., Payne, R., Foster, S., Miyazawa, A., Bertolini, C., Didier, A.: COMPASS Tool Vision for a System of Systems Collaborative Development Environment. In: Proceedings of the 7th International Conference on System of System Engineering, IEEE SoSE 2012, pp. 451–456 (July 2012)
DeLaurentis, D.A., Crossley, W.A.: A taxonomy-based Perspective for Systems of Systems Design Methods. In: IEEE International Conference on Systems, Man and Cybernetics, vol. 1, pp. 86–91. IEEE (October 2005)
Ernst, M.D., Perkins, J.H., Guo, P.J., McCamant, S., Pacheco, C., Tschantz, M.S., Xiao, C.: The daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1-3), 35–45 (2007)
European Commission. Directions in Systems of Systems Engineering. Technical report, European Commission, Communications Networks, Content and Technology Directorate- General Unit A3-DG CONNECT (July 2012)
Fang, Z., DeLaurentis, D.A., Davendralingam, N.: An Approach to Facilitate Decision Making on Architecture Evolution Strategies. In: 2013 Conference on Systems Engineering Research, Atlanta, Georgia. Procedia Computer Science, vol. 16, pp. 275–282 (2013)
Han, S.Y., DeLaurentis, D.A.: Development Interdependency Modeling for System-of-Systems (SoS) using Bayesian Networks: SoS Management Strategy Planning. In: 2013 Conference on Systems Engineering Research, Atlanta, Georgia. Procedia Computer Science, vol. 16, pp. 698–707 (March 2013)
Hardebolle, C., Boulanger, F.: Multi-formalism modelling and model execution. International Journal of Computers and their Applications 31(3), 193–203 (2009); Special Issue on the International Summer School on Software Engineering
Hoare, T., He, J.: Unifying Theories of Programming. Prentice Hall (April 1998)
Holt, J., Perry, S.: SysML for Systems Engineering. IET (2008)
Jamshidi, M.: System of Systems Engineering: Innovations for the Twenty-First Century, 1st edn. Wiley (November 2008)
Jun, H., Liu, Z., Reed, G.M., Sanders, J.W.: Ensemble engineering and emergence. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol. 5380, pp. 162–178. Springer, Heidelberg (2008)
Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The Overture Initiative – Integrating Tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1–6 (2010)
Maier, M.W.: Architecting Principles for Systems-of-Systems. In: Sixth International Symposium of the International Council on Systems Engineering, INCOSE (1996)
Miyazawa, A., Lima, L., Cavalcanti, A.: Formal models of sysml blocks. In: Groves, L., Sun, J. (eds.) Accepted for publication at ICFEM 2013, Queenstown, New Zealand. Springer (October 2013)
Peleska, J., Vorobev, E., Lapschies, F.: Automated Test Case Generation with SMT-Solving and Abstract Interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 298–312. Springer, Heidelberg (2011)
Perna, J.I., Woodcock, J.: UTP Semantics for Handel-C. In: Butterfield, A. (ed.) UTP 2008. LNCS, vol. 5713, pp. 142–160. Springer, Heidelberg (2010)
Sahin, F., Jamshidi, M., Sridhar, P.: A Discrete Event XML based Simulation Framework for System of Systems Architectures. In: IEEE International Conference on System of Systems Engineering, SoSE 2007 (April 2007)
Sanders, J.W., Smith, G.: Emergence and Refinement. Formal Aspects of Computing 24(1), 45–65 (2012)
Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P., Miyazawa, A., Perry, S.: Features of CML: a Formal Modelling Language for Systems of Systems. In: Proceedings of the 7th International Conference on System of System Engineering. IEEE (July 2012)
Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal Methods: Practice and Experience. ACM Computing Surveys 41(4), 1–36 (2009)
Zhan, N., Kang, E.Y., Liu, Z.: Component publications and compositions. In: Butterfield, A. (ed.) UTP 2008. LNCS, vol. 5713, pp. 238–257. Springer, Heidelberg (2010)
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
Fitzgerald, J., Larsen, P.G., Woodcock, J. (2014). Foundations for Model-Based Engineering of Systems of Systems. In: Aiguier, M., Boulanger, F., Krob, D., Marchal, C. (eds) Complex Systems Design & Management. Springer, Cham. https://doi.org/10.1007/978-3-319-02812-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-02812-5_1
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-02811-8
Online ISBN: 978-3-319-02812-5
eBook Packages: EngineeringEngineering (R0)