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.
Customers
We work with a multitude of infrastructure managers, signaling suppliers and engineering firms
Markets
Prover has customers in more than
25 countries.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...
Formal languages
The formal languages to change the world of rail control
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.
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
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
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 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 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
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
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/)
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.
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.
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.
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 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 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.