Critical System Evaluation
Avaliação de Sistemas Críticos
Paulo Maciel
Objetivo: É o estudo, fixação e aplicação de métodos e modelos para avaliação de sistemas críticos.
Público-alvo: Alunos da pós-graduação.
Vídeo aulas 2015.2
»Dependabilidade
– História
– Conceitos básicos e terminologia
– Fundamentos
– Análise de Dados
- Análise de tempo de vida
- Modelos de aceleração de tempo de vida
– Modelagem
- Mecanismos de detecção, recuperação e tolerância à falhas
- Mantenabilidade
- Sistemas coerentes
- Modo de falha e operacional
- Modelos combinacionais: RBD, FT, RG
- Função estrutural e lógica
- Métodos de análise
- Modelagem
– Cadeias de Markov e Redes de Petri Estocásticas
- Modelagem
– Modelagem hierárquica e heterogênea
Referências:
Dependability Modeling. Paulo Maciel. Kishor S. Trivedi, Rivalino Matias and Dong Kim. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions ed.Hershey, Pennsylvania: IGI Global, 2011. Book Chapter.
Reliability, Maintainability and Risk: Practical methods for engineers, David J Smith 8th edition, Elsevier. 2011.
Reliability: Probabilistic Models and Statistical Methods, Lawrence M. Leemis, 2nd Edition, ISBN: 978-0-692-00027-4, 2009.
Uma Introdução às Redes de Petri e Aplicações. MACIEL, P. R. M.; LINS, R. D.; CUNHA, Paulo Roberto Freire. Sociedade Brasileira de Computacão, 1996. v. 1. 213 p.
Modelling with Generalized Stochastic Petri Nets, Marsan, A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G., Wiley Series in Parallel Computing, 1995.
Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, Second Edition, Gunter Bolch, Stefan Greiner, Hermann de Meer, Kishor S. Trivedi, WILEYINTERSCIENCE, 2007.
Probability and Statistics with Reliability, Queueing, and Computer Science Applications, Trivedi. K., 2nd edition, Wiley, 2002.
Fundamental Concepts of Computer System Dependability, A. Aviẑienis, J. Laprie, B. Randell, IARP/IEEE-RAS Workshop on Robot Dependability: Technological Challenge of Dependable Robots in Human Environments – Seoul, Korea, May 21-22, 2001.
Real-Time Systems: Design Principles for Distributed Embedded Applications (Real-Time Systems Series) by Hermann Kopetz. Springer. 2011.
Sistemas de Tempo Real: Conceitos Básicos. Jean-Marie Farines, Joni da Silva Fraga e Rômulo Silva de Oliveira. 12ª Escola de Computação. 2000.
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems H. Bowman e Rodolfo Gomez. Springer. 2010.
Formal Methods for the Design of Real-Time Systems -International School on Formal Methods for the Design of Computer, Communication and Software Systems. Marco Bernardo Flavio Corradini. Springer. 2004.
