Siemens 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

Join for free to read