Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The Signaling Design Automation Forum is the event to embrace the latest evolutions of design automation – software technologies to automate design and verification for railway signaling systems. The conference will be focusing on Design Automation [...]
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 [...]
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 [...]
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at the train stations manually observing trains and operating signals. The need for automatic signalling eventually became evident: human beings tend to make mistakes, which can lead to serious accidents, and the capacity of railroads was [...]
There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. Capacity must increase, preferably fast and cost efficient, and be delivered with a high service level to meet the demand of the future traveler. In the article Is ‘outside-the-box’ thinking enough to implement new rail [...]
Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on the states economy. The report is an early research product supporting the 2018 California State Rail Plan and provides an overview of opportunities for how railway can address the states needs and challenges in the [...]
UNIFE is an organization for the European rail industry, the Association gathers over 100 of Europe’s leading rail supply companies and it also brings together 14 national rail industry associations of European countries. UNIFE members have an 84% market share in Europe and supply 46% of the worldwide production of rail equipment and services. UNIFE [...]
Are you talented, ambitious and enthusiastic? Do you want to contribute to a sustainable and safe world? Then keep on reading! We are now looking for Developers that demonstrated an interest in advanced techniques such as formal methods, logic, parsers, formal specifications or similar, either by having a MA/PhD degree, or by having done similar [...]
Prover will participate at SafeRail in Washington focus on the topic `Ensuring mission critical safety´. SafeRail is the only dedicated congress for all stakeholders involved in operational safety, digital and physical security on the North American freight and transit railroad network. Find out more at SafeRails website.
Prover will participate in this years exhibition held in Amsterdam and during this years event we will host a workshop about the benefits of using Formal Verification when delivering Signaling Systems. In the workshop we will look into how requirements vary between infrastructure Managers, addressing different traditions in railway signaling and consider their benefits and [...]
