Extending the verification coverage for PLC control programs: a functional safety approach (2012)
- Authors:
- USP affiliated authors: SANTOS FILHO, DIOLINO JOSE DOS - EP ; MIYAGI, PAULO EIGI - EP
- Unidade: EP
- DOI: 10.1109/IECON.2012.6389446
- Subjects: CONTROLADORES PROGRAMÁVEIS; SISTEMAS AUTÔNOMOS; DESENVOLVIMENTO DE SOFTWARE (SEGURANÇA)
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: Annual Conference of the IEEE Industrial Electronics Society - IECON 2012
- Status:
- Nenhuma versão em acesso aberto identificada
-
ABNT
SARMENTO, Cleber Alves e SANTOS FILHO, Diolino Jose dos e MIYAGI, Paulo Eigi. Extending the verification coverage for PLC control programs: a functional safety approach. 2012, Anais.. New York: IEEE, 2012. Disponível em: https://doi.org/10.1109/IECON.2012.6389446. Acesso em: 12 abr. 2026. -
APA
Sarmento, C. A., Santos Filho, D. J. dos, & Miyagi, P. E. (2012). Extending the verification coverage for PLC control programs: a functional safety approach. In Proceedings. New York: IEEE. doi:10.1109/IECON.2012.6389446 -
NLM
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. Proceedings. 2012 ;[citado 2026 abr. 12 ] Available from: https://doi.org/10.1109/IECON.2012.6389446 -
Vancouver
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. Proceedings. 2012 ;[citado 2026 abr. 12 ] Available from: https://doi.org/10.1109/IECON.2012.6389446 - Modeling and analysis of the material entry flow system in a pickling line process using petri net
- Resources allocation control in flexible manufacturing systems using the deadlock avoidance method
- Solução de deadlocks em sistemas produtivos considerando uma arquitetura hierárquica modificada de controle
- Proposta de arquitetura do sistema de controle para sistemas produtivos flexíveis
- Design of active holonic fault-tolerant control systems
- Automatic generation of control solution for resource allocation using Petri net model
- Safety control applied to a ventricular assist device
- Ferramenta para projeto e analise de sistemas integrados de manufatura
- Enhanced mark flow graph to control flexible manufacturing systems
- Realização do controle de tarefas de veiculos autônomos de transporte através do mfg estendido com marcas individuais (cd-rom)
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Miyagi-2012-Extending the... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
