Issues to be considered on obtaining plant models for formal verification purposes

7th International Conference on Advanced Concepts in Mechanical Engineering

Pacheco, R.^1 ; Gonzalez, L.^1 ; Intriago, M.^2 ; Machado, J.^1,2 ; Prisacaru, G.^3 ; Olaru, D.^3

Mechanical Engineering Department, University of Minho, Guimarães, Portugal^1

MEtRICs Research Center, University of Minho, Guimarães, Portugal^2

Mechanical Engineering, Mechatronics and Robotics Department, Gheorghe Asachi Technical University of Iasi, Iasi, Romania^3

关键词: Analysis techniques;    Dependable softwares;    Industrial controllers;    Level of abstraction;    Mechatronic systems;    Plant model;    Powerful software tools;    Verification analysis;   

Others  :  https://iopscience.iop.org/article/10.1088/1757-899X/147/1/012050/pdf
DOI  :  10.1088/1757-899X/147/1/012050

来源: IOP

【 摘 要 】

The development of dependable software for mechatronic systems can be a very complex and hard task. For facilitating the obtaining of dependable software for industrial controllers, some powerful software tools and analysis techniques can be used. Mainly, when using simulation and formal verification analysis techniques, it is necessary to develop plant models, in order to describe the plant behavior of those systems. However, developing a plant model implies that designer takes his (or her) decisions concerning granularity and level of abstraction of models; approach to consider for modeling (global or modular); and definition of strategies for simulation and formal verification tasks. This paper intends to highlight some aspects that can be considered for taking into account those decisions. For this purpose, it is presented a case study and there are illustrated and discussed very important aspects concerning above exposed issues.