Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/53621
Título: | Formal verification considering a systematic modeling approach for function blocks |
Autor(es): | Machado, José Galvão, Joel Maurício Rocha Fernandes, Alexandre |
Palavras-chave: | Software engineering Formal verification Automation Software tools Real-time systems |
Data: | Out-2017 |
Editora: | Springer |
Revista: | Journal of the Brazilian Society of Mechanical Sciences and Engineering |
Resumo(s): | Formal verification of automation systems controller software is a complex task. This happens mainly because this kind of systems need to be programmed by highly skilled designers as results obtained from formal verification are highly dependent of the "quality'' of the developed models. In this paper, is explained and presented an approach for modeling a series of function blocks from IEC 61 131-3 standard and, in the same context, is proposed an approach for developing the respective Timed Automata model for formal verification purposes, by model-checking, using UPPAAL model-checker. Some interesting results are achieved and the proposed approach is user friendly. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/53621 |
DOI: | 10.1007/s40430-017-0893-7 |
ISSN: | 1678-5878 |
e-ISSN: | 1806-3691 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito autor |
Aparece nas coleções: | CT2M - Artigos em revistas de circulação internacional com arbitragem científica |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
RI_WoS_22.pdf Acesso restrito! | 988,33 kB | Adobe PDF | Ver/Abrir |