Saltar para:
Logótipo
This page in english Ajuda Autenticar-se
Formação regular da Biblioteca |fevereiro a maio
Você está em: Início > PDEEC0058
Autenticação




Mapa das Instalações
Edifício A (Administração) Edifício B (Aulas) - Bloco I Edifício B (Aulas) - Bloco II Edifício B (Aulas) - Bloco III Edifício B (Aulas) - Bloco IV Edifício C (Biblioteca) Edifício D (CICA) Edifício E (Química) Edifício F (Minas e Metalurgia) Edifício F (Minas e Metalurgia) Edifício G (Civil) Edifício H (Civil) Edifício I (Electrotecnia) Edifício J (Electrotecnia) Edifício K (Pavilhão FCNAUP) Edifício L (Mecânica) Edifício M (Mecânica) Edifício N (Garagem) Edifício O (Cafetaria) Edifício P (Cantina) Edifício Q (Central de Gases) Edifício R (Laboratório de Engenharia do Ambiente) Edifício S (INESC) Edifício T (Torre do INEGI) Edifício U (Nave do INEGI) Edifício X (Associação de Estudantes)

Software Fiável e Concorrente

Código: PDEEC0058     Sigla: RCS

Áreas Científicas
Classificação Área Científica
OFICIAL Automação, Controlo e Sistemas de Produção Ind.

Ocorrência: 2010/2011 - 2S

Ativa? Sim
Unidade Responsável: Electrónica e Sistemas Digitais
Curso/CE Responsável: Programa Doutoral em Engenharia Electrotécnica e de Computadores

Ciclos de Estudo/Cursos

Sigla Nº de Estudantes Plano de Estudos Anos Curriculares Créditos UCN Créditos ECTS Horas de Contacto Horas Totais
PDEEC 5 Plano de estudos oficial a partir de 2007/08 1 - 7,5 70 200

Docência - Horas

Teóricas: 3,00
Tipo Docente Turmas Horas
Teóricas Totais 1 3,00
Luis Miguel Rosário da Silva Pinho 1,50
Mário Jorge Rodrigues de Sousa 1,50

Língua de trabalho

Inglês

Objetivos

O software é cada vez mais o componente mais complexo de qualquer sistema embarcado com requisitos de tempo real. A correcção do seu desempenho é da maior importância, tanto em termos de comportamento funcional e não funtional e da correção da própria especificação. Software embarcado em tempo real também é inerentemente concorrente. Aplicações de tempo real embarcado interage com o mundo externo (pessoas, carros, robôs, esteiras transportadoras, aviões, etc) em situações que são inerentemente concorrentes. Simultaneamente, plataformas embarcadas estão a seguir a tendência geral de mulitcore multiprocessador. Lidar com a natureza do sistema e da arquitetura da plataforma na semântica do programa contribui para uma aplicação mais legível, sustentável e confiável.

No entanto, a concorrência e paralelismo traz uma série de novos problemas e desafios. Garantir a correta especificação e comportamento do software concorrente / paralelo depende da integração de vários aspectos do seu desenvolvimento, a partir do processo de desenvolvimento de software, para as ferramentas (linguagens de programação, sistemas operativos, compiladores, ...) utilizados no seu desenvolvimento.

Este curso irá, portanto, apresentar temas selecionados para o correto desenvolvimento de software concorrente confiável. Após a conclusão deste curso, os alunos deverão ser capazes de compreender e aplicar os processos, métodos e ferramentas para implementar soluções de software para problemas paralelos, em tempo real, com requisitos de confiabilidade.

Programa

Confiabilidade de software
- Conceitos Básicos e Taxonomia (Confiabilidade, disponibilidade, tolerância a falhas, ...)
- Desenvolvimento de Software de Segurança Crítica (análise de riscos e de 'hazards', normas relevantes)
- Métodos de obtenção de software confiável (Tolerância e Prevenção de Falha)
- Métodos de verificação e validação de confiabilidade de software
simultaneidade
- Programação Concorrente: limitações dos modelos comuns
- específicas / línguas apropriada para sistemas de tempo real e embutidos (Java, Ada, Erlang, ...)
- Restringindo a concorrência
- Questões de concorrência em Multiprocessadores

Métodos de ensino e atividades de aprendizagem

O curso será baseado essencialmente em palestras acrescidas de seminários de potencias convidado(s) nos tópicos específicos. As palestras seguirão um estilo interativo.

Tipo de avaliação

Avaliação distribuída sem exame final

Componentes de Avaliação

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

Provas e trabalhos especiais

Os alunos deverão apresentar três seminários, onde cada um irá discutir um artigo selecionado.
Recomendar Página Voltar ao Topo
Copyright 1996-2019 © Faculdade de Engenharia da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2019-04-23 às 19:35:16 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais