Modular plant model synthesis from behavior traces and temporal properties

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

  • Luleå University of Technology
  • St. Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO)

Abstract

Reliability of industrial automation software, which is usually ensured with testing and simulation, can be improved using formal analysis and, in particular, the technique of model checking. In model checking, considering the closed-loop composition of the plant model and the controller model allows checking a larger class of properties than in the more traditional open-loop case, where the model of the controller is verified alone. Constructing the formal model of the plant automatically may significantly reduce human workload and mitigate the human factor issue. Commonly, complex industrial plants and controllers have modular structure, and thus the problem of automatic construction of a modular plant model is important. This paper proposes two techniques which extend an earlier proposed method of monolithic plant model construction to the modular case.

Details

Original languageEnglish
Title of host publicationProceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017
Publication statusPublished - 4 Jan 2018
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Emerging Technologies and Factory Automation - Limassol, Cyprus
Duration: 12 Sep 201715 Sep 2017
Conference number: 22

Publication series

NameProceedings IEEE International Conference on Emerging Technologies and Factory Automation
PublisherIEEE
ISSN (Print)1946-0740
ISSN (Electronic)2379-9560

Conference

ConferenceIEEE International Conference on Emerging Technologies and Factory Automation
Abbreviated titleETFA
CountryCyprus
CityLimassol
Period12/09/201715/09/2017

Download statistics

No data available

ID: 18791295