View in EDS PDF Full Text

A Virtualized Architecture for Software-in-the-Loop Testing Applied to the LEON3 Processor.

Saved in:
Bibliographic Details
Title: A Virtualized Architecture for Software-in-the-Loop Testing Applied to the LEON3 Processor.
Authors: Santos, Luiz Henrique Antoniassi1 luiz.antoniassi7@gmail.com, Veiga, Jackson Tavares1, França, Rodrigo de Marca1, Rofino, Fabio1, Schneider, Carlo Terzaghi Tuck1, Souza, Marco Antonio Furlan de1, Augusto, Sergio Ribeiro1, Gueter, Daniel Dalla Vecchia1, Parro, Vanderlei Cunha1
Source: Journal of Aerospace Technology & Management. 2025, Vol. 17, p1-19. 19p.
Subjects: Emulation software, Software validation, Virtual machine systems, Aerospace industries, Embedded computer systems, Computer performance
Abstract: The increasing complexity of embedded systems in aerospace missions, particularly within the New Space paradigm, calls for more agile and cost-effective approaches to software and hardware integration. Traditional prototype-heavy development cycles are being replaced by virtualization and emulation techniques that support faster, iterative validation. Despite the growing adoption of such techniques, few studies propose a flexible and stable software-in-the-loop (SIL) framework tailored to emulated environments in the aerospace sector, especially considering open-source and widespread tools and technologies. This work addresses this gap by introducing a formal and adaptable SIL testing architecture based on the Quick EMUlator (QEMU), an open-source emulation platform, as its core. The framework targets the LEON3 processor, widely used in aerospace applications, and was validated through three sequential test scenarios integrating emulated environments and physical counterparts. These tests assessed software correctness, logical consistency, and timing behavior. Results confirmed full test success rates and the logical fidelity of the virtualized system, while revealing inherent timing discrepancies, characterized by an average advance of 20 ms in processing and transmission times compared to the physical counterpart. Despite these differences, the framework demonstrated sufficient accuracy and reliability for software testing in virtualized environments, provided its timing variations are properly accounted for. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Aerospace Technology & Management is the property of Departamento de Ciencia Tecnologia Aeroespacial (DCTA) and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 190243813
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A Virtualized Architecture for Software-in-the-Loop Testing Applied to the LEON3 Processor.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Santos%2C+Luiz+Henrique+Antoniassi%22">Santos, Luiz Henrique Antoniassi</searchLink><relatesTo>1</relatesTo><i> luiz.antoniassi7@gmail.com</i><br /><searchLink fieldCode="AR" term="%22Veiga%2C+Jackson+Tavares%22">Veiga, Jackson Tavares</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22França%2C+Rodrigo+de+Marca%22">França, Rodrigo de Marca</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Rofino%2C+Fabio%22">Rofino, Fabio</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Schneider%2C+Carlo+Terzaghi+Tuck%22">Schneider, Carlo Terzaghi Tuck</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Souza%2C+Marco+Antonio+Furlan+de%22">Souza, Marco Antonio Furlan de</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Augusto%2C+Sergio+Ribeiro%22">Augusto, Sergio Ribeiro</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Gueter%2C+Daniel+Dalla+Vecchia%22">Gueter, Daniel Dalla Vecchia</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Parro%2C+Vanderlei+Cunha%22">Parro, Vanderlei Cunha</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Aerospace+Technology+%26+Management%22">Journal of Aerospace Technology & Management</searchLink>. 2025, Vol. 17, p1-19. 19p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Emulation+software%22">Emulation software</searchLink><br /><searchLink fieldCode="DE" term="%22Software+validation%22">Software validation</searchLink><br /><searchLink fieldCode="DE" term="%22Virtual+machine+systems%22">Virtual machine systems</searchLink><br /><searchLink fieldCode="DE" term="%22Aerospace+industries%22">Aerospace industries</searchLink><br /><searchLink fieldCode="DE" term="%22Embedded+computer+systems%22">Embedded computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+performance%22">Computer performance</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The increasing complexity of embedded systems in aerospace missions, particularly within the New Space paradigm, calls for more agile and cost-effective approaches to software and hardware integration. Traditional prototype-heavy development cycles are being replaced by virtualization and emulation techniques that support faster, iterative validation. Despite the growing adoption of such techniques, few studies propose a flexible and stable software-in-the-loop (SIL) framework tailored to emulated environments in the aerospace sector, especially considering open-source and widespread tools and technologies. This work addresses this gap by introducing a formal and adaptable SIL testing architecture based on the Quick EMUlator (QEMU), an open-source emulation platform, as its core. The framework targets the LEON3 processor, widely used in aerospace applications, and was validated through three sequential test scenarios integrating emulated environments and physical counterparts. These tests assessed software correctness, logical consistency, and timing behavior. Results confirmed full test success rates and the logical fidelity of the virtualized system, while revealing inherent timing discrepancies, characterized by an average advance of 20 ms in processing and transmission times compared to the physical counterpart. Despite these differences, the framework demonstrated sufficient accuracy and reliability for software testing in virtualized environments, provided its timing variations are properly accounted for. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Journal of Aerospace Technology & Management is the property of Departamento de Ciencia Tecnologia Aeroespacial (DCTA) and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=190243813
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1590/jatm.v17.1381
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 19
        StartPage: 1
    Subjects:
      – SubjectFull: Emulation software
        Type: general
      – SubjectFull: Software validation
        Type: general
      – SubjectFull: Virtual machine systems
        Type: general
      – SubjectFull: Aerospace industries
        Type: general
      – SubjectFull: Embedded computer systems
        Type: general
      – SubjectFull: Computer performance
        Type: general
    Titles:
      – TitleFull: A Virtualized Architecture for Software-in-the-Loop Testing Applied to the LEON3 Processor.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Santos, Luiz Henrique Antoniassi
      – PersonEntity:
          Name:
            NameFull: Veiga, Jackson Tavares
      – PersonEntity:
          Name:
            NameFull: França, Rodrigo de Marca
      – PersonEntity:
          Name:
            NameFull: Rofino, Fabio
      – PersonEntity:
          Name:
            NameFull: Schneider, Carlo Terzaghi Tuck
      – PersonEntity:
          Name:
            NameFull: Souza, Marco Antonio Furlan de
      – PersonEntity:
          Name:
            NameFull: Augusto, Sergio Ribeiro
      – PersonEntity:
          Name:
            NameFull: Gueter, Daniel Dalla Vecchia
      – PersonEntity:
          Name:
            NameFull: Parro, Vanderlei Cunha
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: 2025
              Type: published
              Y: 2025
          Identifiers:
            – Type: issn-print
              Value: 19849648
          Numbering:
            – Type: volume
              Value: 17
          Titles:
            – TitleFull: Journal of Aerospace Technology & Management
              Type: main
ResultId 1