Abstract
| Original language | English |
|---|---|
| Title of host publication | Research highlights in safety and security |
| Place of Publication | Espoo |
| Publisher | VTT Technical Research Centre of Finland |
| Pages | 72-73 |
| ISBN (Electronic) | 978-951-38-8130-6 |
| ISBN (Print) | 978-951-38-8129-0 |
| Publication status | Published - 2013 |
| MoE publication type | Not Eligible |
Publication series
| Series | VTT Research Highlights |
|---|---|
| Number | 10 |
| ISSN | 2242-1173 |
Fingerprint
Cite this
}
Error-free critical software through formal model checking. / Valkonen, Janne; Antti Pakonen, Antti; Lahtinen, Jussi.
Research highlights in safety and security. Espoo : VTT Technical Research Centre of Finland, 2013. p. 72-73 (VTT Research Highlights; No. 10).Research output: Chapter in Book/Report/Conference proceeding › Chapter or book article › Professional
TY - CHAP
T1 - Error-free critical software through formal model checking
AU - Valkonen, Janne
AU - Antti Pakonen, Antti
AU - Lahtinen, Jussi
PY - 2013
Y1 - 2013
N2 - Ensuring the correct functioning of automation systems in safety-critical industries is essential for the safety of people and the environment. Model checking is a formal method for exhaustive system analysis covering all possible system behaviours. It complements and has several advantages over traditional methods such as testing and simulation, which are based on exercising a limited set of test cases, thus leaving a large share of possible error scenarios outside the scope of examination.
AB - Ensuring the correct functioning of automation systems in safety-critical industries is essential for the safety of people and the environment. Model checking is a formal method for exhaustive system analysis covering all possible system behaviours. It complements and has several advantages over traditional methods such as testing and simulation, which are based on exercising a limited set of test cases, thus leaving a large share of possible error scenarios outside the scope of examination.
M3 - Chapter or book article
SN - 978-951-38-8129-0
T3 - VTT Research Highlights
SP - 72
EP - 73
BT - Research highlights in safety and security
PB - VTT Technical Research Centre of Finland
CY - Espoo
ER -