Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions

Detalhes bibliográficos
Autor(a) principal: Jie Xu
Data de Publicação: 2002
Outros Autores: B. Randell, A Romanovsky, Stroud, R.J., Avelino Francisco Zorzo, Ercument Canver, von Henke, F.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional PUCRS
Texto Completo: https://hdl.handle.net/10923/22195
id PUCR_44fc80b3cebad2aae49c864a356bfe30
oai_identifier_str oai:repositorio.pucrs.br:10923/22195
network_acronym_str PUCR
network_name_str Repositório Institucional PUCRS
repository_id_str 2753
spelling Jie XuB. RandellA RomanovskyStroud, R.J.Avelino Francisco ZorzoErcument Canvervon Henke, F.2022-06-10T14:07:35Z2022-06-10T14:07:35Z20022022-06-10T14:07:33Z0018-9340https://hdl.handle.net/10923/22195DOI:10.1109/12.980006Submitted by Biblioteca Suporte PUCRS (biblioteca.suporte@pucrs.br) on 2022-06-10T14:07:35Z No. of bitstreams: 2 Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf: 877718 bytes, checksum: f75e76f8a17f91ed80f57caed3428d3e (MD5) Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf: 877718 bytes, checksum: f75e76f8a17f91ed80f57caed3428d3e (MD5)Made available in DSpace on 2022-06-10T14:07:35Z (GMT). No. of bitstreams: 2 Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf: 877718 bytes, checksum: f75e76f8a17f91ed80f57caed3428d3e (MD5) Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf: 877718 bytes, checksum: f75e76f8a17f91ed80f57caed3428d3e (MD5) Previous issue date: 2002I.E.E.E. Transactions on Computers (Print)Fault ToleranceCoordinated Atomic ActionsSafety-critical systemsDependabilityRigorous development of an embedded fault-tolerant system based on coordinated atomic actionsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleI.E.E.E. Transactions on Computers (Print)51164179info:eu-repo/semantics/openAccessengreponame:Repositório Institucional PUCRSinstname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)instacron:PUC_RSTEXTRigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf.txtRigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf.txtExtracted texttext/plain82940http://meriva.pucrs.br:8080/jspui/bitstream/10923/22195/4/Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf.txt4198800633b70d49ebd7d89a59149d02MD54ORIGINALRigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdfapplication/pdf877718http://meriva.pucrs.br:8080/jspui/bitstream/10923/22195/2/Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdff75e76f8a17f91ed80f57caed3428d3eMD52SWORDsword-2022-06-10T11:07:29.original.xmlOriginal SWORD entry documentapplication/octet-stream1704http://meriva.pucrs.br:8080/jspui/bitstream/10923/22195/1/sword-2022-06-10T11%3A07%3A29.original.xmlc971a992e865646263352327504e0767MD51Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdfOrignal SWORD deposit fileapplication/pdf877718http://meriva.pucrs.br:8080/jspui/bitstream/10923/22195/3/Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdff75e76f8a17f91ed80f57caed3428d3eMD5310923/221952022-06-10 12:00:52.541oai:repositorio.pucrs.br:10923/22195Repositório InstitucionalPRIhttp://repositorio.pucrs.br/oai/request?verb=Identifyopendoar:27532022-06-10T15:00:52Repositório Institucional PUCRS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)false
dc.title.none.fl_str_mv Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
title Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
spellingShingle Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
Jie Xu
Fault Tolerance
Coordinated Atomic Actions
Safety-critical systems
Dependability
title_short Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
title_full Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
title_fullStr Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
title_full_unstemmed Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
title_sort Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
author Jie Xu
author_facet Jie Xu
B. Randell
A Romanovsky
Stroud, R.J.
Avelino Francisco Zorzo
Ercument Canver
von Henke, F.
author_role author
author2 B. Randell
A Romanovsky
Stroud, R.J.
Avelino Francisco Zorzo
Ercument Canver
von Henke, F.
author2_role author
author
author
author
author
author
dc.contributor.author.fl_str_mv Jie Xu
B. Randell
A Romanovsky
Stroud, R.J.
Avelino Francisco Zorzo
Ercument Canver
von Henke, F.
dc.subject.por.fl_str_mv Fault Tolerance
Coordinated Atomic Actions
Safety-critical systems
Dependability
topic Fault Tolerance
Coordinated Atomic Actions
Safety-critical systems
Dependability
publishDate 2002
dc.date.updated.none.fl_str_mv 2022-06-10T14:07:33Z
dc.date.issued.fl_str_mv 2002
dc.date.accessioned.fl_str_mv 2022-06-10T14:07:35Z
dc.date.available.fl_str_mv 2022-06-10T14:07:35Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10923/22195
dc.identifier.issn.none.fl_str_mv 0018-9340
dc.identifier.doi.none.fl_str_mv DOI:10.1109/12.980006
identifier_str_mv 0018-9340
DOI:10.1109/12.980006
url https://hdl.handle.net/10923/22195
dc.language.iso.fl_str_mv eng
language eng
dc.relation.ispartof.none.fl_str_mv I.E.E.E. Transactions on Computers (Print)
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional PUCRS
instname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron:PUC_RS
instname_str Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
instacron_str PUC_RS
institution PUC_RS
reponame_str Repositório Institucional PUCRS
collection Repositório Institucional PUCRS
bitstream.url.fl_str_mv http://meriva.pucrs.br:8080/jspui/bitstream/10923/22195/4/Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf.txt
http://meriva.pucrs.br:8080/jspui/bitstream/10923/22195/2/Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf
http://meriva.pucrs.br:8080/jspui/bitstream/10923/22195/1/sword-2022-06-10T11%3A07%3A29.original.xml
http://meriva.pucrs.br:8080/jspui/bitstream/10923/22195/3/Rigorous_development_of_an_embedded_faulttolerant_system_based_on_coordinated_atomic_actions.pdf
bitstream.checksum.fl_str_mv 4198800633b70d49ebd7d89a59149d02
f75e76f8a17f91ed80f57caed3428d3e
c971a992e865646263352327504e0767
f75e76f8a17f91ed80f57caed3428d3e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional PUCRS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
repository.mail.fl_str_mv
_version_ 1747679177514942464

Registros relacionados