Abstract
SCADE 6 is a harmonious blend of Lustre, the basis of SCADE 4 used for the Airbus A380, Esterel for its vision of synchronous control, and C. André's SyncCharts, a synchronous version of D. Harel's Statecharts. SCADE 6 adds functional processing of data and process tables. It is integrated into a software workshop, which includes interfaces to high-level specification methods (Simulink, SysML, etc.) and software engineering tools (documentation, simulation, test management, etc.). The compilation of SCADE 6 is subject to strict constraints, as the compiler itself is certified to the maximum level A of the DO-178B standard. Its certification is based on extensive documentation and testing, and, technically, on a complete traceability mechanism from source code to object code. It is facilitated by the mathematical semantics of the language, giving it a considerable commercial advantage.
B. Pagano presented the language and its compilation methods, emphasizing the original technical points: translation of graphics into text, scheduling leading to efficient generated code, detection of causality problems by static typing, type polymorphism and array handling - conceptually very clean, but with room for improvement in efficiency.
