An interlocking system is responsible for the reliable and safe movement of trains inside a station, through complex junctions and [...]
IRIS stand for international railway industry standard.
High speed line, or HSL, refers to railway lines with a capacity for speeds in excess of 200 km/h (125 [...]
HLL is an expressive formal language well suited as a target language for certifiable translators from specification, design and code [...]
GTS stand for generic test specification. Functional requirements are formalized in a generic test specification (GTS). It specifies requirements that [...]
GSS stand for generic safety specification. Safety requirements are formalized in a GSS. It specifies requirements that shall be formally [...]
Global navigation satellite system (GNSS) is a satellite-based global navigation system, that can rely on US GPS (Global Positioning System) [...]
Generic design specification (GDS) specifies how generated systems shall be designed. Design principles are formalized in a GDS.
A generic application (GA) is something that can be used as a basis for a number of specific applications. The [...]
Jesper Carlström2024-03-05T10:10:10+01:00Digital twin system testing|
Formal verification is a process that uses mathematical models to rigorously prove the correctness and safety of a system's design, [...]
An interlocking system is responsible for the reliable and safe movement of trains inside a station, through complex junctions and [...]
IRIS stand for international railway industry standard.
High speed line, or HSL, refers to railway lines with a capacity for speeds in excess of 200 km/h (125 [...]
HLL is an expressive formal language well suited as a target language for certifiable translators from specification, design and code [...]
GTS stand for generic test specification. Functional requirements are formalized in a generic test specification (GTS). It specifies requirements that [...]
GSS stand for generic safety specification. Safety requirements are formalized in a GSS. It specifies requirements that shall be formally [...]
Global navigation satellite system (GNSS) is a satellite-based global navigation system, that can rely on US GPS (Global Positioning System) [...]
Generic design specification (GDS) specifies how generated systems shall be designed. Design principles are formalized in a GDS.
A generic application (GA) is something that can be used as a basis for a number of specific applications. The [...]
Jesper Carlström2024-03-05T10:10:10+01:00Digital twin system testing|
Formal verification is a process that uses mathematical models to rigorously prove the correctness and safety of a system's design, [...]
Fill out your information here.
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
Get the latest news and updates about Prover.
 | Krukmakargatan 21 118 51 Stockholm Sweden |
+46 (0)8 617 68 00
Get the latest news and updates about Prover.
This website uses cookies to improve your experience. Cookies are small data files that are stored on your device when you visit our website. We use cookies to understand how you use our website and to be able to offer a more personalized and relevant experience.
We also use third-party cookies that help us improve our advertising and marketing. These cookies enable us to show you relevant advertisements based on your interests and past interactions on our website.
We protect your privacy and want to be open about how we use cookies. You can read more about our privacy policy to gain a deeper understanding of how we handle your personal data. If you do not want us to use cookies, you can change your settings at any time. By continuing to use our website, you agree to our use of cookies and agree to our privacy policy.
