Name
Abstract | ||
|---|---|---|
Computer control of discrete applications present a challenging dependability problem since any wrong output may lead the system to a completely anomalous state. This is in contrast with continuous feedback systems where wrong outputs can only gradually deviate the system under control from its intended set point. Transient errors may even be filtered by the latency inherent to the physical application. In this paper we extend our previous experimental research on the use of the fail-bounded model in continuous feedback systems into discrete control applications in order to evaluate whether it could be applied to this kind of problems. The reset-driven approach was used as the basic error detection and recovery mechanism complemented by assertions based on the Petri Net modeling of the problem, thus taking advantage of the discrete nature of the applications. The well-known semaphore control problem is used as testbed for experimental evaluation by fault-injection in the controller. The main contribution of this paper is to present experimental data showing that effectively the fail-bounded model can be applied to discrete applications whenever a continuous physical system exists in the control loop. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-75294-3_12 | LADC |
Keywords | Field | DocType |
discrete nature,fail-bounded model,failure boundedness,challenging dependability problem,discrete control application,computer control,well-known semaphore control problem,continuous feedback system,wrong output,control loop,discrete application,petri net,feedback system | Control theory,Dependability,Petri net,Semaphore,Physical system,Control theory,Computer science,Control engineering,Control system,Control reconfiguration,Discrete system,Distributed computing | Conference |
Volume | ISSN | ISBN |
4746 | 0302-9743 | 3-540-75293-5 |
Citations | PageRank | References |
0 | 0.34 | 12 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| João Muranho | 1 | 0 | 0.34 |
| Paula Prata | 2 | 26 | 6.58 |
| Mário Zenha-Rela | 3 | 7 | 2.31 |
| João Gabriel Silva | 4 | 618 | 63.55 |