Activities per year
This report is a delivery to The Danish Government’s railway authority, Traﬁkstyrelsen, as a part of the Public Sector Consultancy service oﬀered by the Technical University of Denmark. The purpose of the report is to give the reader an insight into the stateof-the-art of formal methods. The reader is assumed to have some knowledge about software development, but not on formal methods. The background for the railway authorities’ interest in formal methods is the fact that during the next decade a total renewal of the Danish signalling infrastructure is going to take place. Central parts of the new systems will be software components that must fulﬁll strong safety requirements: in order to get the software certiﬁed at the highest Safety Integrity Levels of the European CENELEC standards for railway applications, the software providers are expected to use formal methods.
|Place of Publication
|Kgs. Lyngby, Denmark
|Number of pages
|Published - 2010
Bibliographical noteThis report is a delivery to The Danish Government's railway authority, Trafikstyrelsen, as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.
- Formal methods
FingerprintDive into the research topics of 'An Introduction to Formal Methods for the Development of Safety-critical Applications'. Together they form a unique fingerprint.
- 1 Public sector consultancy
Anne Elisabeth Haxthausen (Consultant)1 Sept 2010
Activity: Public and private sector consultancy › Public sector consultancy