Title: A practical approach for the porting of the Ravenscar profile from ADA to C: method, rules adaptation and supporting tools

Authors: Claudia Rinaldi; Fabio Romano; Paolo Serri; Luca Tiberi

Addresses: Centre of Excellence DEWS, University of L'Aquila, L'Aquila, Italy ' Centre of Excellence DEWS, University of L'Aquila, L'Aquila, Italy ' Thales Alenia Space Italia (TASI), L'Aquila, Italy ' Centre of Excellence DEWS, University of L'Aquila, L'Aquila, Italy

Abstract: While conceiving with hard real time systems, determinism is the main requirement that must be satisfied in order to properly predict their behaviour as required by their definition. For achieving this purpose an available solution is restricting Ada language tasking features to the Ada Ravenscar profile subset. This paper presents a solution to apply the Ravenscar profile concepts in systems where the tasking management is based on RTEMS real-time operating system, and C and Ada languages are used together. Moreover, a SW tool to automatically check the compliance with Ravenscar is proposed and the outcomes of some experimental activities proving the effectiveness of the SW tool are discussed.

Keywords: Ravenscar profile; Ada; C; RTEMS.

DOI: 10.1504/IJCAT.2022.130293

International Journal of Computer Applications in Technology, 2022 Vol.70 No.2, pp.85 - 93

Received: 23 Oct 2021
Accepted: 18 Feb 2022
Published online: 17 Apr 2023 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article