Requirements specification and evaluation for transient faults in communication protocols based on RT-FRIDA framework

Abstract

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.