Resumo
Sistemas ciberfísicos críticos atuais são caracterizados por automação, poder computacional, comunicação e integração estrutural e funcional crescentes. Esses sistemas envolvem unidades de processamento e armazenamento de informação, componentes mecânicos e elétricos, sensores, atuadores, e redes de comunicação. Nessa integração, o software é a parte dominante. Duas preocupações recorrent…