Metrologia temporal na verificação de integridade de software em instrumentos de medição
Autor(a) principal: | |
---|---|
Data de Publicação: | 2010 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Repositório Institucional do INMETRO |
Texto Completo: | http://hdl.handle.net/10926/1270 |
Resumo: | Este artigo descreve uma metodologia de verificação da integridade de software apoiada na medição de “efeitos colaterais”, eventos físicos associados ao processamento de dados. Mostramos que a “metrologia de efeitos colaterais” aumenta a confiança no processo de verificação de integridade. Apresentamos duas abordagens para uso de metrologia temporal em verificação de integridade. A primeira abordagem permite a avaliação do comportamento temporal de um software sem que seja necessário interromper o funcionamento do equipamento onde o software em verificação está embarcado. Na segunda abordagem, o funcionamento do equipamento deve ser interrompido e os módulos que armazenam o software em verificação devem ser removidos, de forma a obter maior certeza acerca dos resultados obtidos. |
id |
INMT_00fa684f5412cde4d977e0c69ddf3987 |
---|---|
oai_identifier_str |
oai:xrepo01s.inmetro.gov.br:10926/1270 |
network_acronym_str |
INMT |
network_name_str |
Repositório Institucional do INMETRO |
repository_id_str |
|
spelling |
info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleMetrologia temporal na verificação de integridade de software em instrumentos de medição20102011-12-07T17:49:50Z2011-12-07T17:49:50ZEste artigo descreve uma metodologia de verificação da integridade de software apoiada na medição de “efeitos colaterais”, eventos físicos associados ao processamento de dados. Mostramos que a “metrologia de efeitos colaterais” aumenta a confiança no processo de verificação de integridade. Apresentamos duas abordagens para uso de metrologia temporal em verificação de integridade. A primeira abordagem permite a avaliação do comportamento temporal de um software sem que seja necessário interromper o funcionamento do equipamento onde o software em verificação está embarcado. Na segunda abordagem, o funcionamento do equipamento deve ser interrompido e os módulos que armazenam o software em verificação devem ser removidos, de forma a obter maior certeza acerca dos resultados obtidos.9 p. : il.Submitted by Bruna Fernandes de Farias (bruna.fernandes_farias@yahoo.com.br) on 2011-09-02T13:02:06Z No. of bitstreams: 1 2010_Carmo.pdf: 75614 bytes, checksum: 045231400d7eade9d993606f2f3a2aab (MD5)Approved for entry into archive by Catarina Soares(cfsoares@inmetro.gov.br) on 2011-12-07T17:49:50Z (GMT) No. of bitstreams: 1 2010_Carmo.pdf: 75614 bytes, checksum: 045231400d7eade9d993606f2f3a2aab (MD5)Made available in DSpace on 2011-12-07T17:49:50Z (GMT). No. of bitstreams: 1 2010_Carmo.pdf: 75614 bytes, checksum: 045231400d7eade9d993606f2f3a2aab (MD5) Previous issue date: 2010porhttp://hdl.handle.net/10926/1270DMD_hdl_10926/1270CARMO, Luiz Fernando Rust da Costa; MACHADO, Raphael Carlos Santos. Metrologia temporal na verificação de integridade de software em instrumentos de medição. Produto & Produção, v. 11, n. 1, p. 80-88, 2010.Carmo, Luiz Fernando Rust da CostaMachado, Raphael Carlos Santosinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional do INMETROinstname:Instituto Nacional de Metrologia, Qualidade e Tecnologia (INMETRO)instacron:INMETROCarmo_2010.pdfhttp://xrepo01s.inmetro.gov.br/bitstream/10926/1270/1/Carmo_2010.pdfapplication/pdf75614http://xrepo01s.inmetro.gov.br/bitstream/10926/1270/1/Carmo_2010.pdf045231400d7eade9d993606f2f3a2aabMD510926_1270_1Carmo_2010.pdf.txthttp://xrepo01s.inmetro.gov.br/bitstream/10926/1270/6/Carmo_2010.pdf.txttext/plain25364http://xrepo01s.inmetro.gov.br/bitstream/10926/1270/6/Carmo_2010.pdf.txt128ec0256a95dcb860303260e69d8d77MD510926_1270_62024-06-10T15:24:39Zoai:xrepo01s.inmetro.gov.br:10926/1270Repositório de Publicaçõeshttp://repositorios.inmetro.gov.br/oai/requestopendoar:2012-10-31T15:22:16Repositório Institucional do INMETRO - Instituto Nacional de Metrologia, Qualidade e Tecnologia (INMETRO)false |
dc.title.none.fl_str_mv |
Metrologia temporal na verificação de integridade de software em instrumentos de medição |
title |
Metrologia temporal na verificação de integridade de software em instrumentos de medição |
spellingShingle |
Metrologia temporal na verificação de integridade de software em instrumentos de medição Carmo, Luiz Fernando Rust da Costa |
title_short |
Metrologia temporal na verificação de integridade de software em instrumentos de medição |
title_full |
Metrologia temporal na verificação de integridade de software em instrumentos de medição |
title_fullStr |
Metrologia temporal na verificação de integridade de software em instrumentos de medição |
title_full_unstemmed |
Metrologia temporal na verificação de integridade de software em instrumentos de medição |
title_sort |
Metrologia temporal na verificação de integridade de software em instrumentos de medição |
author |
Carmo, Luiz Fernando Rust da Costa |
author_facet |
Carmo, Luiz Fernando Rust da Costa Machado, Raphael Carlos Santos |
author_role |
author |
author2 |
Machado, Raphael Carlos Santos |
author2_role |
author |
dc.contributor.author.fl_str_mv |
Carmo, Luiz Fernando Rust da Costa Machado, Raphael Carlos Santos |
description |
Este artigo descreve uma metodologia de verificação da integridade de software apoiada na medição de “efeitos colaterais”, eventos físicos associados ao processamento de dados. Mostramos que a “metrologia de efeitos colaterais” aumenta a confiança no processo de verificação de integridade. Apresentamos duas abordagens para uso de metrologia temporal em verificação de integridade. A primeira abordagem permite a avaliação do comportamento temporal de um software sem que seja necessário interromper o funcionamento do equipamento onde o software em verificação está embarcado. Na segunda abordagem, o funcionamento do equipamento deve ser interrompido e os módulos que armazenam o software em verificação devem ser removidos, de forma a obter maior certeza acerca dos resultados obtidos. |
publishDate |
2010 |
dc.date.issued.fl_str_mv |
2010 |
dc.date.available.fl_str_mv |
2011-12-07T17:49:50Z |
dc.date.accessioned.fl_str_mv |
2011-12-07T17:49:50Z |
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 |
http://hdl.handle.net/10926/1270 DMD_hdl_10926/1270 |
dc.identifier.citation.fl_str_mv |
CARMO, Luiz Fernando Rust da Costa; MACHADO, Raphael Carlos Santos. Metrologia temporal na verificação de integridade de software em instrumentos de medição. Produto & Produção, v. 11, n. 1, p. 80-88, 2010. |
url |
http://hdl.handle.net/10926/1270 |
identifier_str_mv |
DMD_hdl_10926/1270 CARMO, Luiz Fernando Rust da Costa; MACHADO, Raphael Carlos Santos. Metrologia temporal na verificação de integridade de software em instrumentos de medição. Produto & Produção, v. 11, n. 1, p. 80-88, 2010. |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.bitstream.fl_str_mv |
application/pdf text/plain |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional do INMETRO instname:Instituto Nacional de Metrologia, Qualidade e Tecnologia (INMETRO) instacron:INMETRO |
instname_str |
Instituto Nacional de Metrologia, Qualidade e Tecnologia (INMETRO) |
instacron_str |
INMETRO |
institution |
INMETRO |
reponame_str |
Repositório Institucional do INMETRO |
collection |
Repositório Institucional do INMETRO |
repository.name.fl_str_mv |
Repositório Institucional do INMETRO - Instituto Nacional de Metrologia, Qualidade e Tecnologia (INMETRO) |
repository.mail.fl_str_mv |
|
_version_ |
1801499965599514624 |