Esterel Technologies>Industries>Rail Transportation
Rail Transportation
Unique EN 50128 Certified Code Generation for SIL 3/4 and Formal Verification Capabilities
Why SCADE Suite?
SCADE Suite is designed to reduce rail transportation software development costs while achieving the highest levels of safety, including EN 50128 for SIL 3/4.
Where can SCADE Suite be used?
SCADE Suite targets all applications with significant rail transportation safety implications such as on-board software, automatic train operation, power management, interlocking and train control systems (ITCS), signaling, ground stations, and other train and operations control applications.
The SCADE KCG Code Generator is EN 50128 certified as a product for SIL 3/4.
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
RSS