ABSTRACT
This chapter provides an introduction to model-based development and verification process using tool sets that have been used in designing, developing, and simulating an avionics system. SCADE Suite is a model-based development environment dedicated to critical embedded software. The name “SCADE” stands for “safety-critical application development environment.” From its early industrial stages, SCADE Suite was developed in conjunction with companies developing safety-critical software. The Scade language is a bridge between control engineering and software engineering. This reduces errors and cost in the interface between system lifecycle and software lifecycle. The language also supports safe iterative processing. This allows the development of a wide range of iterative computations such as matrix computation, Kalman filtering, and management of sets of reactive graphical user interface elements.
