Software Development

Why Formal Verification – Verifying Safety Requirements on Railway Systems

The subject I am going to write about this time is not an easy one. I will try to explain why formal verification is good. In particular, why it is a good practice to use formal verification when verifying safety requirements on railway systems. The Verification Problem In order to make a convincing argument, I [...]

By |2019-01-31T11:16:12+00:00January 31st, 2019|Formal Methods, Formal Verification|

Embrace the latest evolutions of design automation – SDA Forum 2018

If you are involved in designing and safety assessment of signaling systems, then the Signaling Design Automation Forum 2018 is something for you! Using Design Automation The conference will be focusing on Design Automation and Formal Methods, where leading Infrastructure Managers and suppliers from around the world (such as RATP, NYCT, SL (Stockholm Metro), Siemens [...]

By |2018-04-26T11:14:58+00:00April 26th, 2018|Events, Software Development|

Performance issues with formal verification

We've all been there, waiting for the theorem prover to answer. Getting up for a cup of coffee, bugging a colleague... still no answer. This can be standard behaviour when doing formal verification. The requirements are difficult to prove, the system manages to escape into some dark corner not easily approached by the theorem prover. [...]

By |2018-06-05T13:51:24+00:00April 17th, 2018|Formal Methods|

How to Write a Decent Spec

Anyone who has given it a go knows that writing specifications is hard work. In fact, at times it seems almost impossible. Which probably is the reason why the practice of using specifications is shunned and dodged whenever possible. Which is bad. However, if one finds oneself working in the field of railway interlockings, they [...]

By |2018-03-27T11:45:40+00:00March 27th, 2018|Software Development|

Considerations for Delivering the Rail Signalling Systems of the Future

The IRSE International Technical Committee recently published an insightful report on Strategic drivers of change in the signalling industry. It includes the perspectives of both the user and supplier side, and gives an excellent summary of the challenges currently faced by the signaling industry. IRSE views the primary technology drivers to be: Continued emphasis on [...]

By |2018-02-16T11:33:48+00:00February 16th, 2018|Signaling Solutions, Software Development|

Prover Technology au service de la digitalisation du ferroviaire

Le secteur ferroviaire mondial est en pleine croissance! Son marché est estimé à 113 Mds € pour 2017-2020, avec une croissance annuelle de +1,5 %. La France résiste bien et se positionne comme la 3e puissance mondiale du ferroviaire derrière l’Allemagne et la Chine. Le marché intérieur français est en progression à 8,2 Mds € [...]

By |2017-11-20T16:00:56+00:00November 16th, 2017|Software Development|

Are ‘Hackatons’ the New Way of producing Innovative Ideas for the Railway Industry?

On the 8th of December, HS2 Ltd and the Transport Systems Catapult (TSC) will be holding a 2 day ‘Hackaton’ in order to share ideas and concepts to expedite delivery of High Speed Two (HS2), one of the largest modern infrastructure projects in the UK. The best ideas will be selected to go through to [...]

By |2017-11-07T09:09:55+00:00November 7th, 2017|Events, Software Development|