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

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 verificatio...

Full description

Saved in:
Bibliographic Details
Published in:IOP conference series. Materials Science and Engineering 2016-01, Vol.147 (1), p.12050
Main Authors: Pacheco, R, Gonzalez, L, Intriago, M, Machado, J, Prisacaru, G, Olaru, D
Format: Article
Language:English
Subjects:
Decisions
Software
Software development tools
Verification
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1757-8981
1757-899X
DOI:10.1088/1757-899X/147/1/012050