Skip to Main content Skip to Navigation
Conference papers

Using Complementary Models-Based Approaches for Representing and Analysing ATM Systems' Variability

Abstract : Large-Scale Socio-Technical Systems, such as Air Traffic Management (ATM), are organizations where different interconnected systems work together to achieve a common goal. Analysis of variability is particularly challenging in these systems of systems due to the non-linear and complex interactions among social and technical functions. This paper proposes a systematic approach able to represent and to reason about the variability of such socio-technical systems. The proposed approach is based on the synergistic use of 3 models able to represent the variability from different points of view. This federation of models focusses the analysis on the relevant aspects of the systems of systems at different levels of granularity. The models taken into account for the representation of system variability are FRAM [12] focusing on organizational functions, HAMSTERS [17], which is centred on human goals and activities and ICO [20] which is dedicated to the representation of systems' behaviour (including the user interface). The paper presents a detailed development process describing how the models are built and analysed. This process is exemplified on a case study involving the AMAN (Arrival MANager) system.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Magalie Prudon Connect in order to contact the contributor
Submitted on : Tuesday, January 15, 2013 - 3:14:14 PM
Last modification on : Monday, July 4, 2022 - 9:51:56 AM
Long-term archiving on: : Tuesday, April 16, 2013 - 3:56:19 AM


Files produced by the author(s)


  • HAL Id : hal-00776429, version 1


Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, et al.. Using Complementary Models-Based Approaches for Representing and Analysing ATM Systems' Variability. 2nd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), May 2012, London, United Kingdom. pp.146-157. ⟨hal-00776429⟩



Record views


Files downloads