Processos Ambientais

Plano de Ensino da disciplina:

DETECÇÃO DE FALHAS E RISCOS  AMBIENTAIS

Cód. Disciplina: DPA-6223

Professor(es): Sérgio Murilo Maciel Fernandes

EMENTA
Introdução as técnicas de detecção e tolerância a falhas: fundamentos e aplicações. Introdução as redes de nanosensores: fundamentos e aplicações. Avaliação de modelos dos processos ambientais por meio de ferramentas computacionais gráficas.

OBJETIVOS:

Gerais:
A disciplina objetiva apresentar uma visão geral dos mecanismos de tolerância e detecção de falhas e suas possibilidades de aplicação a processos ambientais. A disciplina também objetiva apresentar formas de proteção, gerenciamento e melhoramento dos processos ambientais por meio de redes de nanosensores. Métodos de gerenciamento ambiental por meio de análise de risco também são abordados de modo a permitir que os alunos possam desenvolver as suas pesquisas.  

Específicos:
-  conceituar modelos computacionais gráficos;
-  conceituar as diversas técnicas de redundância e mecanismos de detecção e tolerância a falhas aplicadas a processos ambientais;
-  conceituar redes de nanosensores e suas aplicações ao meio ambiente;
-  conceituar análise de risco e métodos de diagnóstico;
- Permitir que os alunos, de posse dos conceitos anteriormente citados, possam desenvolver pesquisas aplicadas a gestão ambiental.

CONTEÚDO PROGRAMÁTICO:

Conceito de modelos, sistemas e redes. Sistemas dinâmicos. Técnicas de análise de espaço de estados. Conceitos básicos GSPN. Análise de modelos GSPN. Fundamentos de processos estocásticos. Modelos Markovianos. Modelos não Markovianos (análise pelo método de fases). Mecanismos destrutivos. Conceitos de falha, erro e defeito. Avaliação de segurança de funcionamento (dependabilidade). Ferramentas de análise quantitativa (árvore de falha e modelos de espaço de estados). Modos de falha e análise de efeitos (FMEA e FMECA). Sistemas de falha segura. Risco e segurança. Técnicas de falha segura. Sistemas tolerantes a falhas. Redes de sensores:conceitos e aplicações. Modelos para sistema ambientais. 

METODOLOGIA:

Aulas expositivas em cada etapa com curso, com a utilização de equipamento multimídia, e atividades complementares: realização de exercícios em sala de aula e extra sala de aula; debates e seminários relativos aos temas abordados.

AVALIAÇÃO:

Realização de lista de exercícios, seminários, trabalhos de pesquisa e exames escritos.

BIBLIOGRAFIA

Básica:
GEFFROY, J. C. and Motet, G. Design of dependable computing systems. Kluwer Academic Publishers, 2002.
PULLUM, L. Software fault tolerance techniques and implementation. Artech house. 2001.
MARSAN, M. A., BALBO, G., CONTE., G., DONATELLI, S. and FRANCESCHINI, G. Modeling with Generalized Stochastic Petri Net. John Wiley and Sons. 1995.

Complementar:
GERMAN, REINHARD. Performance analysis of communication systems: modeling with non-Markovian stochastic Petri nets. John Wiley & Sons. 2000.
GIRAULT, CLAUDE; VALK, R.. Petri nets for systems engineering: a guide to modeling, verification, and applications. Springer. 2003.
CHISTOFOLETTI, A. Modelagem de Sistemas Ambientais. 1. Ed. São Paulo: Edgar Blucher, 1999.
LALA, PARAG K. Self-checking and fault-tolerant digital design. Morgan Kaufmann. 2001.
BRIGNELL, JOHN; WHITE, NEIL. Intelligent sensor systems. ed. London: Institute of physics, 1996.