Formal Verification of Software Requirements with SCADE Suite Design Verifier

Introduction

Modern aircraft, railway and automotive systems contain complex software with millions of lines of code, many of them performing functions that are critical to the safe transport of passengers. When developing these systems, quality assurance is paramount as software must be verified to function correctly with the highest levels of assurance, and the manufacturers must always demonstrate evidence of correctness through a rigorous certification process, especially in the aerospace and railway industries.