IEEE - Institute of Electrical and Electronics Engineers, Inc. - Timing Assurance of Avionic Reconfiguration Schemes using Formal Analysis

Author(s): A. A. Da Fontoura ; F. A. M. Do Nascimento ; S. Nadjm-Tehrani ; E. P. De Freitas
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (CD): 2371-9877
ISSN (Electronic): 1557-9603
ISSN (Paper): 0018-9251
DOI: 10.1109/TAES.2019.2915406
Regular:

Reconfigurable avionics systems can tolerate faults by moving functionalities from failed components to another available system component. This paper proposes a distributed reconfigurable... View More

Advertisement