Return to search

Verificação de Projetos de Sistemas Embarcados através de Cossimulação Hardware/Software

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2016-02-16T14:54:49Z
No. of bitstreams: 1
arquivovotal.pdf: 4473573 bytes, checksum: 152c2f0d263c50dcbea7d500d5f7f5da (MD5) / Made available in DSpace on 2016-02-16T14:54:49Z (GMT). No. of bitstreams: 1
arquivovotal.pdf: 4473573 bytes, checksum: 152c2f0d263c50dcbea7d500d5f7f5da (MD5)
Previous issue date: 2015-08-17 / Este trabalho propõe um ambiente para verificação de sistemas embarcados heterogêneos
através da cossimulação distribuída. A verificação ocorre de maneira síncrona entre o
software do sistema e o sistema embarcado usando a High Level Architecture (HLA) como
middeware. A novidade desta abordagem não é apenas fornecer suporte para simulações,
mas também permitir a integração sincronizada com todos os dispositivos de hardware
físico. Neste trabalho foi utilizado o Ptolemy como uma plataforma de simulação. A
integração do HLA com Ptolemy e os modelos de hardware abre um vasto conjunto de
aplicações, como o de teste de vários dispositivos ao mesmo tempo, executando os mesmos,
ou diferentes aplicativos ou módulos, a execução de multiplos dispositivos embarcados para
a melhoria de performance. Além disso a abordagem de utilização do HLA, permite que
sejam interligados ao ambiente, qualquer tipo de robô, assim como qualquer outro simulador
diferente do Ptolemy. Estudo de casos são apresentado para provar o conceito, mostrando
a integração bem sucedida entre o Ptolemy e o HLA e a verificação de sistemas utilizando
Hardware-in-the-loop e Robot-in-the-loop. / This work proposes an environment for verification of heterogeneous embedded systems
through distributed co-simulation. The verification occurs in real-time co-simulating the
system software and hardware platform using the High Level Architecture (HLA) as a
middleware. The novelty of this approach is not only providing support for simulations,
but also allowing the synchronous integration with any physical hardware devices. In this
work we use the Ptolemy framework as a simulation platform. The integration of HLA
with Ptolemy and the hardware models open a vast set of applications, like the test of many
devices at the same time, running the same, or different applications or modules, the usage
of Ptolemy for real-time control of embedded systems and the distributed execution of
different embedded devices for performance improvement. Furthermore the use of HLA
approach allows them to be connected to the environment, any type of robot, as well as
any other Ptolemy simulations. Case studies are presented to prove the concept, showing
the successful integration between Ptolemy and the HLA and verification systems using
Hardware-in-the-loop and Robot-in-the-loop.

Identiferoai:union.ndltd.org:IBICT/oai:tede.biblioteca.ufpb.br:tede/7856
Date17 August 2015
CreatorsSilva Junior, José Cláudio Vieira e
ContributorsBrito, Alisson Vasconcelos de, Tiago Pereira do , Nascimento
PublisherUniversidade Federal da Paraíba, Programa de Pós-Graduação em Informática, UFPB, Brasil, Informática
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações da UFPB, instname:Universidade Federal da Paraíba, instacron:UFPB
Rightsinfo:eu-repo/semantics/openAccess
Relation4679641312648529202, 600, 600, 600, 7879657947546587587, 3671711205811204509

Page generated in 0.0023 seconds