Os sistemas de controle, que atuam como elementos reguladores e automatizadores, estão na base dos sistemas ciberfísicos (CPSs) que emergem do uso intenso de tecnologias de comunicação e computação. Uma vez que os CPSs se tornaram ubíquos, a sociedade depende deles, aumentando os requisitos de segurança e confiabilidade. De fato, o uso dessas novas tecnologias dinamiza e flexibiliza os processos e disponibiliza uma grande quantidade de dados que podem ser explorados para compensar a inerente complexidade resultante dessa integração. Então, o projeto propõe explorar essa abundância de dados para lidar com a tarefa de projetar sistemas de controle confiáveis para CPSs fornecendo certificados de que esses sistemas cumprem seu papel de forma confiável e segura, além de serem capazes de superar as ameaças cibernéticas que surgem das tecnologias em que se baseiam.