Tutorials

This session is focused on the discovery of the Arcadia MBSE method and the free/open-source MBSE tool Capella.

The objectives of this tutorial are:
- for the participants to get the first level of knowledge on both scope and content of the Arcadia MBSE method and how it incorporates many Systems Thinking techniques to derive the system architecture.
- for the participants to get a first hands-on experience of using the Capella tool and how it implements the Arcadia method through the actual modeling of the architecture for a simplified use case.

A simulation can be a complex architecture of simulation models, simulation tools, and computing hardware assembled to meet particular needs. Thus, a simulation can be a complex product in its own right with its own development cycle, to be distinguished from the development cycle of the system it represents. However, simulation development is sometimes subject to informal procedures and can begin without a clear, complete, and formal definition of the simulation needs. Simulation traceability is then compromised, which prevents from easily validating whether a simulation meets the needs, or understanding the purpose of a simulation model that can be reused.

The use of autonomous systems is increasingly expanding into critical industries including transportation, healthcare, and defense, yet supporting a safety claim for the use of these systems continues to be a challenging task for researchers and practitioners. In response to this challenge, assurance cases are often prepared to demonstrate that the safety and cybersecurity risks associated with a critical system are adequately identified, appropriately assessed, and effectively mitigated. An important part of an assurance case is a structured argument that enables stakeholders to understand the claims made within it, highlights risks that must be mitigated, and identifies must-have evidence to support its claims. Preparation of an assurance case is required for compliance with many industry standards including ISO 26262, CENELEC EN 50126, UK Def Stand 00-56, and the recently published UL 4600 standard for the safety of autonomous products.