Wind River

Esterel Technologies

SCADE Suite and SCADE Display

Compatible Wind River Operating Systems: VxWorks 653

Compatible Wind River Platforms: Safety Critical

Esterel SCADE Suite™ and Esterel SCADE Display™ reduce time-to-deployment and certification for critical control and embedded graphics display applications respectively. Both products, with support for the full development life-cycle, from requirements through deployment and verification are certified for critical application development. SCADE automatic code generators have been certified / qualified according to the following standards by FAA / EASA and TÜV SÜD: DO-178B up to Level A for Aerospace and Defense Applications, IEC 61508 up to SIL 3 for Transportation and Industrial Applications, and EN 50128 up to SIL 3/4 for Rail Transportation Applications.

The SCADE products help real-time embedded system and software engineers address specification quality and accuracy by providing formal, deterministic, and verifiable specifications. Requirements are easily traced into and throughout the design process, and design documentation is always accurate and up to date. SCADE reduces the cost of implementation and verification by providing both static and dynamic analysis at the model level, enabling design flaws to be caught early in the development process when they are less costly to fix. Automatic, certified code generation technology virtually eliminates low-level unit testing, saving time and money in the verification process.

FEAUTURES & BENEFITS

Certified model-based development for mission and safety-critical applications.
Expedites analysis, design, implementation, and verification of critical embedded systems.
Shortens time-to-certification with automatic code generation, documentation generation, qualification kits.
SCADE Display offers safety-critical Embedded display development qualified under DO-178B.
SCADE Display’s intuitive development environment provides programmers and non-programmers with a tool suite supporting advanced prototyping and specification of embedded displays.

TECHNICAL SPECS

SCADE Unified Modeling Style – data flows & state machine behavior defined at any level in the design hierarchy. The support of array operators optimizes the design & code generation for complex data processing of control law components.
SCADE models modularity ensures safe and manageable partitioning between several designers or teams.
Rigorous semantics of modeling, proven code generation algorithms, and formal proof technology wrapped in a user-friendly tool.
Produces ANSI C readable and traceable code that requires no proprietary runtime or processor libraries, including those with an RTOS or “bare machines”.
SCADE Display provides native support for OpenGL® SC and fully portable, targeted, code generation for embedded display systems.