Sökning: onr:"swepub:oai:DiVA.org:liu-161755" >
Timing Assurance of...
Timing Assurance of Avionic Reconfiguration Schemes using Formal Analysis
-
- Da Fontoura, A. A. (författare)
- Federal University of Rio Grande do Sul, Brazil
-
- Nascimento, F.A. M. (författare)
- Federal University of Rio Grande do Sul, Brazil
-
- Nadjm-Tehrani, Simin, 1958- (författare)
- Linköpings universitet,Programvara och system,Tekniska fakulteten,Real-time Systems Laboratory
-
visa fler...
-
- De Freitas, E. P. (författare)
- Federal University of Rio Grande do Sul, Brazil
-
visa färre...
-
(creator_code:org_t)
- IEEE, 2020
- 2020
- Engelska.
-
Ingår i: IEEE Transactions on Aerospace and Electronic Systems. - : IEEE. - 0018-9251 .- 1557-9603. ; 56:1, s. 95-106
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Reconfigurable avionics systems can tolerate faults by moving functionalities from failed components to another available system component. This paper proposes a distributed reconfigurable architecture for application migration from failed modules to working ones. The feasible system reconfiguration states are determined off-line to provide the expected configuration in foreseen situations. Model Checking is used to determine feasible configurations evaluating specific temporal properties. A case study is used to show the application of the presented approach as a proof of concept
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
Nyckelord
- Reconfiguration
- Avionic Systems
- Distributed RealTime Embedded Systems
- Schedulability Analysis
- Model Check-ing
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas