Objectives of the development of the Federation of Models are to provide a framework allowing the modelling of Large Scale Socio Technical Systems performance variability under different conditions, with different levels of granularity. This Federation of Models consists in integrating FRAM method with HAMSTERS and ICO notations and tools. The integration of FRAM, HAMSTERS and ICO leverages the high-level view on complex socio-technical systems provided by FRAM with the fine-grain view on human-system interaction provided by HAMSTERS and ICO. The main contribution is to associate performance variability analysis phase of the FRAM method with quantitative user and system performances evaluation support from HAMSTERS and ICO.

FRAM is a safety management method aiming to support both accident investigation and risk assessment processes based on a set of principle related to complex socio-technical systems structure and dynamic.

HAMSTERS (which stands for Human-centered Assessment and Modeling to Support Task Engineering for Resilient Systems) is a task modelling language with a supporting tool. It is designed for representing the decomposition of human goals into activities and the associated tool enables to simulate task models.

ICO formalism and PetShop CASE tool aim at designing, developping and evaluating reliable and usable interative systems. PetShop enables to edit application behavioural models and to connect them to the presentation part of the user interface (graphical widgets and frames for example). It also supports the execution of the application with the underlying behavioural models.

Case Study 1: AMAN

Arrival Manager (AMAN) is a ground based planning tool suggesting to air traffic controller an optimal arrival sequence of aircrafts. It provides support for establishing the optimal approach routes at an airport for incoming aircrafts.

Hereafter is an excerpt of an instance of FRAM model of Air Traffic Management with AMAN system.

Hereafter is an excerpt of the HAMSTERS task model of the executive controller (EXC_TMA)

Case Study 2: UAS

Unmanned Aerial System (UAS) for automated self-separation of Unmanned Aerial Vehicles (UAV). UAS are ensuring that each UAV can reach the desired destination with the optimal route without triggering conflicts with other aircrafts/UAVs. These functions are to be carried out without human intervention.