Esterel Technologies>Customers>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:

• 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.

Request Siemens Presentation at our SCADE User Group Conference 2007