Using model checking for interlocking software verification

Antti Pakonen; Juha Turunen

Using model checking for interlocking software verification

Antti Pakonen
, Juha Turunen

Mipro Oy

Research output: Contribution to journal › Article › Professional

114 Downloads (Pure)

Abstract

The application of different verification methods is a prominent part of the development process for safety related systems. Some methods are suitable for the early lifecycle phases, while others are best used later. In the end, the most significant thing is that all the lifecycle phases can be verified in a sufficient manner and using the method best suited for the purpose. At Mipro, we have found that formal verification increases diversity in order to achieve the best possible verification results and improve the quality and safety of the deliveries.

Original language	English
Pages (from-to)	41-47
Journal	SIGNAL+DRAHT
Volume	115
Issue number	9
Publication status	Published - Sept 2023
MoE publication type	D1 Article in a trade journal

Access to Document

41_47_Pakonen_TurunenFinal published version, 1.42 MB

Cite this

@article{16662978e21540c9a7ef0289371ae212,

title = "Using model checking for interlocking software verification",

abstract = "The application of different verification methods is a prominent part of the development process for safety related systems. Some methods are suitable for the early lifecycle phases, while others are best used later. In the end, the most significant thing is that all the lifecycle phases can be verified in a sufficient manner and using the method best suited for the purpose. At Mipro, we have found that formal verification increases diversity in order to achieve the best possible verification results and improve the quality and safety of the deliveries. ",

author = "Antti Pakonen and Juha Turunen",

year = "2023",

month = sep,

language = "English",

volume = "115",

pages = "41--47",

journal = "SIGNAL+DRAHT",

issn = "0037-4997",

number = "9",

}

TY - JOUR

T1 - Using model checking for interlocking software verification

AU - Pakonen, Antti

AU - Turunen, Juha

PY - 2023/9

Y1 - 2023/9

N2 - The application of different verification methods is a prominent part of the development process for safety related systems. Some methods are suitable for the early lifecycle phases, while others are best used later. In the end, the most significant thing is that all the lifecycle phases can be verified in a sufficient manner and using the method best suited for the purpose. At Mipro, we have found that formal verification increases diversity in order to achieve the best possible verification results and improve the quality and safety of the deliveries.

AB - The application of different verification methods is a prominent part of the development process for safety related systems. Some methods are suitable for the early lifecycle phases, while others are best used later. In the end, the most significant thing is that all the lifecycle phases can be verified in a sufficient manner and using the method best suited for the purpose. At Mipro, we have found that formal verification increases diversity in order to achieve the best possible verification results and improve the quality and safety of the deliveries.

UR - https://www.eurailpress.de/magazine.html

M3 - Article

SN - 0037-4997

VL - 115

SP - 41

EP - 47

JO - SIGNAL+DRAHT

JF - SIGNAL+DRAHT

IS - 9

ER -

Using model checking for interlocking software verification

Abstract

Access to Document

Other files and links

Fingerprint

Cite this