Artigo em periódico

Formal Verification of Cyber-Physical Systems Using ESBMC: A Case Study in Industrial Control Systems

Iury Valente de Bessa, Lucas Carvalho Cordeiro, Eddie Batista de Lima Filho, Renan Landau Paiva de Medeiros

2023 • IEEE Transactions on Industrial Informatics • 28 citações

Resumo

This paper presents a comprehensive approach for formal verification of cyber-physical systems using ESBMC (Efficient SMT-Based Context-Bounded Model Checker). We demonstrate the effectiveness of our methodology through a detailed case study in industrial control systems, showing how model checking can detect critical vulnerabilities and ensure system safety. The proposed approach combines formal methods with practical validation in real industrial scenarios.

Autoria

Autores (2)

Iury Valente de Bessa

Co-líder atual do e-Controls

Lucas Carvalho Cordeiro

Docente da linha de pesquisa

projeto relacionado

Projeto Relacionado

Samsung-UFAM Project for Education and Research (SUPER)

Programa de capacitação e pesquisa em áreas estratégicas de eletrônica de potência, sistemas de controle e indústria 4.0, em parceria com Samsung Electronics.

Em Andamento

palavras-chave