ARM’s highest performing processor, extending the capabilities of mobile and enterprise computing. Read More...
SCADE Suite™ is the market leading, model-based development environment dedicated to safety-critical embedded software:
· DO-178B qualified up to level A for Military and Aerospace Industries
· IEC 61508 certified at SIL 3 by TÜV SÜD for Heavy Equipment and Energy
· EN 50128 certified at SIL 3/4 by TÜV SÜD for Rail Transportation
Overall model-based software development support, from requirements to target, with rigorous semantics of modeling, proven code generation algorithms, and formal proof technology wrapped in a user-friendly tool:
* Safe design: fully modular, strongly typed, explicit time & initial values management, design consistency checks.
* Unique integration of Data Flow & Safe State Machines, allowing to model the whole application with the same formalism.
* Integrated requirements management & traceability
* Seamless design flow with SCADE & Simulink, bridging the gap between control engineering and software development. SCADE Simulink Gateway enables SCADE/Simulink co-simulation.
* Architecture design capture with SCADE Gateway for SysML/UML.
* Debugging & simulation at model level with SCADE Simulator.
* Coverage analysis & resolution at model level with Model Test Checker, DO-178B qualified as a verification tool.
* Formal expression & assessment of safety requirements with Design Verifier.
* Generation of simple C code fitting the constraints of safety-critical embedded software with SCADE Suite KCG, which is:
. Qualified as a Development Tool under DO-178B, up to level A
. Certified as a Product under IEC 61508, up to SIL 3 by TÜV SÜD
. Certified as a Product under EN 50128, up to SIL 3/4 by TÜV SÜD
KCG generated code is portable (ANSI C, compiler, target and OS independent), readable & traceable with respect to the design, and structured. It contains no pointer arithmetic, no recursion and bounded loops only. All constructs can be optimized for size or speed. Its execution time is bounded.
The SCADE Suite KCG Qualification Kit provides all the artefacts required by certification authorities in DO-178B 8110.49 for a development tool.
* Object code verification with Compiler Verification Kit.
* Automatic generation of the design documentation tailored to your needs.
SCADE Suite development environment provides a common representation between systems and software teams sharing models
and generates portable C or Ada code which is RTOS, hardware & bus platform independent.
Esterel Technologies has worldwide training and support capabilities in your language.
SCADE Suite has been integrated to leading requirements management, traceability, RTOSes, IDEs, compilers, testing and code analysis tools.
SCADE Suite users have experienced a 2X speed-up improvement in time-to-certification and a 37% reduction in project development costs!