Signaling Solutions

Increased railway safety using signaling design automation

In this, the third and final, blog post on Signal Design Automation we will look at how Formal Verification and automation are used at Stockholm Metro to increase railway safety. The rail-based public transport system in Stockholm, Sweden is relatively complex and diverse with a combination of subway, light rail and heavy rail. It also [...]

By |2020-05-12T15:44:35+01:00May 12th, 2020|Formal Verification, Signaling Solutions|

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|

More efficient rail control projects using Signaling Design Automation

The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of modern, computerized, signaling systems is often shorter than those of traditional relay-based systems, with higher maintenance costs. At the same time the need for new, more advanced rail control systems is growing, to optimize the [...]

By |2020-04-27T14:45:25+01:00April 28th, 2020|Signaling Solutions|

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|

Challenges in Digitizing Specific Application Configurations

To enjoy the full benefits of Signaling Design Automation, particular care needs to be taken regarding the Specific Application Configuration. Characteristics of Specific Application Configuration Specific Application Configuration (SAC) often involves large amounts of safety critical data organized in an inhomogeneous fashion. Data might be given as scheme plans, control tables, and/or in written documents, [...]

By |2018-09-05T13:13:56+01:00September 4th, 2018|Signaling Solutions|

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|

The French Rail Sector is Growing

The global rail sector is growing! Its market is estimated at € 113 billion for 2017-2020, with annual growth of +1.5%. France is resisting well and positioning itself as the world's third largest railway market behind Germany and China. The French domestic market increased to € 8.2 billion in 2015-2017. France enjoys a significant reputation [...]

By |2018-01-16T10:28:14+01:00January 16th, 2018|Signaling Solutions|

The RSSRail conference 2017

On November 14-16th, the RSSRail Conference was held in Pistoia, Italy. The conference brought together researchers, engineers and academics from the rail industry, who are interested in building critical advanced railway applications and systems. Our Chief Strategy officer, Arne Borälv, was there to represent Shift2Rail and Trafikverket. In November I attended the RSSR2017 Conference on [...]

By |2018-01-09T09:33:08+01:00January 9th, 2018|Events, Signaling Solutions|

Interlocking Design Automation at Suburban line Roslagsbanan

With the opening of Roslags Näsby on December 10, we proudly conclude that we contributed to 10 interlockings so far with auto-generated programs in service. At Roslags Näsby, Roslagsbanan forks into two branches, which makes the station a bit more involved than the average, with 14 switches. The project of auto-generating programs for Roslagsbanan with [...]

By |2017-12-19T10:07:42+01:00December 18th, 2017|Company News, Signaling Solutions|

Justify Investment in Modern Rail Control Solutions

Software for automating the development of signalling control solutions is critical for fast, cost efficient and safe development and deployment of modern rail control solutions. Business case for rail control solutions To build a business case for software automation for rail control you should compare traditional methods for developing signalling applications with a state of [...]

By |2017-11-02T07:50:05+01:00October 18th, 2017|Signaling Solutions|
Load More Posts