Comprehensive Modelling for Advanced Systems of Systems
The COMPASS consortium is a group of researchers and companies committed to collaborative research on model-based techniques for developing and maintaining Systems of Systems (SoS).
Modern networking technologies let systems cooperate by sharing resources and offering services to one another so that the resulting system of systems has a behaviour that is greater than just the sum of its parts. For example, the information systems of fire, police and hospital services can together offer a flexible and responsive SoS for emergency management, even though the individual systems were not intended for collaboration. At a different scale, the integration of systems on board an aircraft can offer more energy-efficient and robust flight control.
Although there are great opportunities here, the design of innovative products and services that take advantage of Systems of Systems (SoS) technology is hampered by the complexity caused by the heterogeneity and independence of the constituent systems, and the difficulty of communication between their diverse stakeholders. Developers lack models and tools to help make trade-off decisions during design and evolution leading to sub-optimal design and rework during integration and in service. Our work is inspired by the vision that complex SoSs can be successfully and cost-effectively engineered using methods and tools that promote the construction and early analysis of models.
Our research agenda involves:
- Developing a modelling framework for SoS architectures.
- Providing a sound, formal semantic foundation to support analysis of global SoS properties.
- Building an open, extendible tools platform with integrated prototype plug-ins for model construction, simulation, test automation, static analysis by model-checking, and proof, and links to an established architectural modelling language.
- Evaluating technical practice and advanced methods through substantial case studies.
If you would like to know more about our research agenda, or be involved as a member of our interest group, please contact John Fitzgerald
26 April 2013: COMPASS presentation in the INCOSE SoS Working Group series
15 April 2013: Date for COMPASS Interest Group workshop announced (22 May 2013, Bristol)
30 January 2013: Second release of the COMPASS tool
19 October 2012: New Post-Doc vacancy on COMPASS at Aarhus University has been announced, please check here for details.
30 September 2012: Initial release of the COMPASS tool
13 September 2012: New members of the COMPASS Interest Group: Jaguar Land Rover and National Institute of Informatics, Japan
23 August 2012: New member of the COMPASS Interest Group: University of South Australia
19 July 2012: Best paper award: The paper "Features of CML: a Formal Modelling Language for Systems of Systems" by Jim Woodcock, Ana Cavalcanti, John Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa and Simon Perry was presented with a best paper award at SoSE 2012.