PMR5020 - Modelagem do Projetos de Sistemas (2022)

A disciplina trata dos processos sistêmicos de design em Engenharia, especialmente da modelagem formal de sistemas mecatrônicos. O domínio de aplicação seriam os sistemas automatizados em geral, tendo como base o Model-Based Systems Engineering (MBSE) e os métodos de Engenharia de Requisitos e design matching.  A formalização inclui a fase inicial de requisitos. Os métodos de verificação - em se tratando de sistemas automatizados - são associados a workflow management e redes de Petri.