
Automated Generation of Requirements for the Highly Fault-Tolerant System Behaviour of a Distributed and Integrated Avionics Platform
Author(s) -
Robert Wipperfürth,
Thorben Hoffmann,
Christoph Kurz,
Tim Belschner,
Reinhard Reichel
Publication year - 2022
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - avionics , integrated modular avionics , computer science , fault tolerance , embedded system , systems engineering , reliability engineering , distributed computing , engineering , aerospace engineering