Dependability evaluation of a critical system by means of fault injection mechanisms
Supervisor(es): Pérez Acle, Julio - Silveira, Fernando
Resumen:
Due to the significant impact that a medical device can have on human lives,every aspect of its development has a significant importance and the dependability features are then essential. Based on this premise, it is worth to dedicate every reasonable effort to analyze the effect of possible faults in this kind of application.In this way, this work is aimed to evaluate and improve the fault tolerance mechanisms of a prototype of an Active Implantable Medical Device (AIMD) by means of fault injection techniques. Fault injection experiments are a powerful aid to evaluate the design of fault tolerance mechanisms, particularly when performed at early development phases. The present work is fundamentally focused on the emulation-based technique.For that reason, a model of the system under study was implemented in an FPGAhosted OpenMSP430 microcontroller and the necessary instrumentation modules ere developed and then integrated to the system. The instrumentation included on one hand, Saboteour modules which are intended to inject the desired faults in the system, and on the other, an Event Recorder module which is intended to log the system behavior during the experiments. The whole system was managed through the debug interface of the microcontroller, using the GDB debugging application. As a result, a solution for low cost fault injection was developed and implemented. Even when this solution was used with a particular system, the hardware description of the instrumentation circuits can be easily adapted to be used in other systems based in small processors. The developed solution was successfully used to carry out several fault injection campaigns on the emulated system. The experiments included SEU (Single Event Upset) and stuckat faults in both data and program memory, and also stuckat faults in the buses of those memories. The obtained results contributed with important information that allowed to understand the system behavior in presence of faults and evaluate its fault tolerance features. In addition, based on the obtained information, it was possible to make specific improvements in the firmware code in order to better hand the SEUs in data memory. Finally, the campaign including SEUs injection in data memory was repeated and its results were compared with those obtained previously, verifying in this way the effectiveness of the firmware changes
2017 | |
Electrónica | |
Inglés | |
Universidad de la República | |
COLIBRI | |
http://hdl.handle.net/20.500.12008/20172 | |
Acceso abierto | |
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC - By-NC-ND) |
_version_ | 1807522999020027904 |
---|---|
author | Barboza, Jorge |
author_facet | Barboza, Jorge |
author_role | author |
bitstream.checksum.fl_str_mv | 7f2e2c17ef6585de66da58d1bfa8b5e1 9833653f73f7853880c94a6fead477b1 4afdbb8c545fd630ea7db775da747b2f 9da0b6dfac957114c6a7714714b86306 |
bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 MD5 MD5 |
bitstream.url.fl_str_mv | http://localhost:8080/xmlui/bitstream/20.500.12008/20172/4/license.txt http://localhost:8080/xmlui/bitstream/20.500.12008/20172/1/license_text http://localhost:8080/xmlui/bitstream/20.500.12008/20172/2/license_url http://localhost:8080/xmlui/bitstream/20.500.12008/20172/3/license_rdf |
collection | COLIBRI |
dc.creator.advisor.none.fl_str_mv | Pérez Acle, Julio Silveira, Fernando |
dc.creator.none.fl_str_mv | Barboza, Jorge |
dc.date.accessioned.none.fl_str_mv | 2019-02-21T20:55:38Z |
dc.date.available.none.fl_str_mv | 2019-02-21T20:55:38Z |
dc.date.issued.es.fl_str_mv | 2017 |
dc.date.submitted.es.fl_str_mv | 20190221 |
dc.description.abstract.none.fl_txt_mv | Due to the significant impact that a medical device can have on human lives,every aspect of its development has a significant importance and the dependability features are then essential. Based on this premise, it is worth to dedicate every reasonable effort to analyze the effect of possible faults in this kind of application.In this way, this work is aimed to evaluate and improve the fault tolerance mechanisms of a prototype of an Active Implantable Medical Device (AIMD) by means of fault injection techniques. Fault injection experiments are a powerful aid to evaluate the design of fault tolerance mechanisms, particularly when performed at early development phases. The present work is fundamentally focused on the emulation-based technique.For that reason, a model of the system under study was implemented in an FPGAhosted OpenMSP430 microcontroller and the necessary instrumentation modules ere developed and then integrated to the system. The instrumentation included on one hand, Saboteour modules which are intended to inject the desired faults in the system, and on the other, an Event Recorder module which is intended to log the system behavior during the experiments. The whole system was managed through the debug interface of the microcontroller, using the GDB debugging application. As a result, a solution for low cost fault injection was developed and implemented. Even when this solution was used with a particular system, the hardware description of the instrumentation circuits can be easily adapted to be used in other systems based in small processors. The developed solution was successfully used to carry out several fault injection campaigns on the emulated system. The experiments included SEU (Single Event Upset) and stuckat faults in both data and program memory, and also stuckat faults in the buses of those memories. The obtained results contributed with important information that allowed to understand the system behavior in presence of faults and evaluate its fault tolerance features. In addition, based on the obtained information, it was possible to make specific improvements in the firmware code in order to better hand the SEUs in data memory. Finally, the campaign including SEUs injection in data memory was repeated and its results were compared with those obtained previously, verifying in this way the effectiveness of the firmware changes |
dc.format.mimetype.es.fl_str_mv | application/pdf |
dc.identifier.citation.es.fl_str_mv | BARBOZA, J. "Dependability evaluation of a critical system by means of fault injection mechanisms". Tesis de maestría, Universidad de la República (Uruguay). Facultad de Ingeniería, 2017. |
dc.identifier.uri.none.fl_str_mv | http://hdl.handle.net/20.500.12008/20172 |
dc.language.iso.none.fl_str_mv | en eng |
dc.publisher.es.fl_str_mv | UR. FING |
dc.rights.license.none.fl_str_mv | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC - By-NC-ND) |
dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess |
dc.source.none.fl_str_mv | reponame:COLIBRI instname:Universidad de la República instacron:Universidad de la República |
dc.subject.other.es.fl_str_mv | Electrónica |
dc.title.none.fl_str_mv | Dependability evaluation of a critical system by means of fault injection mechanisms |
dc.type.es.fl_str_mv | Tesis de maestría |
dc.type.none.fl_str_mv | info:eu-repo/semantics/masterThesis |
dc.type.version.none.fl_str_mv | info:eu-repo/semantics/acceptedVersion |
description | Due to the significant impact that a medical device can have on human lives,every aspect of its development has a significant importance and the dependability features are then essential. Based on this premise, it is worth to dedicate every reasonable effort to analyze the effect of possible faults in this kind of application.In this way, this work is aimed to evaluate and improve the fault tolerance mechanisms of a prototype of an Active Implantable Medical Device (AIMD) by means of fault injection techniques. Fault injection experiments are a powerful aid to evaluate the design of fault tolerance mechanisms, particularly when performed at early development phases. The present work is fundamentally focused on the emulation-based technique.For that reason, a model of the system under study was implemented in an FPGAhosted OpenMSP430 microcontroller and the necessary instrumentation modules ere developed and then integrated to the system. The instrumentation included on one hand, Saboteour modules which are intended to inject the desired faults in the system, and on the other, an Event Recorder module which is intended to log the system behavior during the experiments. The whole system was managed through the debug interface of the microcontroller, using the GDB debugging application. As a result, a solution for low cost fault injection was developed and implemented. Even when this solution was used with a particular system, the hardware description of the instrumentation circuits can be easily adapted to be used in other systems based in small processors. The developed solution was successfully used to carry out several fault injection campaigns on the emulated system. The experiments included SEU (Single Event Upset) and stuckat faults in both data and program memory, and also stuckat faults in the buses of those memories. The obtained results contributed with important information that allowed to understand the system behavior in presence of faults and evaluate its fault tolerance features. In addition, based on the obtained information, it was possible to make specific improvements in the firmware code in order to better hand the SEUs in data memory. Finally, the campaign including SEUs injection in data memory was repeated and its results were compared with those obtained previously, verifying in this way the effectiveness of the firmware changes |
eu_rights_str_mv | openAccess |
format | masterThesis |
id | COLIBRI_1ba3af423629b5fa822f682f99c357e8 |
identifier_str_mv | BARBOZA, J. "Dependability evaluation of a critical system by means of fault injection mechanisms". Tesis de maestría, Universidad de la República (Uruguay). Facultad de Ingeniería, 2017. |
instacron_str | Universidad de la República |
institution | Universidad de la República |
instname_str | Universidad de la República |
language | eng |
language_invalid_str_mv | en |
network_acronym_str | COLIBRI |
network_name_str | COLIBRI |
oai_identifier_str | oai:colibri.udelar.edu.uy:20.500.12008/20172 |
publishDate | 2017 |
reponame_str | COLIBRI |
repository.mail.fl_str_mv | mabel.seroubian@seciu.edu.uy |
repository.name.fl_str_mv | COLIBRI - Universidad de la República |
repository_id_str | 4771 |
rights_invalid_str_mv | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC - By-NC-ND) |
spelling | 2019-02-21T20:55:38Z2019-02-21T20:55:38Z201720190221BARBOZA, J. "Dependability evaluation of a critical system by means of fault injection mechanisms". Tesis de maestría, Universidad de la República (Uruguay). Facultad de Ingeniería, 2017.http://hdl.handle.net/20.500.12008/20172Due to the significant impact that a medical device can have on human lives,every aspect of its development has a significant importance and the dependability features are then essential. Based on this premise, it is worth to dedicate every reasonable effort to analyze the effect of possible faults in this kind of application.In this way, this work is aimed to evaluate and improve the fault tolerance mechanisms of a prototype of an Active Implantable Medical Device (AIMD) by means of fault injection techniques. Fault injection experiments are a powerful aid to evaluate the design of fault tolerance mechanisms, particularly when performed at early development phases. The present work is fundamentally focused on the emulation-based technique.For that reason, a model of the system under study was implemented in an FPGAhosted OpenMSP430 microcontroller and the necessary instrumentation modules ere developed and then integrated to the system. The instrumentation included on one hand, Saboteour modules which are intended to inject the desired faults in the system, and on the other, an Event Recorder module which is intended to log the system behavior during the experiments. The whole system was managed through the debug interface of the microcontroller, using the GDB debugging application. As a result, a solution for low cost fault injection was developed and implemented. Even when this solution was used with a particular system, the hardware description of the instrumentation circuits can be easily adapted to be used in other systems based in small processors. The developed solution was successfully used to carry out several fault injection campaigns on the emulated system. The experiments included SEU (Single Event Upset) and stuckat faults in both data and program memory, and also stuckat faults in the buses of those memories. The obtained results contributed with important information that allowed to understand the system behavior in presence of faults and evaluate its fault tolerance features. In addition, based on the obtained information, it was possible to make specific improvements in the firmware code in order to better hand the SEUs in data memory. Finally, the campaign including SEUs injection in data memory was repeated and its results were compared with those obtained previously, verifying in this way the effectiveness of the firmware changesMade available in DSpace on 2019-02-21T20:55:38Z (GMT). No. of bitstreams: 4 license_text: 21936 bytes, checksum: 9833653f73f7853880c94a6fead477b1 (MD5) license_url: 49 bytes, checksum: 4afdbb8c545fd630ea7db775da747b2f (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) license.txt: 4194 bytes, checksum: 7f2e2c17ef6585de66da58d1bfa8b5e1 (MD5) Previous issue date: 2017application/pdfenengUR. FINGLas obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC - By-NC-ND)ElectrónicaDependability evaluation of a critical system by means of fault injection mechanismsTesis de maestríainfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/acceptedVersionreponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicaBarboza, JorgePérez Acle, JulioSilveira, FernandoUniversidad de la República (Uruguay). Facultad de IngenieríaMagíster en Ingeniería EléctricaElectrónicaElectrónica AplicadaLICENSElicense.txttext/plain4194http://localhost:8080/xmlui/bitstream/20.500.12008/20172/4/license.txt7f2e2c17ef6585de66da58d1bfa8b5e1MD54CC-LICENSElicense_textapplication/octet-stream21936http://localhost:8080/xmlui/bitstream/20.500.12008/20172/1/license_text9833653f73f7853880c94a6fead477b1MD51license_urlapplication/octet-stream49http://localhost:8080/xmlui/bitstream/20.500.12008/20172/2/license_url4afdbb8c545fd630ea7db775da747b2fMD52license_rdfapplication/octet-stream23148http://localhost:8080/xmlui/bitstream/20.500.12008/20172/3/license_rdf9da0b6dfac957114c6a7714714b86306MD5320.500.12008/201722024-07-26 16:58:16.298oai:colibri.udelar.edu.uy:20.500.12008/20172VGVybWlub3MgeSBjb25kaWNpb25lcyByZWxhdGl2YXMgYWwgZGVwb3NpdG8gZGUgb2JyYXMKCgpMYXMgb2JyYXMgZGVwb3NpdGFkYXMgZW4gZWwgUmVwb3NpdG9yaW8gc2UgcmlnZW4gcG9yIGxhIE9yZGVuYW56YSBkZSBsb3MgRGVyZWNob3MgZGUgbGEgUHJvcGllZGFkIEludGVsZWN0dWFsICBkZSBsYSBVbml2ZXJzaWRhZCBEZSBMYSBSZXDvv71ibGljYS4gKFJlcy4gTu+/vSA5MSBkZSBDLkQuQy4gZGUgOC9JSUkvMTk5NCDvv70gRC5PLiA3L0lWLzE5OTQpIHkgIHBvciBsYSBPcmRlbmFuemEgZGVsIFJlcG9zaXRvcmlvIEFiaWVydG8gZGUgbGEgVW5pdmVyc2lkYWQgZGUgbGEgUmVw77+9YmxpY2EgKFJlcy4gTu+/vSAxNiBkZSBDLkQuQy4gZGUgMDcvMTAvMjAxNCkuIAoKQWNlcHRhbmRvIGVsIGF1dG9yIGVzdG9zIHTvv71ybWlub3MgeSBjb25kaWNpb25lcyBkZSBkZXDvv71zaXRvIGVuIENPTElCUkksIGxhIFVuaXZlcnNpZGFkIGRlIFJlcO+/vWJsaWNhIHByb2NlZGVy77+9IGE6ICAKCmEpIGFyY2hpdmFyIG3vv71zIGRlIHVuYSBjb3BpYSBkZSBsYSBvYnJhIGVuIGxvcyBzZXJ2aWRvcmVzIGRlIGxhIFVuaXZlcnNpZGFkIGEgbG9zIGVmZWN0b3MgZGUgZ2FyYW50aXphciBhY2Nlc28sIHNlZ3VyaWRhZCB5IHByZXNlcnZhY2nvv71uCmIpIGNvbnZlcnRpciBsYSBvYnJhIGEgb3Ryb3MgZm9ybWF0b3Mgc2kgZnVlcmEgbmVjZXNhcmlvICBwYXJhIGZhY2lsaXRhciBzdSBwcmVzZXJ2YWNp77+9biB5IGFjY2VzaWJpbGlkYWQgc2luIGFsdGVyYXIgc3UgY29udGVuaWRvLgpjKSByZWFsaXphciBsYSBjb211bmljYWNp77+9biBw77+9YmxpY2EgeSBkaXNwb25lciBlbCBhY2Nlc28gbGlicmUgeSBncmF0dWl0byBhIHRyYXbvv71zIGRlIEludGVybmV0IG1lZGlhbnRlIGxhIHB1YmxpY2Fjae+/vW4gZGUgbGEgb2JyYSBiYWpvIGxhIGxpY2VuY2lhIENyZWF0aXZlIENvbW1vbnMgc2VsZWNjaW9uYWRhIHBvciBlbCBwcm9waW8gYXV0b3IuCgoKRW4gY2FzbyBxdWUgZWwgYXV0b3IgaGF5YSBkaWZ1bmRpZG8geSBkYWRvIGEgcHVibGljaWRhZCBhIGxhIG9icmEgZW4gZm9ybWEgcHJldmlhLCAgcG9kcu+/vSBzb2xpY2l0YXIgdW4gcGVy77+9b2RvIGRlIGVtYmFyZ28gc29icmUgbGEgZGlzcG9uaWJpbGlkYWQgcO+/vWJsaWNhIGRlIGxhIG1pc21hLCBlbCBjdWFsIGNvbWVuemFy77+9IGEgcGFydGlyIGRlIGxhIGFjZXB0YWNp77+9biBkZSBlc3RlIGRvY3VtZW50byB5IGhhc3RhIGxhIGZlY2hhIHF1ZSBpbmRpcXVlIC4KCkVsIGF1dG9yIGFzZWd1cmEgcXVlIGxhIG9icmEgbm8gaW5mcmlnZSBuaW5n77+9biBkZXJlY2hvIHNvYnJlIHRlcmNlcm9zLCB5YSBzZWEgZGUgcHJvcGllZGFkIGludGVsZWN0dWFsIG8gY3VhbHF1aWVyIG90cm8uCgpFbCBhdXRvciBnYXJhbnRpemEgcXVlIHNpIGVsIGRvY3VtZW50byBjb250aWVuZSBtYXRlcmlhbGVzIGRlIGxvcyBjdWFsZXMgbm8gdGllbmUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yLCAgaGEgb2J0ZW5pZG8gZWwgcGVybWlzbyBkZWwgcHJvcGlldGFyaW8gZGUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yLCB5IHF1ZSBlc2UgbWF0ZXJpYWwgY3V5b3MgZGVyZWNob3Mgc29uIGRlIHRlcmNlcm9zIGVzdO+/vSBjbGFyYW1lbnRlIGlkZW50aWZpY2FkbyB5IHJlY29ub2NpZG8gZW4gZWwgdGV4dG8gbyBjb250ZW5pZG8gZGVsIGRvY3VtZW50byBkZXBvc2l0YWRvIGVuIGVsIFJlcG9zaXRvcmlvLgoKRW4gb2JyYXMgZGUgYXV0b3Lvv71hIG3vv71sdGlwbGUgL3NlIHByZXN1bWUvIHF1ZSBlbCBhdXRvciBkZXBvc2l0YW50ZSBkZWNsYXJhIHF1ZSBoYSByZWNhYmFkbyBlbCBjb25zZW50aW1pZW50byBkZSB0b2RvcyBsb3MgYXV0b3JlcyBwYXJhIHB1YmxpY2FybGEgZW4gZWwgUmVwb3NpdG9yaW8sIHNpZW5kbyDvv71zdGUgZWwg77+9bmljbyByZXNwb25zYWJsZSBmcmVudGUgYSBjdWFscXVpZXIgdGlwbyBkZSByZWNsYW1hY2nvv71uIGRlIGxvcyBvdHJvcyBjb2F1dG9yZXMuCgpFbCBhdXRvciBzZXLvv70gcmVzcG9uc2FibGUgZGVsIGNvbnRlbmlkbyBkZSBsb3MgZG9jdW1lbnRvcyBxdWUgZGVwb3NpdGEuIExhIFVERUxBUiBubyBzZXLvv70gcmVzcG9uc2FibGUgcG9yIGxhcyBldmVudHVhbGVzIHZpb2xhY2lvbmVzIGFsIGRlcmVjaG8gZGUgcHJvcGllZGFkIGludGVsZWN0dWFsIGVuIHF1ZSBwdWVkYSBpbmN1cnJpciBlbCBhdXRvci4KCkFudGUgY3VhbHF1aWVyIGRlbnVuY2lhIGRlIHZpb2xhY2nvv71uIGRlIGRlcmVjaG9zIGRlIHByb3BpZWRhZCBpbnRlbGVjdHVhbCwgbGEgVURFTEFSICBhZG9wdGFy77+9IHRvZGFzIGxhcyBtZWRpZGFzIG5lY2VzYXJpYXMgcGFyYSBldml0YXIgbGEgY29udGludWFjae+/vW4gZGUgZGljaGEgaW5mcmFjY2nvv71uLCBsYXMgcXVlIHBvZHLvv71uIGluY2x1aXIgZWwgcmV0aXJvIGRlbCBhY2Nlc28gYSBsb3MgY29udGVuaWRvcyB5L28gbWV0YWRhdG9zIGRlbCBkb2N1bWVudG8gcmVzcGVjdGl2by4KCkxhIG9icmEgc2UgcG9uZHLvv70gYSBkaXNwb3NpY2nvv71uIGRlbCBw77+9YmxpY28gYSB0cmF277+9cyBkZSBsYXMgbGljZW5jaWFzIENyZWF0aXZlIENvbW1vbnMsIGVsIGF1dG9yIHBvZHLvv70gc2VsZWNjaW9uYXIgdW5hIGRlIGxhcyA2IGxpY2VuY2lhcyBkaXNwb25pYmxlczoKCgpBdHJpYnVjae+/vW4gKENDIC0gQnkpOiBQZXJtaXRlIHVzYXIgbGEgb2JyYSB5IGdlbmVyYXIgb2JyYXMgZGVyaXZhZGFzLCBpbmNsdXNvIGNvbiBmaW5lcyBjb21lcmNpYWxlcywgc2llbXByZSBxdWUgc2UgcmVjb25vemNhIGFsIGF1dG9yLgoKQXRyaWJ1Y2nvv71uIO+/vSBDb21wYXJ0aXIgSWd1YWwgKENDIC0gQnktU0EpOiBQZXJtaXRlIHVzYXIgbGEgb2JyYSB5IGdlbmVyYXIgb2JyYXMgZGVyaXZhZGFzLCBpbmNsdXNvIGNvbiBmaW5lcyBjb21lcmNpYWxlcywgcGVybyBsYSBkaXN0cmlidWNp77+9biBkZSBsYXMgb2JyYXMgZGVyaXZhZGFzIGRlYmUgaGFjZXJzZSBtZWRpYW50ZSB1bmEgbGljZW5jaWEgaWTvv71udGljYSBhIGxhIGRlIGxhIG9icmEgb3JpZ2luYWwsIHJlY29ub2NpZW5kbyBhIGxvcyBhdXRvcmVzLgoKQXRyaWJ1Y2nvv71uIO+/vSBObyBDb21lcmNpYWwgKENDIC0gQnktTkMpOiBQZXJtaXRlIHVzYXIgbGEgb2JyYSB5IGdlbmVyYXIgb2JyYXMgZGVyaXZhZGFzLCBzaWVtcHJlIHkgY3VhbmRvIGVzb3MgdXNvcyBubyB0ZW5nYW4gZmluZXMgY29tZXJjaWFsZXMsIHJlY29ub2NpZW5kbyBhbCBhdXRvci4KCkF0cmlidWNp77+9biDvv70gU2luIERlcml2YWRhcyAoQ0MgLSBCeS1ORCk6IFBlcm1pdGUgZWwgdXNvIGRlIGxhIG9icmEsIGluY2x1c28gY29uIGZpbmVzIGNvbWVyY2lhbGVzLCBwZXJvIG5vIHNlIHBlcm1pdGUgZ2VuZXJhciBvYnJhcyBkZXJpdmFkYXMsIGRlYmllbmRvIHJlY29ub2NlciBhbCBhdXRvci4KCkF0cmlidWNp77+9biDvv70gTm8gQ29tZXJjaWFsIO+/vSBDb21wYXJ0aXIgSWd1YWwgKENDIO+/vSBCeS1OQy1TQSk6IFBlcm1pdGUgdXNhciBsYSBvYnJhIHkgZ2VuZXJhciBvYnJhcyBkZXJpdmFkYXMsIHNpZW1wcmUgeSBjdWFuZG8gZXNvcyB1c29zIG5vIHRlbmdhbiBmaW5lcyBjb21lcmNpYWxlcyB5IGxhIGRpc3RyaWJ1Y2nvv71uIGRlIGxhcyBvYnJhcyBkZXJpdmFkYXMgc2UgaGFnYSBtZWRpYW50ZSBsaWNlbmNpYSBpZO+/vW50aWNhIGEgbGEgZGUgbGEgb2JyYSBvcmlnaW5hbCwgcmVjb25vY2llbmRvIGEgbG9zIGF1dG9yZXMuCgpBdHJpYnVjae+/vW4g77+9IE5vIENvbWVyY2lhbCDvv70gU2luIERlcml2YWRhcyAoQ0MgLSBCeS1OQy1ORCk6IFBlcm1pdGUgdXNhciBsYSBvYnJhLCBwZXJvIG5vIHNlIHBlcm1pdGUgZ2VuZXJhciBvYnJhcyBkZXJpdmFkYXMgeSBubyBzZSBwZXJtaXRlIHVzbyBjb24gZmluZXMgY29tZXJjaWFsZXMsIGRlYmllbmRvIHJlY29ub2NlciBhbCBhdXRvci4KCkxvcyB1c29zIHByZXZpc3RvcyBlbiBsYXMgbGljZW5jaWFzIGluY2x1eWVuIGxhIGVuYWplbmFjae+/vW4sIHJlcHJvZHVjY2nvv71uLCBjb211bmljYWNp77+9biwgcHVibGljYWNp77+9biwgZGlzdHJpYnVjae+/vW4geSBwdWVzdGEgYSBkaXNwb3NpY2nvv71uIGRlbCBw77+9YmxpY28uIExhIGNyZWFjae+/vW4gZGUgb2JyYXMgZGVyaXZhZGFzIGluY2x1eWUgbGEgYWRhcHRhY2nvv71uLCB0cmFkdWNjae+/vW4geSBlbCByZW1peC4KCkN1YW5kbyBzZSBzZWxlY2Npb25lIHVuYSBsaWNlbmNpYSBxdWUgaGFiaWxpdGUgdXNvcyBjb21lcmNpYWxlcywgZWwgZGVw77+9c2l0byBkZWJlcu+/vSBzZXIgYWNvbXBh77+9YWRvIGRlbCBhdmFsIGRlbCBqZXJhcmNhIG3vv714aW1vIGRlbCBTZXJ2aWNpbyBjb3JyZXNwb25kaWVudGUuCgoKCgoKCgoKUniversidadhttps://udelar.edu.uy/https://www.colibri.udelar.edu.uy/oai/requestmabel.seroubian@seciu.edu.uyUruguayopendoar:47712024-08-13T03:01:05.785149COLIBRI - Universidad de la Repúblicafalse |
spellingShingle | Dependability evaluation of a critical system by means of fault injection mechanisms Barboza, Jorge Electrónica |
status_str | acceptedVersion |
title | Dependability evaluation of a critical system by means of fault injection mechanisms |
title_full | Dependability evaluation of a critical system by means of fault injection mechanisms |
title_fullStr | Dependability evaluation of a critical system by means of fault injection mechanisms |
title_full_unstemmed | Dependability evaluation of a critical system by means of fault injection mechanisms |
title_short | Dependability evaluation of a critical system by means of fault injection mechanisms |
title_sort | Dependability evaluation of a critical system by means of fault injection mechanisms |
topic | Electrónica |
url | http://hdl.handle.net/20.500.12008/20172 |