Abstract
| Original language | English |
|---|---|
| Title of host publication | Proceedings of 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2010 |
| Publisher | American Nuclear Society ANS |
| Pages | 1729-1740 |
| Volume | 3 |
| ISBN (Electronic) | 978-0-8944-8084-3 |
| ISBN (Print) | 978-1-6178-2266-7 |
| Publication status | Published - 2010 |
| MoE publication type | A4 Article in a conference publication |
| Event | 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC-HMIT 2010 - Las Vegas, Nevada, United States Duration: 7 Nov 2010 → 11 Nov 2010 |
Conference
| Conference | 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC-HMIT 2010 |
|---|---|
| Abbreviated title | NPIC-HMIT 2010 |
| Country | United States |
| City | Las Vegas, Nevada |
| Period | 7/11/10 → 11/11/10 |
Fingerprint
Keywords
- Model checking
- verification & validation
- digital I&C
Cite this
}
Integrating model checking with safety-critical I&C software design. / Pakonen, Antti; Lahtinen, Jussi; Kuutti, Veli-Pekka; Karhela, Tommi.
Proceedings of 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2010. Vol. 3 American Nuclear Society ANS, 2010. p. 1729-1740.Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
TY - GEN
T1 - Integrating model checking with safety-critical I&C software design
AU - Pakonen, Antti
AU - Lahtinen, Jussi
AU - Kuutti, Veli-Pekka
AU - Karhela, Tommi
N1 - Project code: 34533
PY - 2010
Y1 - 2010
N2 - Model checking is a formal method that can be used to verify hardware or software system designs. In order to ease the application of model checking already at the early phases of the system design process, we have been developing a set of tools to automate some of the tasks in the model checking process and guide the modeler in those tasks that still need human interpretation. Our solutions are largely based on the Simantics platform – an open-source development project aimed at the efficient integration of different modeling and simulation tools.
AB - Model checking is a formal method that can be used to verify hardware or software system designs. In order to ease the application of model checking already at the early phases of the system design process, we have been developing a set of tools to automate some of the tasks in the model checking process and guide the modeler in those tasks that still need human interpretation. Our solutions are largely based on the Simantics platform – an open-source development project aimed at the efficient integration of different modeling and simulation tools.
KW - Model checking
KW - verification & validation
KW - digital I&C
M3 - Conference article in proceedings
SN - 978-1-6178-2266-7
VL - 3
SP - 1729
EP - 1740
BT - Proceedings of 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2010
PB - American Nuclear Society ANS
ER -