Sistemas Críticos

Código:

EIC0073

Sigla:

SCRI

Áreas Científicas
Classificação	Área Científica
OFICIAL	Automação Industrial

Ocorrência: 2006/2007 - 2S

Ativa?	Sim
Unidade Responsável:	Departamento de Engenharia Mecânica
Curso/CE Responsável:	Mestrado Integrado em Engenharia Informática e Computação

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
LEIC	0	Plano de estudos de transição para 2006/07	4	-	6	56	162
MIEIC	18	Plano de estudos oficial a partir de 2006/07	4	-	6	56	162
		Plano de estudos de transição para 2006/07	4	-	6	56	162

Língua de trabalho

Português

Objetivos

Abrir os horizontes dos Engenheiros Informáticos, especialistas em desenvolvimento de software, para a área dos Sistemas Críticos.
Abordar noções ligadas à cultura da Segurança, fundamentais para o ciclo de vida de desenvolvimento de Sistemas Críticos.

Programa

- Introdução aos Sistemas Críticos. Taxonomia. Apresentação de casos de estudo relevantes em termos de segurança.
- Critérios de segurança.
- Análise de situações perigosas ("hazards") e Análise de risco.
- Desenvolvimento de Sistemas Críticos. ("safety-critical").
- Introdução às Arquitecturas para Tolerancia a Falhas em Hardware.
- Software para Sistemas Críticos:
- Gestão de qualidade para Sistemas Críticos (Prevenção de falhas)
- Metodologias de análise da confiança no funcionamento (Previsão de falhas).
- Verificação, Validação, Teste e Certificação (Supressão de falhas).
- Tolerancia a Falhas em Software:
- Recuperação para trás vs Recuperação para a frente
- Técnicas, Linguagens e Ambientes de Programação
- Diversidade de Concepção/Implementação
- Diversidade de Dados
- Diversidade Temporal
- Formas de Adjudicação de Resultados
- Observações e conclusões.

Métodos de ensino e atividades de aprendizagem

Aulas teóricas de exposição lectiva com apresentação de casos de estudo ilustrativos de Sistemas Críticos relevantes.

Aulas teórico-práticas para realização de pequenos trabalhos praticos de concepção e implementação de arquitecturas de software para tolerência a falhas.

Aulas teórico-práticas de modelação e análise da confiança no funcionamento de Sistemas Críticos.

Tipo de avaliação

Avaliação distribuída com exame final

Obtenção de frequência

Condições regulamentares.

Fórmula de cálculo da classificação final

2 Trabalhos práticos (concepção e implementação de arquitecturas de software para tolerência a falhas): 20% + 20%.
Exame escrito (prova sem consulta com a duração de 2h30m): 60%.