| Autor: |
Alexander Pacholik, Wolfgang Fengler, Maria Mologina |
| Rok vydání: |
2006 |
| Předmět: |
|
| Zdroj: |
IFAC Proceedings Volumes. 39:65-72 |
| ISSN: |
1474-6670 |
| Popis: |
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 |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
