Using Complementary Models-Based Approaches for Representing and Analysing ATM Systems' Variability - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

(1) , (1) , (2) , (2, 1) , (3) , (2)
1
2
3
Célia Martinie
Philippe Palanque
Alberto Pasquini
  • Fonction : Auteur
Sara Silvagni
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
p146-martinie.pdf (796.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00776429 , version 1 (15-01-2013)

Identifiants

  • HAL Id : hal-00776429 , version 1

Citer

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⟩
342 Consultations
164 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More