Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/53632

TitleIssues to be considered on obtaining plant models for formal verification purposes
Author(s)Pacheco, R.
Gonzalez, L.
Intriago, M.
Machado, José
Prisacaru, G.
Olaru, D.
Issue date2016
PublisherIOP Publishing Ltd
JournalIOP Conference Series-Materials Science and Engineering
Abstract(s)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.
TypeConference paper
URIhttp://hdl.handle.net/1822/53632
DOI10.1088/1757-899X/147/1/012050
ISSN1757-8981
Peer-Reviewedyes
AccessRestricted access (UMinho)
Appears in Collections:CT2M - Publicações em atas de encontros científicos / Papers in conference proceedings

Files in This Item:
File Description SizeFormat 
CI_132.pdf
  Restricted access
557,08 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID