Specifying redundancy tactics as crosscutting concerns using aspect oriented mod

Various redundancy tactics can be modeled at the design stage of safety—critical system s thereby providing a set of fault—tolerance guidelines for subsequent development activities.However,existing approaches usually interweave redundancy tactics into the functional models making them complex an d cluttered;the maintenance of such models is time—consuming an d error-prone.To address this problem,we provide a modeling approach to separate the redundancy tactics from the base functional models u