O DLAB - Design Lab, explora métodos em Design de Engenharia. A missão é fornecer modelos e insights que ajudem a pesquisadores e profissionais a projetar sistemas, produtos e serviços inovadores, com foco na automação de sistemas.
As áreas de pesquisa abrangem Engenharia de Requisitos, Modelagem Formal, Projeto e Comunicação, bem como Verificação Formal. Utilizamos abordagens sofisticadas, como Redes de Petri e Inteligência Artificial, para garantir precisão e inovação em nossas investigações.
Nossa proposta é fornecer uma ponte entre a teoria acadêmica e a aplicação prática, com o objetivo de fornecer suporte a integração de sistemas, facilitando a tarefas de automação, combinando o rigor acadêmico com ferramentas e recursos pragmáticos. Buscamos soluções que mantêm a integridade formal e a eficiência prática.
Essa coleção de APIs e ferramentas desenvolvidas e curadas no laboratório, auxiliam as etapas do design e implementação, garantindo inovação e precisão.