Requirements specification and evaluation for transient faults in communication protocols based on RT-FRIDA framework
Alexandre dos Santos Roque, Gerson L. Nunes, Edison Pignaton de Freitas, Carlos Eduardo Pereira · IFAC-PapersOnLine · 2018
This paper presents an evaluation of requirements specification for two critical real-time control systems, which depends of industrial communications protocols. It is proposed the use of aspect-oriented modeling (AOM) to map transient fault behaviors in design phases, with RT-FRIDA framework extended for fault modeling capabilities. Requirements specification for an Active suspension control system and for a fault detection control system applied in agricultural implements was made as case study. Faults are specified as non-functional requirements and evaluated applying a quantitative softgoal weight method. Results presented indicates aspect-oriented fault modeling as an important ally to specify faults that have potential to degrade performance of real-time control systems.