Institute of Electrical & Electronic Engineers
Meeting safety requirements typically require substantial invasive extensions to applications. Even in the absence of faults, the overhead associated with these invasive extensions may unacceptably increase execution time. In this paper, the authors focus on a number of experiments with schemes for error detection, having a 3D path planning application for an avionics system as case study. They analyze how these error detection schemes can be implemented to meeting system's time budget. The experiments allowed the user to acquire the requirements for automating the application of the error detection schemes in the context of a hardware/software design-flow, and to determine how those schemes can be addressed using a novel approach where safety requirements are described using an aspect- and strategy-oriented programming language, named LARA.