Behavior Modeling on ARINC653 to Support the Temporal Verification of Conformed Application Design
Numerous factors have an impact on the temporal correction of integrated modular avionics application. As early as in the design phase, verification should be conducted to guarantee the rigorous temporal requirements for safety consideration which are fulfilled. This paper proposes a model for under...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8633888/ |