Impacts of the Space Technology Evolution in the V&V of Embedded Software-Intensive Systems

CubeSat-based nanosatellites are composed of COTS components and rely on its structure and standardized interfaces. A challenge in the nanosatellites context is to adapt the V&V (Verification and Validation) process to answer to the increase importance of the embedded software, to reduce the artefacts to be delivered aiming at cutting cost and time and still complying with international standards. This work presents an analysis of the strategy adopted in a real nanosatellite for the development of the OBDH software embedded in NanosatC-BR2 mission. The goal is to discuss the impact that the standardization of the structure and interfaces of the CubeSat impose on the V&V process of the SiS and to highlight the challenges of “New Space Age“ for the use of existing V&V techniques and methods.

READ FULL TEXT
research
09/04/2018

The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

The MISRA project started in 1990 with the mission of providing world-le...
research
06/03/2021

Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems

In this work, we outline a cross-domain assurance process for safety-rel...
research
11/24/2019

Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems

Cyber Physical Systems are systems controlled or monitored by computer-b...
research
01/13/2021

Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain

On-board embedded software developed for spaceflight systems (space soft...
research
05/11/2016

A Survey: Embedded Systems Supporting By Different Operating Systems

In these days embedded system have an important role in different Fields...
research
11/06/2017

Reducing Certification Granularity to Increase Adaptability of Avionics Software

A strong certification process is required to insure the safety of airpl...
research
05/26/2022

Embedded System Evolution in IoT System Development Based on MAPE-K Loop Mechanism

Embedded systems including IoT devices are designed for specialized func...

Please sign up or login with your details

Forgot password? Click here to reset