Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
721430 | IFAC Proceedings Volumes | 2006 | 8 Pages |
Abstract
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
Keywords
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
Wolfgang Fengler, Alexander Pacholik, Maria Mologina,