Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations

  • Sebastian Stock (Speaker)
  • Atif Mashkoor (Speaker)

Activity: Talk or presentation › Contributed talk › science-to-science

Description

Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel & Atif Mashkoor Conference paper First Online: 15 May 2023 210 Accesses 1 Citations Part of the Lecture Notes in Computer Science book series (LNCS,volume 14010) Abstract This paper presents insights gained during modeling and analyzing the arrival manager (AMAN) case study in Event-B with validation obligations (VOs). AMAN is a safety-critical interactive system for air traffic controllers to organize the landing of airplanes at airports. The presented model consists of a human-machine interface comprising interactive and autonomous parts. We employ VOs to formalize requirements, uncover contradictions and ambiguities, and validate the model’s compliance with the requirements. To capture the AMAN’s human-machine interaction, we implement an interactive domain-specific visualization and an automatic simulation using the VisB and SimB components of ProB.
Period01 Jun 2023
Event titleRigorous State-Based Methods
Event typeConference
LocationFranceShow on map

Fields of science

  • 102 Computer Sciences

Documents & Links