Formal Verification of AADL Models by Event-B
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Access"
DOI: 10.1109/access.2020.2987972
Abstract: AADL is widely used to depict the architecture and behavior of real-time safety-critical systems such as avionics and aerospace. The development of these systems has strict requirements for building fault-free systems. Formal verification is frequently… read more here.
Keywords: verification; model; formal verification; aadl model ... See more keywords