Software Development

The CBTC User Group – discussing the CBTC signaling systems of today and tomorrow

Together with the metros of Copenhagen (Metroselskabet, MS), New York City (New York City Transit, NYCT) and Stockholm (Storstockholms Lokaltrafik, SL), Prover has founded the CBTC user’s group to share experiences and best practices in the area of Communication-Based Train Control systems (CBTC). The inaugural digital meeting was held on March 11, with presentations [...]

By |2021-04-15T09:42:43+01:00April 15th, 2021|Formal Verification, Software Development|

New webinar on Signaling Design Automation

Prover is strengthening its Signaling Design Automation solution with the introduction of the software Prover Studio. Prover Studio is a logic editor which increases the efficiency when formalizing specifications, the first step in our Prover Trident process. We have developed a new webinar series that will present the complete process from specification to revenue [...]

By |2021-04-09T16:38:01+01:00April 9th, 2021|Product News, Software Development|

Automated Signaling Systems Design using Prover Trident

In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control projects and proposed a remedy: the use of detailed and clear requirement specifications that enables automated development and more efficient safety verification. We will now take a closer look at this process for signaling systems design [...]

By |2020-05-05T06:54:03+01:00April 30th, 2020|Signaling Solutions, Software Development|

New Concepts and Competencies needed to meet Future Demand in the Railway Industry

It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing signaling solutions. Most interlocking system projects today are developed with the following characteristics: Errors are found late Late changes are costly Schedules to deliver interlocking software are long and unpredictable There is a need to [...]

By |2018-12-04T13:32:04+01:00December 4th, 2018|Company News, Signaling Solutions, Software Development|

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+01:00April 26th, 2018|Events, Software Development|

The Structure of Specifications

In my last post I wrote about how to write a decent specification on a quite general level. This time, I like to return to the topic, trying to be a bit more specific and tell you something about how we at Prover like to do things. In the Prover Trident Process, the specification of [...]

By |2018-04-18T13:50:28+01:00April 11th, 2018|Software Development|

How to build the Business Case for an Interlocking Design Automation investment

Interested in a modern Interlocking Design Automation process? As with all investments you then need a compelling business case to justify the decision to move forward. To build a business case, we compare traditional methods for developing signalling applications with a state of the art process based on formalized specifications and automation tools. Experience shows [...]

By |2018-04-06T10:43:30+01:00April 6th, 2018|Software Development|

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+01: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+01:00February 16th, 2018|Signaling Solutions, Software Development|
Load More Posts
Go to Top