Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/14341
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Prata, Paula | - |
dc.contributor.author | Rela, Mário | - |
dc.contributor.author | Madeira, Henrique | - |
dc.contributor.author | Silva, João Gabriel | - |
dc.date.accessioned | 2011-01-06T15:50:08Z | - |
dc.date.available | 2011-01-06T15:50:08Z | - |
dc.date.issued | 2005-04 | - |
dc.identifier.citation | 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 | - |
dc.identifier.issn | 0104-6500 | - |
dc.identifier.uri | https://hdl.handle.net/10316/14341 | - |
dc.description.abstract | 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. | por |
dc.language.iso | eng | por |
dc.publisher | Brazilian Computer Society | por |
dc.rights | openAccess | por |
dc.subject | Hardware faults | por |
dc.subject | Error detection | por |
dc.subject | ABFT | por |
dc.subject | Robust assertions | por |
dc.subject | Failure models | por |
dc.subject | Fail-bounded | por |
dc.title | Robust assertions and fail-bounded behavior | por |
dc.type | article | por |
degois.publication.firstPage | 20 | por |
degois.publication.lastPage | 32 | por |
degois.publication.issue | 3 | por |
degois.publication.location | Campinas | por |
degois.publication.title | Journal of the Brazilian Computer Society | por |
dc.peerreviewed | Yes | por |
dc.identifier.doi | 10.1590/S0104-65002005000100003 | - |
degois.publication.volume | 10 | por |
uc.controloAutoridade | Sim | - |
item.fulltext | Com Texto completo | - |
item.grantfulltext | open | - |
item.languageiso639-1 | en | - |
item.cerifentitytype | Publications | - |
item.openairetype | article | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
crisitem.author.researchunit | CISUC - Centre for Informatics and Systems of the University of Coimbra | - |
crisitem.author.parentresearchunit | Faculty of Sciences and Technology | - |
crisitem.author.orcid | 0000-0003-1985-9344 | - |
crisitem.author.orcid | 0000-0001-8146-4664 | - |
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
380
Visto em 1/out/2024
Downloads 50
703
Visto em 1/out/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.