(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.data-privacy-src= 'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); })(window,document,'script','dataLayer','GTM-KZ3W38S');

News & Articles

News & Articles

2302, 2024

Exploring the Evolution of Railway Software Standards with EN 50716

Quality|

In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement. We will highlight key features of EN 50716, including expanded endorsement of formal methods, the concept of "tool diversity," and fresh perspectives on software development, such as guidance on lifecycle models and the integration of Artificial Intelligence and Machine Learning.

2302, 2024

Exploring the Evolution of Railway Software Standards with EN 50716

Quality|

In this blog post we discuss the significance of adhering to industrial standards in railway software development, particularly focusing on the introduction of the CENELEC standard EN 50716:2023 as a major advancement. We will highlight key features of EN 50716, including expanded endorsement of formal methods, the concept of "tool diversity," and fresh perspectives on software development, such as guidance on lifecycle models and the integration of Artificial Intelligence and Machine Learning.

507, 2023

How to build a solid safety case for your rail control system using Formal Verification

Guide, Verification & Validation|

Learn how to ensure the safety and compliance of your rail control system from the outset with the power of automation and Formal Verification. Our guide provides insights into overcoming common challenges in developing safety-critical rail control software, replacing manual steps with a fully automated verification process based on mathematical proofs.

507, 2023

How to build a solid safety case for your rail control system using Formal Verification

Guide, Verification & Validation|

Learn how to ensure the safety and compliance of your rail control system from the outset with the power of automation and Formal Verification. Our guide provides insights into overcoming common challenges in developing safety-critical rail control software, replacing manual steps with a fully automated verification process based on mathematical proofs.

How much can you save by implementing Signaling Design Automation?

In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.

Go to Top