Newcastle University

Insiel is a software developer based in northern Italy that specialises in providing and supporting systems for the public sector. The Insiel case study is a system (the "CUS") which provides support for emergency call centres. These call centres accept calls from the public who need help from ambulances, police or fire fighters. The CUS provides helps operators locate and allocate ambulances, supports communication with other public services and tracks status of active calls as well as logging all data. Insiel's engineers produced SysML models of the emergent response SoS, its stakeholders, requirements and actors, and also modelled aspects of the system's global behaviour formally for analysis and validation. Key questions that engineers at Insiel want to tackle include: identifying hidden incompatibilities when integrating a constituent system; analysing system resilience and fault tolerance; and the difficulty of coping with complexity. For tackling integration, Symphony's recommended approach (called the "COMPASS Integration Framework") involves a structured, guided process for populating a number of SysML viewpoints.

"...thanks to the COMPASS Integration Framework, we are not only able to identify the external interface each constituent system needs to cope with. Our analysis can move towards a deeper understanding of how constituent systems depend each other systems and how such dependencies impact on the behaviour of the CUS SoS"
Paolo Casoto, Insiel S.p.A, Italy

Insiel also applied Symphony's recommend approach for modelling fault tolerance within an SoS ("FMAF"). As it is a safety-critical system that needs to adhere to legally-set targets and performance standards, Insiel are interested in methods to support reasoning about recovery within the CUS.

"The FMAF represents, according to our experience, a great outcome... and can be proficiently applied even in a non SoS context in order to improve modelling by integrating fault tolerance capabilities. The FMAF... allow[s] us to improve the effective of modelling step by step. We are interested in the benefits provided by the FMAF and will consider it as part of our company methodology, aimed at representing fault tolerance related capabilities."
Paolo Casoto, Insiel S.p.A, Italy