Return to search

Hard real-time systems design concerning fault tolerance

Computadores fazem parte da vida de praticamente todo indivíduo nos tempos atuais. Os primeiros foram desenvolvidos objetivando-se propósitos mais genéricos. Houve considerável avanço nesta área. Computadores tiveram seu tamanho e preço reduzidos. Por outro lado, complexidade e propósitos aumentaram. Computadores genéricos ainda existem, mas estes compartilham o mercado com os chamados "embarcados". Em ambos os casos, o aumento da complexidade envolve maior severidade no caso de falhas. Assim, torna-se razoável assumir que falhas podem ocorrer. De fato, não existe sistema livre de falhas. Diante de tal constatação, sistemas computadorizados devem continuar operando o mais perto possível do normal, mesmo na presença de falhas. Dentro deste contexto, este trabalho tem por objetivo o aumento de tolerância a falhas numa classe de sistema denominada sistemas críticos de tempo-real. Uma falha neste tipo de aplicação pode ser inaceitável, uma vez que quase sempre vidas humanas encontram-se envolvidas. Esta pesquisa mostra o aumento da resiliência a falhas pela composição e aplicação de redundância espacial e temporal (multiprocessamento e escalonamento) com migração de tarefas entre processadores no projeto de sistemas críticos de tempo-real. Tais sistemas, mais especificamente, os sistemas aviônicos são considerados como alvo de aplicabilidade. Visando atingir o objetivo proposto, um modelo computacional e conceitual é apresentado para cobrir os aspectos de tolerância a falhas (segurança) e mecanismos de escalonamento (temporalidade). Realiza-se a análise de escalonabilidade em tempo de projeto considerando prioridades fixas. O modelo assume que poderá existir preempção no processamento das tarefas, o sistema baseia-se em multiprocessamento simétrico, as tarefas são escalonadas por algoritmos considerando prioridade fixa e que pode ou não haver restrições de precedência entre as tarefas. O modelo proposto consiste de uma análise de escalonabiliade e de três diferentes algoritmos: (1) Fixed-Priority based Scheduling Algorithm - FPSA; (2) Symmetric Multiprocessor based Dispatcher Algorithm - SMP-DA; e (3) Fault Tolerance Algorithm - FTA. FPSA considera todas as tarefas prontas do sistema, visando produzir um escalonamento viável, arranjando-as numa fila. Neste tipo de sistema, não se pode rejeitar nenhuma tarefa. Para isso, a análise de escalonabilidade é conduzida, a priori, visando remover todas possíveis falhas temporais. SMP-DA avalia qual processador possui capacidade para receber as tarefas da fila onde o fator de carga dos processadores é levado em conta. Por fim, FTA monitora as tarefas em execução e através de um mecanismo original do modelo chamado notification time control, falhas podem ser identificadas e tratadas. Portanto, a principal contribuição deste trabalho de pesquisa considera tanto redundância espacial quanto temporal, visando aumentar a resiliência a falhas com migração de tarefas entre processadores em sistemas críticos de tempo-real.

Identiferoai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2193
Date04 December 2012
CreatorsDenis Silva Loubach
ContributorsAdilson Marques da Cunha
PublisherInstituto Tecnológico de Aeronáutica
Source SetsIBICT Brazilian ETDs
LanguageEnglish
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0021 seconds