Sistemas Críticos

Código:

PRODEI022

Sigla:

SC

Áreas Científicas
Classificação	Área Científica
OFICIAL	Arquitecturas de Comp., Sist. Operativos e Redes

Ocorrência: 2009/2010 - 2S

Ativa?	Sim
Unidade Responsável:	Automação, Controlo e Sistemas de Produção Industrial
Curso/CE Responsável:	Programa Doutoral em Engenharia Informática

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
PRODEI	3	Plano de estudos Oficial	1	-	7,5	70	200

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

Cap. 1
- Introdução aos Sistemas Críticos.
- Taxonomia.
- Apresentação de casos de estudo relevantes em termos de segurança.
- Critérios de segurança.

Cap 2.
- Desenvolvimento de Sistemas Críticos. ("safety-critical").
- Análise de situações perigosas ("hazards")
- Análise de risco.

Cap. 3
- Meios de obtenção de Confiança no funcionamento: Prevenção, e Tolerância a falhas
- Prevenção de falhas
- Gestão de qualidade para Sistemas Críticos
- Ambientes de Desenvolvimento
- Linguagens de programação
- 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


Cap. 3
- Meios de verificação e validação de Confiança no funcionamento:
- Fiabilidade de Software (Previsão de falhas, Modelos de Erros, Modelos de Previsão de Falhas)
- Verificação, Validação, Teste e Certificação (Supressão de falhas).

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

Componentes de Avaliação

Descrição	Tipo	Tempo (Horas)	Peso (%)	Data Conclusão
Participação presencial (estimativa)	Participação presencial	42,00
	Total:	-	0,00

Obtenção de frequência

Nota mínima de 8 valores na classificação distribuída.

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%.

Provas e trabalhos especiais

Os alunos deverão elaborar dois trabalhos ao longo da disciplina. O primeiro trabalho versará as arquitecturas de software tolerantes a falhas, e o sgundo a verificação e validação de software.

Avaliação especial (TE, DA, ...)

Trabalhadores estudantes não necessitam de acompanhar presencialmente a disciplina. Têm no entanto de efectuar os mesmos trabalhos que os alunos ordinários, sendo estes entregues nas mesmas datas.

Melhoria de classificação

Melhoria de classificação final: poderá ser feita por exame na epoca de recurso.