Abstract
Model checking is a formal and exhaustive computer-aided verification method particularly suitable for I&C functions. A challenge with it is that both requirements and I&C functions must be first transformed into a formal presentation understood by the model checker software. In this paper, we suggest a combination of ontologies and natural language templates as a means to tackle this problem. On this basis, an intelligent text editor can be implemented to guide the user in writing well-formed requirements. Storing templates together with their formal counterparts makes it possible to automatically formalize the requirements for the model checker.
| Original language | English |
|---|---|
| Title of host publication | Enlarged Halden Programme Group Meeting |
| Subtitle of host publication | Proceedings of the Man-Technology-Organisation (MTO) Sessions |
| Place of Publication | Halden, Norway |
| Publication status | Published - 2013 |
| MoE publication type | B3 Non-refereed article in conference proceedings |
| Event | Enlarged Halden Programme Group Meeting, EHPG 2013 - Storefjell, Norway Duration: 10 Mar 2013 → 15 Mar 2013 |
Conference
| Conference | Enlarged Halden Programme Group Meeting, EHPG 2013 |
|---|---|
| Abbreviated title | EHPG 2013 |
| Country | Norway |
| City | Storefjell |
| Period | 10/03/13 → 15/03/13 |
Keywords
- Model checking
- requirements
- I&C systems
Fingerprint Dive into the research topics of 'Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions'. Together they form a unique fingerprint.
Cite this
Tommila, T., Pakonen, A., & Valkonen, J. (2013). Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions. In Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation (MTO) Sessions [Paper C4.13].