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 | D2 Article in professional manuals or guides or professional information systems or text book material |
Publication series
| Series | VTT Research Highlights |
|---|---|
| Number | 10 |
| ISSN | 2242-1173 |
Fingerprint
Dive into the research topics of 'Error-free critical software through formal model checking'. Together they form a unique fingerprint.Research output
- 1 Book (editor)
-
Research highlights in safety and security
Rouhiainen, V. (Editor), 2013, Espoo: VTT Technical Research Centre of Finland. 134 p. (VTT Research Highlights; No. 10).Research output: Book/Report › Book (editor) › Professional
Open Access
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver