Benutzer: Gast  Login
Titel:

A Framework for Simulation and Formal Verification of Redundant Flight Control Systems with Components Subject to Partially Synchronous Timing Effects

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Marvakov, Valentin; Holzapfel, Florian
Abstract:
---In this paper we propose a simulation framework where the effects of timing on the application layer can be reproduced. The framework supports both simulation-based testcase generation and formal verification methods. It is centered around a timing model that is representative to real-time flight control systems. This timing model is also presented in this work along with several observations that are a result of the temporal behavior of the model. Simulation results demonstrate that the obse...     »
Kongress- / Buchtitel:
2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC)
Jahr:
2021
Volltext / DOI:
doi:10.1109/DASC52595.2021.9594390
 BibTeX