Title: A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems
Authors: Wafa Gabsi; Bechir Zalila; Jèrôme Hugues
Addresses: ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, B.P. 1173, 3038 Sfax, Tunisia ' ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, B.P. 1173, 3038 Sfax, Tunisia ' MARS Research Group, Institut Supérieur de l'Aéronautique et de l'Espace, Université de Toulouse, France
Abstract: The implementation of hard real-time systems is an extremely tedious task today due to safety and dynamic reconfiguration requirements. For that, whatever the taken precautions, the occurrence of faults in such systems is sometimes unavoidable. So, developers have to take into account the presence of faults since the design level. In this context, we notice the need of techniques ensuring the dependability of real-time distributed dynamically reconfigurable systems. We focus on fault-tolerance, that means avoiding service failures in the presence of faults. In this paper, we have defined a development process for modelling and generating fault tolerance code for real-time systems using aspect-oriented programming. First, we integrate fault tolerance elements since the modelling step of a system in order to take advantage of features of analysis, proof and verification possible at this stage using AADL and its annex error model annex. Second, we extend an aspect-oriented language and adapt it to comply with real-time requirements. Finally, we define a code generation process for both functional preoccupations and cross-cutting ones like fault tolerance and we propose an extension of an existent middleware. To validate our contribution, we use AADL and its annexes to design a landing gear system as an embedded distributed one.
Keywords: fault tolerance; aspect-oriented programming; AOP; real-time systems; dynamic reconfiguration; Architecture Analysis and Design Language; AADL; error modelling; system design; code generation; fault tolerant systems; reconfigurable systems; landing gear systems; aircraft landing gear; embedded systems.
International Journal of Autonomous and Adaptive Communications Systems, 2016 Vol.9 No.3/4, pp.269 - 287
Published online: 05 Oct 2016 *Full-text access for editors Access for subscribers Purchase this article Comment on this article