Implementation of formally verified real time distributed systems: Simplified flight control system


The most common procedure to ensure the reliability of a design is simulation. Unfortunately simulation cannot fully inspect all the execution states of the system. The significant increase in the complexity and size of digital systems together with the nature of real time systems boosted up the need for a different approach for the validation of the… (More)


8 Figures and Tables