Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System

Conceicao, Carlos A.P.L.; Mattiello-Francisco, Fátima; Batista, Carlos Leandro Gomes

doi:10.1109/ladc.2016.33

Cited by 2 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…FEM is a test execution mechanism that can inject faults into the message exchanged between two software intensive subsystems at the Fig. 2: Test System on Scenario including the FEM [7] communication channel. Thus FEM emulates failures in the communication channel (i.e.…”

Section: Failure Emulator Mechanismmentioning

confidence: 99%

Using Fault Injection on the Nanosatellite Subsystems Integration Testing

Batista,

Corsetti,

Mattiello-Francisco

2021

Preprint

View full text Add to dashboard Cite

Since the 2000's, an increased number of nanosatellites have accessed space. However, studies show that the number of unsuccessful nanosatellite missions is very expressive. Moreover, these statistics are correlated to poor verification and validation processes used by hobbyists satellite developers because major space agencies keep high successful ratings even with small/nano satellites missions due to its rigorous V&V processes. Aiming to improve payloads integration testing of NanosatC-BR-2, a 2-U Cubesat based nanosatellite under development by INPE, the fault injection technique has been used. It is very useful technique to test systems prototypes. This paper presents the design and implementation of a Failure Emulator Mechanism (FEM) on I 2 C communication bus for testing the interaction among the NanosatC-BR2 subsystems, supporting interoperability and robustness requirements verification. The FEM is modelled to work at the communication bus emulating eventual faults of the communicating subsystems in the messages exchanged. Using an Arduino board for the FEM and NI LabView environment it is possible to program the mechanism to inject different faults at the I 2 C bus during different operation modes. Based on a serial architecture, the FEM will be able to intercept all messages and implement different faults as service (i.e. message lost, bit flip and other single upset events) and timing (i.e. delay) faults. The FEM interface with the tester is designed in LabView environment. Control and observation facilities are available to generate and upload the faultload script to FEM Arduino board. The proposed FEM architecture and its implementation are validated using two subsystems under testing prototypes: the OnBoard Data Handling Computer and the Langmuir Probe NanosatC-BR2 payload. For this analysis purpose, the prototypes simulate in two different Arduinos boards the expected behavior of each subsystem in the communication.

show abstract

Section: Failure Emulator Mechanismmentioning

confidence: 99%

Using Fault Injection on the Nanosatellite Subsystems Integration Testing

Batista,

Corsetti,

Mattiello-Francisco

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…It is a software developed at INPE by graduate students of the Space System Engineering Course (INPE/CSE) in collaboration with emergent companies leaded also by INPE's former students. A short Verification and Validation (V&V) process was defined, addressing the interoperability and robustness issues on the interactions among the OBDH and the mission payloads (Conceição et al, 2016). Model-based Testing approaches support the integration testing of the communicating software-intensive systems with the use of a fault-Injection mechanism for robustness verification purposes (Almeida & Mattiello-Francisco, 2017;Batista et al, 2018).…”

Section: Nanosatc-br2: Current Situationmentioning

confidence: 99%

The Nanosatc-Br, Cubesat Development Program - A Joint Cubesat Program Developed by Ufsm and Inpe/McTic - Space Geophysics Mission Payloads and First Results

Schuch¹,

Durao²,

Silva³

et al. 2019

Braz J Geophys

View full text Add to dashboard Cite

ABSTRACT. The INPE-UFSM’s NANOSATC-BR, CubeSats Development Program started in 2008. Currently, the Program counts with two CubeSats: the NANOSATC-BR1 (1U) launched in 2014 and still in operation & the NANOSATC-BR2 (2U), under development, which is expected to be launched in the last quarter of 2019. In this article, the scientific and technological results of the NANOSATC-BR1 and the finalization of NANOSATC-BR2 are presented. Considering the Capacity Building, the major target of the Program, the paper emphasizes the involvement of Universidade Federal de Santa Maria - UFSM undergraduate/graduate students in the conception, development and operation of NANOSATC-BR1, as well as the participation of the Instituto Nacional de Pesquisas Espaciais - INPE graduate students in the onboard data handling (OBDH) software subsystem development, verification and validation for the NANOSATC-BR2. In addition, the collaborations of other Space Science, Engineering and Computer Science institutions involved in Brazil and abroad are discussed. The Program has received financial support from the Brazilian Space Agency (AEB) and the Ministry of Science, Technology, Innovation and Communications (MCTIC). Keywords: cubesats, nanosatellites, capacity building. RESUMO. O programa NANOSATC-BR, Desenvolvimento de CubeSats, parceria INPE – UFSM, teve início em 2008. Atualmente, o Programa conta com dois CubeSats: o NANOSATC-BR1 (1U), lançado em 2014 e ainda em operação, e o NANOSATC-BR2 (2U), que está em desenvolvimento e tem expectativa de lançamento no último trimestre de 2019. Nesse artigo, a finalização do desenvolvimento do NANOSATC-BR2 e os resultados científicos e tecnológicos do NANOSATC-BR1 são apresentados. Considerando a Capacitação Profissional, o maior objetivo do Programa, o artigo dá ênfase ao envolvimento dos alunos de graduação na concepção, desenvolvimento e operação do NANOSATC-BR1, ao mesmo tempo em que enfatiza a participação dos alunos de pós-graduação do INPE no desenvolvimento, verificação e validação do Subsistema de Computador de Bordo para o NANOSATC-BR2. Além disso, colaborações de outras instituições de Ciência Espacial, Engenharia e Institutos de computação aplicada do Brasil e Exterior, são igualmente discutidas. O Programa recebeu suporte financeiro da Agência Espacial Brasileira (AEB) e do Ministério da Ciência, Tecnologia, Inovações e Comunicações (MCTIC). Palavras-chave: cubesats, nanosatélites, formação de recursos humanos.

show abstract

Dependability Verification of Nanosatellite Embedded Software Supported by a Reusable Test System

Cited by 2 publications

References 4 publications

Using Fault Injection on the Nanosatellite Subsystems Integration Testing

Using Fault Injection on the Nanosatellite Subsystems Integration Testing

The Nanosatc-Br, Cubesat Development Program - A Joint Cubesat Program Developed by Ufsm and Inpe/McTic - Space Geophysics Mission Payloads and First Results

Contact Info

Product

Resources

About