Showing 1–2 of 2 results for author: Niemistö, H
-
Applying graph matching techniques to enhance reuse of plant design information
Authors:
Miia Rantala,
Hannu Niemistö,
Tommi Karhela,
Seppo Sierla,
Valeriy Vyatkin
Abstract:
This article investigates how graph matching can be applied to process plant design data in order to support the reuse of previous designs. A literature review of existing graph matching algorithms is performed, and a group of algorithms is chosen for further testing. A use case from early phase plant design is presented. A methodology for addressing the use case is proposed, including graph simpl…
▽ More
This article investigates how graph matching can be applied to process plant design data in order to support the reuse of previous designs. A literature review of existing graph matching algorithms is performed, and a group of algorithms is chosen for further testing. A use case from early phase plant design is presented. A methodology for addressing the use case is proposed, including graph simplification algorithms and node similarity measures, so that existing graph matching algorithms can be applied in the process plant domain. The proposed methodology is evaluated empirically on an industrial case consisting of design data from several pulp and paper plants.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Requirement verification in simulation-based automation testing
Authors:
Eero Siivola,
Seppo Sierla,
Hannu Niemistö,
Tommi Karhela,
Valeriy Vyatkin
Abstract:
The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. There is a need for verification methods that scale better than formal verification methods and which are more exact than testing. Simulation-based runtime verification is proposed as such a method, and an application of M…
▽ More
The emergence of the Industrial Internet results in an increasing number of complicated temporal interdependencies between automation systems and the processes to be controlled. There is a need for verification methods that scale better than formal verification methods and which are more exact than testing. Simulation-based runtime verification is proposed as such a method, and an application of Metric temporal logic is presented as a contribution. The practical scalability of the proposed approach is validated against a production process designed by an industrial partner, resulting in the discovery of requirement violations.
△ Less
Submitted 25 April, 2017; v1 submitted 8 February, 2016;
originally announced February 2016.