Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.

Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.

Devido à alta complexidade dos Sistemas Produtivos, o projeto de sistemas de controle adequados às exigências normativas vinculadas aos processos industriais que são executados, e seu impacto no ser humano e no ambiente demandam a necessidade do desenvolvimento de soluções de controle que sejam...

Full description

Bibliographic Details
Main Author: Rodrigo César Ferrarezi
Other Authors: Diolino Jose dos Santos Filho
Language:Portuguese
Published: Universidade de São Paulo 2014
Subjects:
Framework
GHENeSys
Model checking
SIS de prevenção e mitigação
Sistemas de controle
Verificação formal
Formal verification
Model Checking
Prevention and mitigation
SIS
Online Access:http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/

Internet

http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/

Similar Items