[QUALIFICAÇÃO DE DOUTORADO] Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Design of Real-Time and Embedded Systems

Local: 
Sala 1B132, Bloco 1B
Data de Defesa: 
20/03/2017 - 13:00
Banca examinadora: 
Prof. Dr. Michel dos Santos Soares (orientador) - DC/UFS
Prof. Dr. Carlos Eduardo Pereira (coorientador) - ECE/UFRGS
Prof. Dr. Stéphane Julia - FACOM/UFU
Prof. Dr. Marco Aurélio Wehrmeister - DAINF/UTFPR

Os sistemas de tempo-real e embarcados estão cada vez mais onipresentes nas atividades humanas e a confiabilidade e corretude com que estes sistemas são desenvolvidos tem impacto predomintante em seu funcionamento e no correto controle de suas atividades. A corretude destes sistemas relaciona-se não apenas a correta execução computacional em si, mas também a quão confiavelmente e efetivamente os sistemas de tempo-real recebem e respondem a estimulos externos. As atividades que compõe o processo de desenvolvimento destes sistemas como, por exemplo, a elicitação, documentação, análise, classificação, rastreabilidade de requisitos e o design de sistemas são difícies, uma vez que lidam com complexos e diversificados domínios e devem retratar as características embarcadas, funcionais e não funcionais que refletem o domínio do problema. Sendo assim, a pesquisa proposta objetiva o contribuir para o desenvolvimento dos sistemas de tempo-real e embarcados mais especificamente para os processos da Engenharia de Requisitos e de Design de Sistemas. Nesta pesquisa, o profile MARTE da UML será empregado de maneira combinada com diagramas da SysML objetivando a elaboração de uma metodologia apta aos processos de análise, especificação, modelagem e design de sistemasnodomíniotempo-realeembarcado. Ametodologiapropostabaseia-seemabordagens da Model-Based Engineering e contempla relevantes aspectos para os processos da Engenharia de Requisitos e Design de Sistemas no domínio proposto e, ainda, apresenta a formalização das especificações por meio do uso da VLS na definição de restrições, anotações e estereótipos nos modelos elaborados. A metodologia proposta é empregada, ao longo do texto, em diversificados estudos de casos de sistemas de tempo-real e embarcado objetivando apresentar a sua capacidade representativa nos domínios de estudo.