Facebook Twitter Gplus Google Maps E-mail
Home Courses Critical System Evaluation

Critical System Evaluation

Avaliação de Sistemas Críticos

Paulo Maciel
e
Eduado Tavares

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 2014.2

Vídeo aulas 2015.2

Ementa:

* Sistemas de Tempo Real
– Características e requisitos
– Categorias
– Alocação de tarefas e escalonamento
– Métricas de desempenho para sistemas de tempo real
– Modelos

* 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

 

Planejamento das Aulas:
Parte 1: Sistemas de Tempo Real
Exercícios:

Parte 2: Dependabilidade
Exercícios:

 

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.

© MoDCS Research Group
credit