Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/14341
Título: | Robust assertions and fail-bounded behavior | Autor: | Prata, Paula Rela, Mário Madeira, Henrique Silva, João Gabriel |
Palavras-chave: | Hardware faults; Error detection; ABFT; Robust assertions; Failure models; Fail-bounded | Data: | Abr-2005 | Editora: | Brazilian Computer Society | Citação: | PRATA, Paula [et al.] - Robust assertions and fail-bounded behavior. "Journal of the Brazilian Computer Society". Campinas : Brazilian Computer Society. ISSN 0104-6500. 10:3 (2005) 20-32 | Título da revista, periódico, livro ou evento: | Journal of the Brazilian Computer Society | Volume: | 10 | Número: | 3 | Local de edição ou do evento: | Campinas | Resumo: | In this paper the behavior of assertion-based error detection mechanisms is characterized under faults injected according to a quite general fault model. Assertions based on the knowledge of the application can be very effective at detecting corruption of critical data caused by hardware faults. The main drawbacks of that approach are identified as being the lack of protection of data outside the section covered by assertions, namely during input and output, and the possible incorrect execution of the assertions. To handle those weak-points the Robust Assertions technique is proposed, whose effectiveness is shown by extensive fault injection experiments. With this technique a system follows a new failure model, that is called Fail- Bounded, where with high probability all results produced are either correct or, if wrong, they are within a certain bound of the correct value, whose exact distance depends on the output assertions used. Any kind of assertions can be considered, from simple likelihood tests to high coverage assertions such as those used in the Algorithm Based Fault Tolerance paradigm. We claim that this failure model is very useful to describe the behavior of many low-cost fault-tolerant systems, that have low hardware and software redundancy, like embedded systems, were cost is a severe restriction, yet full availability is expected. | URI: | https://hdl.handle.net/10316/14341 | ISSN: | 0104-6500 | DOI: | 10.1590/S0104-65002005000100003 | Direitos: | openAccess |
Aparece nas coleções: | FCTUC Eng.Informática - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Robust Assertions.pdf | 130.49 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
377
Visto em 27/ago/2024
Downloads 50
702
Visto em 27/ago/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.