Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/22903
Título: | A systematized approach for obtaining a dependable structured specification for an industrial automation system |
Autor(es): | Machado, José Mendes Seabra, Eurico |
Palavras-chave: | Dependable Controllers design Formal Verification GEMMA SFC Industrial automation systems Dependable Controllers Design Formal Verification |
Data: | 2012 |
Editora: | IEEE |
Revista: | IEEE International Conference on Industrial Informatics (INDIN) |
Citação: | Machado, José; Seabra, Eurico. A Systematized Approach for Obtaining a Dependable Structured Specification for an Industrial Automation System, Trabalho apresentado em IEEE 10th International Conference on Industrial Informatics, In Proceedings of IEEE 10th International Conference on Industrial Informatics , Beijing, 2012. |
Resumo(s): | This paper is focused on one of the majors problems that a designer, of an automation system controller, must solve that is related with the correct synchronization between different parts of the controller specification when this specification obeys at a previous defined structure. If this synchronization is not done according some rules, and taking some aspects in consideration, some dependability aspects, concerning the desired behavior for the system, may not be accomplished. More specifically, it is shown, in the paper, a systematized approach that consists, first, in using the GEMMA and the SFC formalisms for the structure and specification of all the system behavior, considering all the stop states and functioning modes of the system and respective synchronization, showed in detail. Secondly, using formal verification as analysis technique, it is guaranteed that a dependable specification has been obtained. A case study is presented to explain the proposed systematic approach. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/22903 |
ISBN: | 9781467303118 |
DOI: | 10.1109/INDIN.2012.6301143 |
ISSN: | 1935-4576 |
Arbitragem científica: | yes |
Acesso: | Acesso restrito UMinho |
Aparece nas coleções: | DEM - Publicações em actas de encontros científicos / Papers in conference proceedings |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
indin_2012 gemma.pdf Acesso restrito! | 451,14 kB | Adobe PDF | Ver/Abrir |