EASE - KI-basierte Assistenz für forensische Ermittlungen auf See

Zur Gewährleistung der maritimen Sicherheit sind in der BRD Behörden und Organisationen mit Sicherheitsaufgaben (BOS) in der maritimen Sicherheit beauftragt. Die Behörden sind in dem gemeinsamen Lagezentrum See im Maritimen Sicherheitszentrum in Cuxhaven vertreten. Gleichzeitig kooperieren sie miteinander, um im Falle von größeren oder kritischen Vorfällen diese gemeinsam, unter der Leitung des Havariekommandos, schnellstmöglich zu bewältigen. In diesem Rahmen lassen sich drei größere Aufgabenbereiche identifizieren, für die sich das Projekt EASE zum Ziel gesetzt hat, die Arbeit der Behörden zu unterstützen

A methodology for analyzing human-automation interactions in flight operations using formal verification techniques

When designing and developing systems in safety critical or cost intensive environments it is important to identify as much potential risks as possible prior to operating the system. This includes aspects of the interaction between human and automation systems that are prone to issues. This work-in-progress paper describes a methodology that systematically derives relevant analysis questions for complex human-automation interaction systems. It demonstrates how formal models for all components of the human-automation system can be created. These models are used by model checking algorithms to verify the safety properties associated with the selected analysis questions. While this paper includes no evaluation of the methodology, an ongoing evaluation study is outlined based on the life support system (ECLS) of the European science laboratory Columbus, which is part of the International Space Station. Each step of the formal verification methodology is illustrated with the results obtained so far on the ECLS case study