Abordagem sistemática para o controlo seguro de sistemas aeroespaciais

A verificação formal do comportamento de sistemas tempo-real é uma tarefa complexa, por várias razões. Há múltiplos trabalhos desenvolvidos na área de verificação formal, por model-checking de sistemas tempo-real, sendo que diversos softwares foram desenvolvidos para o efeito. Um dos problemas mais...

Full description

Bibliographic Details
Main Author: Borges, Paulo André Mendes (author)
Other Authors: Machado, José (author), Ferreira, João Amaro Oliveira (author), Campos, J. Creissac (author), Villani, Emilia (author)
Format: conferencePaper
Language:por
Published: 2010
Subjects:
Controladores seguros
Sistemas tempo-real
Sistemas embebidos
Verificação formal
Formalismos de especificação do comando
Safe controllers
Real-time systems
Embedded systems
Formal verification
Specification formalisms
Online Access:http://hdl.handle.net/1822/38816
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/38816

Internet

http://hdl.handle.net/1822/38816

Similar Items