Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Descrição

Métodos quantitativos para a programação ciber-física: Uma abordagem precisa para racicionar sobre imprecisões na computação ciber-física

Graças aos avanços em potência computacional e miniaturização, o software está cada vez mais incorporado em infraestruturas e processos industriais para aumentar a eficiência, segurança e produção. Neste contexto, o software é agora qualificado como ciberfísico, para enfatizar a sua interação estreita com processos físicos (tais como velocidade, movimento e temperatura) e para assinar uma mudança das práticas habituais de engenharia de software para uma visão mais multifacetada que combina ciência da computação, teoria de controlo e análise. Tem havido progressos importantes no desenvolvimento de bases matemáticas para sistemas ciberfísicos. Os resultados existentes assumem tipicamente a forma de uma álgebra de processo híbrida, que acrescenta a noção de uma equação diferencial a uma álgebra de processo existente e bem estabelecida. Contudo, o facto de os processos computacionais serem misturados com processos físicos levanta aspectos desafiantes que dificultam gravemente estes resultados como fundamentos para uma disciplina de engenharia de software ciberfísico. Especificamente, estes últimos trazem uma camada inerente de incerteza, devido ao ruído nos sensores e atuadores. Além disso, exigem noções de distância comportamental para comparar realisticamente dois sistemas de forma algébrica e rigorosa. O objectivo deste projecto é, assim, desenvolver as bases matemáticas da programação ciberfísica, tendo em conta os aspetos quantitativos discutidos acima: incerteza e distância comportamental.

Detalhes

Mais Informação

  • Acrónimo

    IBEX
  • Início

    01 janeiro 2022
  • Orçamento global

    249.514,00 €
  • Financiado por

Equipa
001

Centros Associados

HASLab

Centro

Laboratório de Software Confiável