In this page there are several links about the related topics of MEFISTO, together with a list of other "homonym" projects we have found on the net and other arguments strictly connected with our project.
 

Events on Design of User Interfaces for Safety Critical Systems

• Design, Specification and Verification of Interactive Systems 2000
• Special Issue on Interface Issues and Designs for Safety-Critical Interactive Systems of ACM Transactions on Computer Human Interaction (ToCHI)
• CHI98 Workshop

Sorry, We Are Not ... !

• PDCS-MEFISTO
• Esprit Project 21294 - MEFISTO
• MEFISTO at Inria

Organisations and Research Centers for Air Navigation

• EUROCONTROL
• AEROSPACE
• ICASE

User Interface Development

• Software
  • ODS Toolbox
  • InterMAPhics
  • SL-GMS
  • An example of HMI for ATC purposes
  • An airport ground planning optimiser from ILOG for Aeroports de Paris

  Air Traffic Control Simulations

  • Wesson International (with TRACON/Pro^TM for enroute phase)
  • Xavius Software
  • Apollo Software

Other links

• Book on Model-based Design and Evaluation of Interactive Applications
• Tools for Petri Nets
• Man-Machine Systems Research
• CREWS Project
• Caesar/Aldebaran Development Package
• Nancy Leveson's homepage
• Computer-Related Incidents with Commercial Aircraft
• NASA Formal Methods Guidebook (Vol.I-II)
• Amodeus-2 Project
• The listing of major airline disasters
• Disasters 1920 - 1997
• Other links in the author's page
• ATC related pages
• Model Based Interface Paradigm
• Tutorial on Engineering Task Models, AVI'98 Conference, L'Aquila, 24 May 1998.
• HAZOP Studies on Systems Containing Programmable Electronics, UK Ministry of Defence Interim Def Stan 00-58 Issue 1.
• Projects on ATC Management
• Aviation Safety Reporting Systems

Home   Overview    Goals   Contact list    Planning of Work    Documents   Workspace   Statistics