Esterel Technologies>Industries>Energy & Heavy Equipment
Energy & Heavy Equipment
Unique IEC 61508 Certified Code Generation for all SIL levels and Formal Verification Capabilities
Why SCADE Suite?
SCADE Suite is designed to reduce energy and heavy-duty equipment control software development costs while achieving the highest levels of safety, including IEC 61508 for all SIL levels.
Where can SCADE Suite be used?
SCADE Suite is used in many types of heavy-duty safety critical equipment, such as electrical power generation, nuclear power plant control and command, energy production, tractors, cranes, special machinery and special vehicles.
The SCADE KCG Code Generator is IEC 61508 certified as a product for all SIL levels.
Reducing Development and Verification Costs
- Coding, review and testing costs reduced by 70 to 90%.
- Manual quality activities cost cut down by 70 to 90%.
- Software update cycle time shortened by 65 to 75%.
The “Correct by Construction” philosophy
- SCADE formalism enables the removal of specification ambiguities. It also guarantees the bounded execution time and memory of the generated code.
- SCADE Suite enables early checking of the models correctness: software verification and validation activities can be performed at the model level and remain valid down to the code.
- SCADE Suite exhaustively checks the design consistency. For example it detects logical loops, typing inconsistencies and dead or deactivated design branches.
- The SCADE Suite formal verification feature enables the capture and verification of system-level properties, the detection of bugs without writing tests, and the automatic generation of counter-examples for failed properties. Designs are thus verified earlier in the project, eliminating late-stage bug discovery.
- The certification of the code generator eliminates the need for unit testing, thus enabling the fast and safe implementation of design updates.
See our success stories
