Esterel Technologies>News & Events>Success Stories>Siemens

Model-based Development in the Railway Domain: Siemens Challenges and Experience

Interlocking systems are comprised of thousands of controlled elements and their life cycles last 30 years. For their design, Siemens decided on SCADE Suite model-based development environment. Important criteria that triggered that decision were:

Photo by Gaku  

• SCADE modelling language (based on formal semantics) for safety-related software embedded control applications
• Automatic code generation
• Model-level simulation
• Formal verification (complete demonstration of properties)
• A development environment including gateways to third-party tools (requirements engineering, UML architectures)

Model-Based development with SCADE establishes higher efficiency, errors are being detected earlier in the design process - all in all our products reach our customers faster and in the highest possible quality, says Dr. Ralf Pinger, Siemens Transportation Systems.