Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions

Teemu Tommila, Antti Pakonen, Janne Valkonen

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

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 languageEnglish
Title of host publicationEnlarged Halden Programme Group Meeting
Subtitle of host publicationProceedings of the Man-Technology-Organisation (MTO) Sessions
Place of PublicationHalden, Norway
Publication statusPublished - 2013
MoE publication typeB3 Non-refereed article in conference proceedings
EventEnlarged Halden Programme Group Meeting, EHPG 2013 - Storefjell, Norway
Duration: 10 Mar 201315 Mar 2013

Conference

ConferenceEnlarged Halden Programme Group Meeting, EHPG 2013
Abbreviated titleEHPG 2013
CountryNorway
CityStorefjell
Period10/03/1315/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].