Abstract
Systems-of-systems (SoS) are network-enabled synergistic collaborations between systems that are operationally and managerially independent, distributed, evolve dynamically and exhibit emergence. The design of dependable SoS requires model-based approaches that permit description of contracts between constituent systems at interfaces in a SoS architecture, including functionality and interaction behaviour, and that permit verification of global behaviours. We describe an approach to formal model-based SoS engineering using complementary notations for functional, interaction and architectural aspects. A case study in modelling information flow in an emergency response SoS demonstrates the viability of the proposed approach and highlights a need for common semantic foundations.
Chapter PDF
Similar content being viewed by others
References
Maier, M.W.: Architecting Principles for Systems-of-Systems. Systems Engineering 1(4), 267–284 (1998)
Camarinha-Matos, L.M., Afsarmanesh, H. (eds.): Collaborative Networks: Reference Modeling. Springer (2008)
Dahmann, J.S., Rebovich, G., Lane, J.A.: Systems Engineering for Capabilities. CrossTalk Journal 21(11), 4–9 (2008)
Maier, M.W.: Research Challenges for Systems-of-Systems. In: IEEE Intl. Conf. on Systems, Man and Cybernetics (2005)
Valerdi, R., Axelbrand, E., Baehren, T., Boehm, B., et al.: A Research Agenda for System-of-Systems Architecting. Intl. Jnl. System of Systems Engineering 1(1–2), 171–188 (2008)
Camarinha-Matos, L.M., Afsarmanesh, H.: A comprehensive modelling framework for collaborative networked organizations. J. Intell. Manuf. 18, 529–542 (2007)
Woodcock, J.C.P., Larsen, P.G., Bicarregui, J.C., Fitzgerald, J.S.: Formal Methods: Practice and Experience. ACM Computing Surveys 41(4), 1–36 (2009)
Caffall, D.S., Michael, J.B.: Formal methods in a system-of-systems development. In: IEEE Intl. Conf. Systems, Man and Cybernetics, pp. 1856–1863 (2005)
Woodcock, J.C.P., Davies, J.: Using Z Specification, Refinement, and Proof. Prentice-Hall (1996)
Hoare, C.A.R.: Communicating Sequential Processes, 1st edn. Prentice Hall Intl. (1985); New edn. Davies, J. (ed.) (2004)
Pnueli, A.: The temporal logic of programs. In: 18th IEEE Symp. Foundations of Computer Science, pp. 46–57 (1977)
Treharne, H., Schneider, S.: Using a process algebra to control B Operations. In: 1st International Conference on Integrated Formal Methods, IFM 1999. LNCS, pp. 437–457. Springer (1999)
Fischer, C.: Combination and Implementation of Processes and Data: from CSP-OZ to Java. PhD thesis, Fachbereich Informatik Universität Oldenburg (2000)
Dong, J.S., Hao, P., Qin, S.C., Sun, J., Yi, W.: Timed Patterns: TCOZ to Timed Automata. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 483–498. Springer, Heidelberg (2004)
Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: OOPSLA 2000, pp. 105–106 (2000)
Beckert, B., Hähnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS (LNAI), vol. 4334. Springer, Heidelberg (2007)
Fitzgerald, J.S., Larsen, P.G., Mukherjee, P.P., Verhoef, N.M.: Validated Designs for Object-oriented Systems. Springer (2005)
Object Management Group: OMG Systems Modeling Language (OMG SysML) v1.2, OMG Document Reference: formal/2010-06-02 (2010)
Payne, R.J., Fitzgerald, J.S.: Interface Contracts for Architectural Specification and Assessment: a SysML Extension. In: Proc. Workshop on Dependable Systems of Systems, WDSoS 2011, University of York, UK (2011)
London Emergency Services Liaison Panel: Major Incident Procedure Manual, 7th edn., TSO (The Stationery Office) (2007)
Bryans, J.W., Fitzgerald, J.S., McCutcheon, T.: Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations. In: Camarinha-Matos, L.M., Pereira-Klen, A., Afsarmanesh, H. (eds.) PRO-VE 2011. IFIP AICT, vol. 362, pp. 314–321. Springer, Heidelberg (2011)
Payne, R.J., Bryans, J.W.: Modelling the Major Incident Procedure Manual: A Systems of Systems Case Study. Tech. Rep. CS-TR-1320, School of Computing Science, Newcastle University, UK (2012)
Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall (1998)
Calinescu, R., Kwiatkowska, M.: Software Engineering Techniques for the Development of Systems of Systems. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol. 6028, pp. 59–82. Springer, Heidelberg (2010)
Payne, R.J.: Verifiable Resilience in Architectural Reconfiguration. PhD Thesis, School of Computing Science, Newcastle University, UK (2012)
Cohen, B., Boxer, P.: Why Critical Systems Need Help to Evolve. IEEE Computer 43(3), 56–63 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 International Federation for Information Processing
About this paper
Cite this paper
Fitzgerald, J., Bryans, J., Payne, R. (2012). A Formal Model-Based Approach to Engineering Systems-of-Systems. In: Camarinha-Matos, L.M., Xu, L., Afsarmanesh, H. (eds) Collaborative Networks in the Internet of Services. PRO-VE 2012. IFIP Advances in Information and Communication Technology, vol 380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32775-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-32775-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32774-2
Online ISBN: 978-3-642-32775-9
eBook Packages: Computer ScienceComputer Science (R0)