ABSTRACT
Scade (Safety Critical Application Development Environment)∗ is a tool-suite dedicated to the development of critical embedded systems in many domains in industry (avionics, nuclear energy, train transportation). It is mainly used in the design of major applications in the aerospace field. It provides facilities for the hierarchical definition of the system components into a graphical editor, for their simulation and verification as well as for automatic code generation.
