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.