Defesa de Tese de Doutorado de Álvaro Alvares de Carvalho César Sobrinho

postado em 13 de dez de 2016 04:50 por Coordenação da Pós-graduação em Computação da UFCG

Candidato(a): Álvaro Alvares de Carvalho César Sobrinho

Título do Trabalho: Um Método para o Desenvolvimento e Certificação de Software de Sistemas Embarcados Baseado em Redes de Petri Coloridas e Casos de Garantia

Orientador(es): 

Angelo Perkusich

Leandro Dias da Silva

 

Data: 22/12/2016

Horário: 14:00:00

Local: Auditório do Embedded

 

Resumo: 

Sistemas embarcados estão presentes em atividades diárias da população em geral, de ambientes domésticos até industriais e governamentais. O uso de sistemas embarcados tem aumentado como resultado, por exemplo, da disseminação da comunicação sem fio, de dispositivos eletrônicos com custos e tamanhos reduzidos, e de software embarcado em equipamentos eletrônicos. Software embarcado pode ser projetado como parte, desde sistemas embarcados simples para o controle de equipamentos domésticos, até sistemas crı́ticos de segurança. Quanto mais complexo um sistema embarcado, maior a probabilidade de ocorrer situações adversas que ofereçam riscos financeiros, fı́sicos, entre outros. Em sistemas embarcados crı́ticos de segurança (e.g., médicos, aviônicos e aeroespaciais), falhas podem resultar em desastres naturais e danos à integridade fı́sica da população. Diante deste cenário, sistemas devem ser desenvolvidos de modo que sejam seguros e eficazes, e que estejam em conformidade com requisitos regulatórios. Portanto, um desafio importante que emerge dessa situação é o desenvolvimento de sistemas de acordo com sua especificação de requisitos, e ao mesmo tempo confiáveis e certificáveis. É no contexto de sistemas embarcados crı́ticos de segurança que se insere esse trabalho. Propõe-se um método para o desenvolvimento e certificação de software desses sistemas. O método é baseado em redes de Petri coloridas (Coloured Petri Nets - CPN) e casos de garantia (assurance cases) representados com a notação estruturada por metas (Goal Structuring Notation - GSN). Conceitos associados com os processos de certificação prescritivo (padrões de processo) e baseado em metas (caracterı́sticas de produto) são integrados durante o processo de desenvolvimento. Além disso, a definição e rastreabilidade de requisitos regulatórios e especı́ficos do produto, juntamente com a verificação de conformidade com requisitos regulatórios, é realizada por meio de casos de garantia. Por fim, neste trabalho também é apresentado um estudo de caso sobre um sistema de Eletrocardiografia (ECG) configurado como um monitor cardı́aco. Esse estudo de caso serve como cenário de implementação e avaliação experimental do método.

 

Banca Examinadora: 

(Membros Internos)

Kyller Costa Gorgônio 

Hyggo Oliveira Almeda

(Membros Externos)

José Reinaldo Silva, Universidade de São Paulo

Antônio Marcus Nogueira Lima, UFCG

,

Comments