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


    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 publicationProceedings of the Man-Technology-Organisation (MTO) Sessions
    Subtitle of host publicationEnlarged Halden programme group meeting
    Place of PublicationHalden
    PublisherInstitutt for Energiteknikk
    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


    ConferenceEnlarged Halden Programme Group Meeting, EHPG 2013
    Abbreviated titleEHPG 2013


    • Model checking
    • requirements
    • I&C systems


    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