Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/14341
DC Field | Value | Language |
---|---|---|
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.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | article | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
item.fulltext | Com Texto completo | - |
item.languageiso639-1 | en | - |
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 | - |
Appears in Collections: | FCTUC Eng.Informática - Artigos em Revistas Internacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Robust Assertions.pdf | 130.49 kB | Adobe PDF | View/Open |
Page view(s)
370
checked on Apr 23, 2024
Download(s) 50
683
checked on Apr 23, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.