MODELING TECHNIQUE FOR MODEL BASED ERROR LOCALIZATION AND ERROR REMOVAL BASED ON EXTENDED UML ACTIVITY DIAGRAMS

This paper presents a formal error localization and error removal method for control systems based on extended UML activity diagrams. In technical systems function dependencies are described by a forward structure. Failures can be detected by non-occurred events (timeouts) and located by a stepwise search for the reason in terms of not started activities. IFAC Copyright 2006