Towards Behavioral Model Fault Isolation for Object Oriented Control Systems
We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. Thus, we perform pos...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Linköpings universitet, TCSLAB - Laboratoriet för teoretisk datalogi
2001
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5734 http://nbn-resolving.de/urn:isbn:9172199121 |