Modeling in the State Flow Environment to Support Launch Vehicle Verification Testing For Mission and Fault Management Algorithms in the NASA Space Launch System

Trevino, Luis; Berg, Peter; England, Dwight; Johnson, Stephen B.

doi:10.2514/6.2016-5223

Cited by 5 publications

(1 citation statement)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A state-flow chart can contain sequential and combinatorial logic in the form of state transition diagrams, flow charts, state transition tables, and truth tables. Which has been used as an important tool for the early verification of the algorithm and event based temporal logic system modeling in industry, such as NASA introduces state-flow in space launch system to address the criticality of the verification testing of these algorithms, and specifically the need for an early look at algorithm success criteria [32], [33].…”

Section: Mde In Aviation Industrymentioning

confidence: 99%

Behavior Modeling on ARINC653 to Support the Temporal Verification of Conformed Application Design

Zhang

Liu

et al. 2019

IEEE Access

View full text Add to dashboard Cite

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 underlining verification in the design phase. The model captures the temporally related design in an industrial standard for software application and operation system (ARINC653). The finite-state machine mechanism is employed to formulate the behavior model of the application and application execution interface. Furthermore, temporal requirements are measured under the simulation of the state machine model. A case study is conducted on a real-world auto-pilot application that conformed with ARINC653. INDEX TERMS Software behavior model, ARINC653 application design, finite state machine, temporal verification.

show abstract

Section: Mde In Aviation Industrymentioning

confidence: 99%