Disciplina Discipline PCS5733
Confiabilidade e Segurança de Sistemas Computacionais

Reliability and Safety of Computer Systems

Área de Concentração: 3141

Concentration area: 3141

Criação: 12/12/2022

Creation: 12/12/2022

Ativação: 12/12/2022

Activation: 12/12/2022

Nr. de Créditos: 8

Credits: 8

Carga Horária:

Workload:

Teórica

(por semana)

Theory

(weekly)

Prática

(por semana)

Practice

(weekly)

Estudos

(por semana)

Study

(weekly)

Duração Duration Total Total
3 0 7 12 semanas 12 weeks 120 horas 120 hours

Docente Responsável:

Professor:

João Batista Camargo Júnior

Objetivos:

Permitir a avaliação qualitativa e quantitativa dos aspectos envolvidos com confiabilidade e segurança (“safety”) em Sistemas Computacionais e Sistemas Eletro Eletrônicos e Programáveis - SEEP. Utilização de métodos e ferramentas a serem utilizadas nas avaliações qualitativas e quantitativas. Análise de Perigo, Modelos e Técnicas de Análise de Perigo, Análise de Requisitos e de Perigo de Sistemas Computacionais – Software, Análise de Risco. Árvore de Falhas e Redes de Petri. Debates de estudos de casos e a relação do conceito de complexidade e segurança (“safety” & “security”). Aspectos relativos com a Engenharia de Resiliência.

Objectives:

Allow the qualitative and quantitative assessment of the aspects involved with reliability and security (“Programmable Computer and Electronic Systems - SEEP”). Methods and tools to be used in qualitative and quantitative techniques. Hazard Analysis, Models and Techniques of Hazard Analysis, Requirements and Hazard Analysis of Computer Systems – Software, Risk Analysis. Fault Tree and Petri Nets. Debates of case studies and the relationship between the concept of complexity and security (“safety” & “security”). Related aspects with Resilience Engineering.

Justificativa:

A conceituação de confiabilidade é essencial para o projeto de sistemas eletrônicos e programáveis de boa qualidade. Aspectos de segurança ("safety") são sempre requeridos em aplicações eletro eletrônicas e programáveis onde os riscos como vidas humanas, aspectos ambientais e perdas financeiras estão envolvidos. A complexidade dos sistemas computacionais críticos tem aumentado tornando imperativa a consideração dos aspectos de resiliência na avaliação de segurança (“safety”).

Rationale:

The conceptualization of reliability is essential for the design of good quality electronic and programmable systems. Safety aspects are always required in electro electronic and programmable applications where risks such as human lives, environmental aspects and financial losses are involved. The complexity of critical computer systems has increased, making it imperative to consider aspects of resilience in the safety assessment.

Conteúdo:

1. Conceitos básicos de probabilidade. 2. Índices de confiabilidade: Função confiabilidade, taxa de falhas, tempo médio ente falhas, disponibilidade. 3. Confiabilidade de sistemas não redundantes. 4. Confiabilidade de sistemas redundantes não reparáveis, método de "cut-set", modelos combinatórios, além do estudo de configurações redundantes. 5. Confiabilidade de sistemas redundantes reparáveis, modelos de Markov e o aspecto da manutenção. 6. Árvores de Falha e Redes de Petri para avaliação de confiabilidade e segurança. 7. Análise de Perigo, Métodos e Técnicas de Análise de Perigo (sistêmico e software). 8. Iniciação à Análise de Risco, Complexidade e Resiliência. 9. Relação entre “Safety“ e “Security”. 10. Estudo de Casos.

Content:

1. Basic concepts of probability. 2. Reliability indices: Reliability function, failure rate, mean time between failures, availability. 3. Reliability of non-redundant systems. 4. Reliability of non-repairable redundant systems, "cut-set" method, combinatorial models, in addition to the study of redundant configurations. 5. Reliability of repairable redundant systems, Markov models and the maintenance aspect. 6. Fault Trees and Petri Nets for reliability and safety assessment. 7. Hazard Analysis, Hazard Analysis Methods and Techniques (systemic and software). 8. Introduction to Risk, Complexity and Resilience Analysis. 9. Relationship between “Safety” and “Security”. 10. Case Studies.

Forma de Avaliação:

Ai- Avaliações ao longo das diversas aulas Avaliação Final = ( Ai )/ Número Total de Avaliações.

