Esterel Technologies>Products>SCADE Suite

SCADE Suite™

The Standard for the Development of Safety-Critical Embedded Software in Aerospace & Defense, Rail Transportation, Energy and Heavy Equipment Industries

Designed for the Highest Levels of Quality and Safety

Code generation qualifiable for DO-178B (up to Level A), certifiable for IEC 61508 certified at SIL 3 and EN 50128 certified at SIL 3/4

Coding errors are eliminated.
Designs are verified earlier in the project, eliminating late-stage bug discovery.
KCG Code Generator qualification eliminates the need for low level testing.
KCG Code Generator enables a rapid return on investment.
KCG Code Generator is qualified on UNIX and Windows platforms.
KCG Qualification Kit provides documentation such as the Tool Qualification Plan (TQP) and the Tool Accomplishment Summary (TAS) to facilitate your program certification.

Code Generator Settings

Across-the-board Quality and Productivity

Overall model-based software development support, from requirements to target.
Rigorous semantics of modeling, proven code generation algorithms, and formal proof technology wrapped in a user-friendly tool.
Strong quality and efficiency improvement for specifications capture, documentation and QA (quality assurance) rules enforcement.
Clean formalization of your in-house knowledge, enabling IP (intellectual property) management at the model level.

With SCADE formal modeling, what the designer thinks is what is designed and what others understand.

Rooted in 10 Years of Successful Industrial Applications

SCADE Suite, including the SCADE KCG Qualified Code Generator, is used by AIRBUS and many of its main suppliers for the development of most of the A380 and A400M critical on board software, and for the A340-500/600 Secondary Flying Command System, aircraft in operationnal use since August 2002.

François Pilarski, Systems Engineering Framework - Senior Manager Engineering,Systems & Integration Tests; Airbus France.

First flight of the A380 (April 27^th, 2005)

Significant Savings Measured by SCADE Users:

SCADE Suite can bring a minimum overall savings of 35% on the complete project development cost.
SCADE Suite can bring a minimum cost savings of 50% on the software application development itself.
SCADE Suite enables you to perform late specification changes request and have code ready and documented within 48 hours (source Eurocopter).

Safety by Construction

Modeling Correct Designs

Design complete and unambiguous systems with block diagrams for functional behavior and Safe State Machines (SSM) for event-driven behavior.
Perform early checks on the syntax and semantics of your models.
Have SCADE Editor automatically perform your own methodological checks.
Use true modularity at the model level as a result of to the SCADE node concept.
Create libraries of nodes for efficient multi-user projects as well as safe and easy reuse.

Graphical Debugging and Efficient Simulation

Perform early functional validation.
Cleanly monitor your data.
Simulate what you embed.

Simuation Graph

Design Verifier™ - Formal Verification

Validate and "clean" the algorithm designs.
Capture and verify system-level safety properties.
Automatically generate corner case counter-examples.
Detect bugs without writing tests.

Design Verifier Flow

Generation of safe, efficient, small print production code

Modular, portable, strictly conforming to ANSI standards.
Highly optimized and fully traceable.
Easy and safe to integrate into your existing code and RTOS.

Documentation Generator

Report Samples

The Reporter generates the documentation at any time; you simply maintain the design.
Easily customize the documentation generation with TCL.

Easy Integration Into Your Existing Environment

Simulink® and Stateflow®: Import and reuse of Simulink block diagrams and Stateflow diagrams into SCADE.
SCCI: Microsoft® SCC API is used to manage multiple design versions with the major commercial configuration management tools.
DOORS®: Powerful bi-directional interface to requirements management tools like DOORS.