Você está aqui: Página Inicial / Pós-Graduação / Informática / Temas de Pesquisa / Desenvolvimento Baseado em Modelos

Desenvolvimento Baseado em Modelos

Prof. Dr, Leandro Dias e Prof. Dr. Álvaro Sobrinho

Descrição:

Especificações de requisitos de software, quando descritas em linguagem natural, são propensas a ambiguidades, e, consequentemente, podem resultar em enganos durante o processo de desenvolvimento. Enganos podem ser resultados de especificações não rigorosas, que deixam margem para opiniões e especulações (indesejado principalmente em sistemas críticos de segurança).  Neste contexto, especificações formais são úteis para aumentar a compreensão e precisão do software em desenvolvimento. Além disso, modelos formais podem ser reutilizados durante outras atividades do processo de desenvolvimento, tais como codificação e teste. Neste projeto, o objetivo é a definição de métodos, técnicas e ferramentas para auxiliar projetistas durante o processo de desenvolvimento de software. 

Referências: 

  1. Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, Second Edition, MIT Press, ISBN 978-0-262-53381-2, 2017.
  1. Sobrinho, A., da Silva, L.D., Perkusich, A. et al. Formal modeling of biomedical signal acquisition systems: source of evidence for certification. Software Systems Modeling, 2017. https://link.springer.com/article/10.1007/s10270-017-0616-7