Type of Assessment:

Ai- Assessments throughout different classes Final Assessment = ( Ai )/ Total Number of Assessments.

Bibliografia:

Fault –Tolerant Systems. Israel Koren and C. Mani Krishna. Morgan Kaufmann Publishers, 2007. Resilience Engineering. Erik Hollnagel, David D. Woods, Nancy Leveson. Ashgate, 2006 Resileince Engineering in Practice. Erik Hollnagel, Jean Paries, David D. Woods, John Wreathall. Ashgate. 2011. Reliability of Computer Systems and Networks. Fault Tolerance, Analysis and Design. Martin L. Shooman. John Wiley & Sons, 2002. Self-Checking and Fault-Tolerant Digital Design. Parag K. Lala. Morgan Kaufmann . Publishers, 2001. System Safety: HAZOP and Software HAZOP. Felix Redmill, Morris Chudleigh, James Catmur. John Wiley & Sons, 1999. Software Safety and Reliability. Debora S. Hermanm. IEEE Computer Society, 1999. Normal Accidents. Charles Perrow. Princeton University Press, 1999. Safety-Critical Computer Systems. Neil Storey. Addison-Wesley, 1996. The Limits of Safety. Scott D.Sagan. Princeton University Press, 1995. Software Assessment: Reliability, Safety, Testability. Michael A. Friedman, Jeffrey M. Voas John Wiley & Sons, 1995. Safeware – System Safety and Computers. Nancy G. Leveson. Addison Wesley, 1995. Fault Tolerant in Distributed Systems. Pankaj Jalote. Prentice Hall, 1994. Reliability Engineeing Handbook – Volume 2. Dimitri Kececioglu. Prentice Hall, 1991. Design and Analysis of fault-Tolerant Digital Systems. Barry W. Johnson. Addison-Wesley, 1989. The Theory and Practice of Reliable System Design. Daniel P. Siewiorek, Robet S. Swarz. Digital Press, 1974. Teoria Geral dos Sistemas. Ludwig von Bertalanffy. Editora Vozes. 2008. Engineering a Safer World. Systems Thinking Applied to Safety. Nancy G. Leveson. The MIT Press. 2011.

Bibliography:

Fault –Tolerant Systems. Israel Koren and C. Mani Krishna. Morgan Kaufmann Publishers, 2007. Resilience Engineering. Erik Hollnagel, David D. Woods, Nancy Leveson. Ashgate, 2006 Resileince Engineering in Practice. Erik Hollnagel, Jean Paries, David D. Woods, John Wreathall. Ashgate. 2011. Reliability of Computer Systems and Networks. Fault Tolerance, Analysis and Design. Martin L. Shooman. John Wiley & Sons, 2002. Self-Checking and Fault-Tolerant Digital Design. Parag K. Lala. Morgan Kaufmann . Publishers, 2001. System Safety: HAZOP and Software HAZOP. Felix Redmill, Morris Chudleigh, James Catmur. John Wiley & Sons, 1999. Software Safety and Reliability. Debora S. Hermanm. IEEE Computer Society, 1999. Normal Accidents. Charles Perrow. Princeton University Press, 1999. Safety-Critical Computer Systems. Neil Storey. Addison-Wesley, 1996. The Limits of Safety. Scott D.Sagan. Princeton University Press, 1995. Software Assessment: Reliability, Safety, Testability. Michael A. Friedman, Jeffrey M. Voas John Wiley & Sons, 1995. Safeware – System Safety and Computers. Nancy G. Leveson. Addison Wesley, 1995. Fault Tolerant in Distributed Systems. Pankaj Jalote. Prentice Hall, 1994. Reliability Engineeing Handbook – Volume 2. Dimitri Kececioglu. Prentice Hall, 1991. Design and Analysis of fault-Tolerant Digital Systems. Barry W. Johnson. Addison-Wesley, 1989. The Theory and Practice of Reliable System Design. Daniel P. Siewiorek, Robet S. Swarz. Digital Press, 1974. Teoria Geral dos Sistemas. Ludwig von Bertalanffy. Editora Vozes. 2008. Engineering a Safer World. Systems Thinking Applied to Safety. Nancy G. Leveson. The MIT Press. 2011.

Idiomas ministrados:

Português

Languages taught:

Portuguese

Tipo de oferecimento da disciplina:

Presencial

Class type:

Presencial