Railway industry development

Railway industry development

Prover contributing to drive innovation, standardisation and safety of modern rail control systems.

Prover contributing to drive innovation, standardisation and safety of modern rail control systems.

We drive innovation & shape standards

Prover is a thought leader in the industry actively driving innovation, shaping standards and developing best practices for efficient development and verification of rail control systems.

0

Customers

We work with a multitude of infrastructure managers, signaling suppliers and engineering firms

0

Markets

Prover has customers in more than
25 countries.

Formal languages

The formal languages to change the world of rail control

Prover has developed three different languages; PiSPEC, HLL and LCF. In addition to having a precisely defined syntax and semantics, these languages have been carefully designed to make it easy to express signaling requirements and configuration data, but also to simplify manual review tasks.

LCF

LCF is a domain-specific language tailored for signaling engineering. It provides a universal way of expressing signaling configuration data in a compact and review-friendly format, to help infrastructure managers transition from drawings to structured data. Data available in railML can be translated to LCF for further processing and validation.

HLL

HLL is a formal high level language tailored for formal verification of industrial systems. You can automatically translate computer programs or relay systems to HLL in order to investigate them mathematically and prove properties about them. HLL is the input language of PSL and Prover Certifier.

PiSPEC

PiSPEC is the language used for Generic Applications (for design, test and safety requirements) in the Prover Trident process and the Prover iLock tool.

The need for automation and digitization of modern rail control systems

Prover contributes to the automation and digitization of modern rail control systems through various industry organizations and forums, collaboration with Academia and driving new innovations.

Unife

Unife

Prover is an active member of UNIFE, an organization for the European Rail Supply Industry. Unife members are committed to collaborating on common challenges facing the railway sector. Ranging from providing innovative technologies needed to meet the growing demand for sustainable transportation, to shape interoperability standards and the coordination of EU-funded research projects. Learn more about UNIFE.

Unife

Unife

Prover is an active member of UNIFE, an organisation for the European Rail Supply Industry. Unife members are committed to collaborating on common challenges facing the railway sector. Ranging from providing innovative technologies needed to meet the growing demand for sustainable transportation, to shape interoperability standards and the coordination of EU-funded research projects. Learn more about UNIFE.

Shift2Rail

Shift2Rail

Shift2Rail is the first European rail initiative to seek focused research and innovation (R&I) and market-driven solutions by accelerating the integration of new and advanced technologies into innovative rail product solutions. Shift2Rail promotes the competitiveness of the European rail industry and meets changing EU transport needs. Within Shift2Rail, Prover assists Trafikverket (Swedish Transport Administration) in Technology Demonstrator (TD) 2.7, Formal methods and standardization for smart signaling systems, and liaises with Trafikverket’s academic collaborator KTH Royal Institute of Technology. Learn more about Shift2Rail here.

Shift2Rail

Shift2Rail

Shift2Rail is the first European rail initiative to seek focused research and innovation (R&I) and market-driven solutions by accelerating the integration of new and advanced technologies into innovative rail product solutions. Shift2Rail promotes the competitiveness of the European rail industry and meets changing EU transport needs. Within Shift2Rail, Prover Technology assists Trafikverket (Swedish Transport Administration) in Technology Demonstrator (TD) 2.7, Formal methods and standardisation for smart signalling systems, and liaises with Trafikverket’s academic collaborator KTH Royal Institute of Technology. Learn more about Shift2Rail here.

Automation and digitization of modern rail control systems

Automation and digitization of modern rail control systems

Prover is a member of the IEEE Standards Association (SA) corporate program and has participated in the IEEE WG P2846 Assumptions for Models in Safety-Related Automated Vehicle Behavior (see https://sagroups.ieee.org/2846/)

Automation and digitization of modern rail control systems

Automation and digitization of modern rail control systems

Prover is a member of the IEEE Standards Association (SA) corporate program and has participated in the IEEE WG P2846 Assumptions for Models in Safety-Related Automated Vehicle Behavior (see https://sagroups.ieee.org/2846/)

SDA Forum

The SDA Forum is an annual event initiated by Prover to embrace the latest evolutions of design automation and formal verification software technologies to automate design and verification of railway signaling systems. The SDA Forum invites signaling management representatives to foster collaboration, drive standards, and to assist implementation strategies. The forum will help the industry to meet and share valuable knowledge and ideas for how to drive innovation in railway safety and more efficient software development. Learn more about SDA Forum.

SDA Forum

The SDA Forum is an annual event initiated by Prover to embrace the latest evolutions of design automation and formal verification software technologies to automate design and verification of railway signaling systems. The SDA Forum invites signaling management representatives to foster collaboration, drive standards, and to assist implementation strategies. The forum will help the industry to meet and share valuable knowledge and ideas for how to drive innovation in railway safety and more efficient software development. Learn more about SDA Forum.

HLL Forum

The HLL Forum is the community for us who use the formal specification language HLL. It is a high level language for formal verification of safety critical systems developed by Prover and RATP. As it has started to become a de facto standard, we wanted to make sure that the language develops in a controlled way to meet the demands of the future. The HLL-Forum is focused on standardizing the HLL language and making it available for everyone to use. Read more about HLL Forum.

HLL Forum

The HLL Forum is the community for us who use the formal specification language HLL. It is a high level language for formal verification of safety critical systems developed by Prover and RATP. As it has started to become a de facto standard, we wanted to make sure that the language develops in a controlled way to meet the demands of the future. The HLL-Forum is focused on standardizing the HLL langugage and making it available for eveyone to use. Read more about HLL Forum.

CBTC User Group

CBTC User Group is a forum to exchange experiences and best practices on Communication-Based Train Control (CBTC) systems. One area of interest is the use of formal specifications as a way to maximize the benefits of investments in train control systems, and to simplify the interaction between metros and suppliers. Learn more about CBTC User Group.

CBTC User Group

CBTC User Group as a forum to exchange experiences and best practices on Communication-Based Train Control (CBTC) systems. One area of interest is the use of formal specifications as a way to maximize the benefits of investments in train control systems, and to simplify the interaction between metros and suppliers. Learn more about CBTC User Group.