Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/53632
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Pacheco, R. | por |
dc.contributor.author | Gonzalez, L. | por |
dc.contributor.author | Intriago, M. | por |
dc.contributor.author | Machado, José | por |
dc.contributor.author | Prisacaru, G. | por |
dc.contributor.author | Olaru, D. | por |
dc.date.accessioned | 2018-03-28T10:34:28Z | - |
dc.date.issued | 2016 | - |
dc.identifier.issn | 1757-8981 | - |
dc.identifier.uri | https://hdl.handle.net/1822/53632 | - |
dc.description.abstract | 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. | por |
dc.language.iso | eng | por |
dc.publisher | IOP Publishing Ltd | por |
dc.rights | restrictedAccess | por |
dc.title | Issues to be considered on obtaining plant models for formal verification purposes | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
oaire.citationIssue | 1 | por |
oaire.citationVolume | 147 | por |
dc.date.updated | 2018-03-24T11:11:53Z | - |
dc.identifier.doi | 10.1088/1757-899X/147/1/012050 | por |
dc.description.publicationversion | info:eu-repo/semantics/publishedVersion | por |
dc.subject.wos | Science & Technology | - |
sdum.export.identifier | 4802 | - |
sdum.journal | IOP Conference Series-Materials Science and Engineering | por |
sdum.conferencePublication | 7TH INTERNATIONAL CONFERENCE ON ADVANCED CONCEPTS IN MECHANICAL ENGINEERING | por |
sdum.bookTitle | 7TH INTERNATIONAL CONFERENCE ON ADVANCED CONCEPTS IN MECHANICAL ENGINEERING | por |
Aparece nas coleções: | CT2M - Publicações em atas de encontros científicos / Papers in conference proceedings |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
CI_132.pdf Acesso restrito! | 557,08 kB | Adobe PDF | Ver/Abrir |