Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos
Autor(a) principal: | |
---|---|
Data de Publicação: | 2013 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações do ITA |
Texto Completo: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2870 |
Resumo: | A utilização de processadores modernos no segmento espacial possibilitou o aumento de desempenho dos sistemas embarcados críticos, tornando a operação através de um Sistema Operacional de Tempo Real - SOTR inevitável. Entretanto, os efeitos que as características do núcleo do SOTR tem na aplicação devem ser considerados. Assim, o principal requisito de uma aplicação espacial baseada em um SOTR, segundo a norma "ECSS-E-ST-40C: Software", é a verificação se o comportamento de tempo real é previsível. Atualmente, estão disponíveis abordagens baseadas em software para a verificação temporal, tais como a utilização de modelos analíticos e simulação, conjuntos dedicados ao teste de temporização, benchmarks e análise estática de código. Uma vez que não há padronização acerca das metodologias, essas abordagens podem resultar na superestimação temporal e de recursos. Nesse contexto, a utilização de ferramentas de hardware externas para medir o desempenho das características do núcleo de um SOTR são de suma importância nas aplicações espaciais. O presente trabalho propõe o Ambiente de análise de Desempenho de Tempo Real - ADTR para a medição de overheads e verificação temporal das características do núcleo de um SOTR. A abordagem é baseada em uma ferramenta de hardware minimamente intrusiva projetada utilizando uma Field Programmable Gate Array - FPGA. Os experimentos foram conduzidos com a nova ferramenta em um estudo de caso de aplicação em computadores de bordo para satélites, baseado no processador ERC32 e o SOTR Real-Time Executive for Multiprocessor Systems - RTEMS. São apresentados dois modelos de teste, considerados aqui como duas características do núcleo do RTEMS: chaveamento de contexto com preempção e latência de interrupção externa com preempção. Os resultados mostram a eficiência da nova ferramenta para medição das duas características. É possível utilizar o novo ambiente para complementar outros métodos de verificação temporal para o atendimento da norma. |
id |
ITA_3e23bb0060bbee7f0b4eef7666f43089 |
---|---|
oai_identifier_str |
oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2870 |
network_acronym_str |
ITA |
network_name_str |
Biblioteca Digital de Teses e Dissertações do ITA |
spelling |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivosSistemas de computadores embarcadosAvaliação de desempenho de softwareBase de dados temporalOperação em tempo realComputaçãoA utilização de processadores modernos no segmento espacial possibilitou o aumento de desempenho dos sistemas embarcados críticos, tornando a operação através de um Sistema Operacional de Tempo Real - SOTR inevitável. Entretanto, os efeitos que as características do núcleo do SOTR tem na aplicação devem ser considerados. Assim, o principal requisito de uma aplicação espacial baseada em um SOTR, segundo a norma "ECSS-E-ST-40C: Software", é a verificação se o comportamento de tempo real é previsível. Atualmente, estão disponíveis abordagens baseadas em software para a verificação temporal, tais como a utilização de modelos analíticos e simulação, conjuntos dedicados ao teste de temporização, benchmarks e análise estática de código. Uma vez que não há padronização acerca das metodologias, essas abordagens podem resultar na superestimação temporal e de recursos. Nesse contexto, a utilização de ferramentas de hardware externas para medir o desempenho das características do núcleo de um SOTR são de suma importância nas aplicações espaciais. O presente trabalho propõe o Ambiente de análise de Desempenho de Tempo Real - ADTR para a medição de overheads e verificação temporal das características do núcleo de um SOTR. A abordagem é baseada em uma ferramenta de hardware minimamente intrusiva projetada utilizando uma Field Programmable Gate Array - FPGA. Os experimentos foram conduzidos com a nova ferramenta em um estudo de caso de aplicação em computadores de bordo para satélites, baseado no processador ERC32 e o SOTR Real-Time Executive for Multiprocessor Systems - RTEMS. São apresentados dois modelos de teste, considerados aqui como duas características do núcleo do RTEMS: chaveamento de contexto com preempção e latência de interrupção externa com preempção. Os resultados mostram a eficiência da nova ferramenta para medição das duas características. É possível utilizar o novo ambiente para complementar outros métodos de verificação temporal para o atendimento da norma.Instituto Tecnológico de AeronáuticaOsamu SaotomeGeorge Marconi de Araújo LimaFernando Garcia Nicodemos2013-12-19info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2870reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:04:59Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2870http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:40:14.991Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue |
dc.title.none.fl_str_mv |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos |
title |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos |
spellingShingle |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos Fernando Garcia Nicodemos Sistemas de computadores embarcados Avaliação de desempenho de software Base de dados temporal Operação em tempo real Computação |
title_short |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos |
title_full |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos |
title_fullStr |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos |
title_full_unstemmed |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos |
title_sort |
Análise de características temporais de sistemas operacionais de tempo real para aplicações espaciais utilizando métodos minimamente intrusivos |
author |
Fernando Garcia Nicodemos |
author_facet |
Fernando Garcia Nicodemos |
author_role |
author |
dc.contributor.none.fl_str_mv |
Osamu Saotome George Marconi de Araújo Lima |
dc.contributor.author.fl_str_mv |
Fernando Garcia Nicodemos |
dc.subject.por.fl_str_mv |
Sistemas de computadores embarcados Avaliação de desempenho de software Base de dados temporal Operação em tempo real Computação |
topic |
Sistemas de computadores embarcados Avaliação de desempenho de software Base de dados temporal Operação em tempo real Computação |
dc.description.none.fl_txt_mv |
A utilização de processadores modernos no segmento espacial possibilitou o aumento de desempenho dos sistemas embarcados críticos, tornando a operação através de um Sistema Operacional de Tempo Real - SOTR inevitável. Entretanto, os efeitos que as características do núcleo do SOTR tem na aplicação devem ser considerados. Assim, o principal requisito de uma aplicação espacial baseada em um SOTR, segundo a norma "ECSS-E-ST-40C: Software", é a verificação se o comportamento de tempo real é previsível. Atualmente, estão disponíveis abordagens baseadas em software para a verificação temporal, tais como a utilização de modelos analíticos e simulação, conjuntos dedicados ao teste de temporização, benchmarks e análise estática de código. Uma vez que não há padronização acerca das metodologias, essas abordagens podem resultar na superestimação temporal e de recursos. Nesse contexto, a utilização de ferramentas de hardware externas para medir o desempenho das características do núcleo de um SOTR são de suma importância nas aplicações espaciais. O presente trabalho propõe o Ambiente de análise de Desempenho de Tempo Real - ADTR para a medição de overheads e verificação temporal das características do núcleo de um SOTR. A abordagem é baseada em uma ferramenta de hardware minimamente intrusiva projetada utilizando uma Field Programmable Gate Array - FPGA. Os experimentos foram conduzidos com a nova ferramenta em um estudo de caso de aplicação em computadores de bordo para satélites, baseado no processador ERC32 e o SOTR Real-Time Executive for Multiprocessor Systems - RTEMS. São apresentados dois modelos de teste, considerados aqui como duas características do núcleo do RTEMS: chaveamento de contexto com preempção e latência de interrupção externa com preempção. Os resultados mostram a eficiência da nova ferramenta para medição das duas características. É possível utilizar o novo ambiente para complementar outros métodos de verificação temporal para o atendimento da norma. |
description |
A utilização de processadores modernos no segmento espacial possibilitou o aumento de desempenho dos sistemas embarcados críticos, tornando a operação através de um Sistema Operacional de Tempo Real - SOTR inevitável. Entretanto, os efeitos que as características do núcleo do SOTR tem na aplicação devem ser considerados. Assim, o principal requisito de uma aplicação espacial baseada em um SOTR, segundo a norma "ECSS-E-ST-40C: Software", é a verificação se o comportamento de tempo real é previsível. Atualmente, estão disponíveis abordagens baseadas em software para a verificação temporal, tais como a utilização de modelos analíticos e simulação, conjuntos dedicados ao teste de temporização, benchmarks e análise estática de código. Uma vez que não há padronização acerca das metodologias, essas abordagens podem resultar na superestimação temporal e de recursos. Nesse contexto, a utilização de ferramentas de hardware externas para medir o desempenho das características do núcleo de um SOTR são de suma importância nas aplicações espaciais. O presente trabalho propõe o Ambiente de análise de Desempenho de Tempo Real - ADTR para a medição de overheads e verificação temporal das características do núcleo de um SOTR. A abordagem é baseada em uma ferramenta de hardware minimamente intrusiva projetada utilizando uma Field Programmable Gate Array - FPGA. Os experimentos foram conduzidos com a nova ferramenta em um estudo de caso de aplicação em computadores de bordo para satélites, baseado no processador ERC32 e o SOTR Real-Time Executive for Multiprocessor Systems - RTEMS. São apresentados dois modelos de teste, considerados aqui como duas características do núcleo do RTEMS: chaveamento de contexto com preempção e latência de interrupção externa com preempção. Os resultados mostram a eficiência da nova ferramenta para medição das duas características. É possível utilizar o novo ambiente para complementar outros métodos de verificação temporal para o atendimento da norma. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-12-19 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis |
status_str |
publishedVersion |
format |
doctoralThesis |
dc.identifier.uri.fl_str_mv |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2870 |
url |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2870 |
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.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Instituto Tecnológico de Aeronáutica |
publisher.none.fl_str_mv |
Instituto Tecnológico de Aeronáutica |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações do ITA instname:Instituto Tecnológico de Aeronáutica instacron:ITA |
reponame_str |
Biblioteca Digital de Teses e Dissertações do ITA |
collection |
Biblioteca Digital de Teses e Dissertações do ITA |
instname_str |
Instituto Tecnológico de Aeronáutica |
instacron_str |
ITA |
institution |
ITA |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica |
repository.mail.fl_str_mv |
|
subject_por_txtF_mv |
Sistemas de computadores embarcados Avaliação de desempenho de software Base de dados temporal Operação em tempo real Computação |
_version_ |
1706809291954978816 |