Abstract
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.
| 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
Valkonen, J., Antti Pakonen, A., & Lahtinen, J. (2013). Error-free critical software through formal model checking. In Research highlights in safety and security (pp. 72-73). VTT Technical Research Centre of Finland. VTT Research Highlights, No. 10 http://www.vtt.fi/inf/pdf/researchhighlights/2013/R10.pdf