PMR5020 - Modelagem de Projeto de Sistemas (2024)

Introduzir o conceito de design de sistemas mecatrônicos, destinado a sistemas automatizados, incluindo hardware e software, baseado no conceito de Model-Based System Design. Foco na Engenharia de Requisitos, documentação digital e na verificação formal de requisitos e design.  Modelagem e design formal de sistemas de serviço.