Abstract | ||
---|---|---|
Modeling timing behaviors of systems and verifying timing constraints against the model are major tasks in developing real-time systems. However, it is recognized to be extremely difficult to predict the timing behavior of systems precisely in the requirements phase. Timing uncertainty, if not considered properly in the modeling and verifying steps, may incur subtle, yet critical errors in final products. We propose a method of dealing with such timing uncertainty using an extended duration calculus formalism. The extended duration calculus, named fuzzy duration calculus , allows us to specify uncertain timing behavior of the system using the fuzzy theory. Semantics and proof system of the duration calculus are redefined in order to accommodate fuzzy concepts. Based on the semantics and proof system, we can verify timing constraints against the system model. A portion of nuclear power plant (NPP) control system is employed to demonstrate the feasibility and the effectiveness of our approach. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1016/S0164-1212(99)00112-0 | Journal of Systems and Software |
Keywords | Field | DocType |
timing uncertainty,real-time system,control system,system modeling,duration calculus,real time systems | Computer science,Fuzzy logic,Real-time computing,Nuclear power plant,Control system,Formalism (philosophy),Duration calculus,Semantics,System model | Journal |
Volume | Issue | ISSN |
50 | 1 | The Journal of Systems & Software |
Citations | PageRank | References |
0 | 0.34 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hyun Seop Bae | 1 | 27 | 2.32 |
In Sang Chung | 2 | 64 | 6.76 |
Yong Rae Kwon | 3 | 1031 | 50.37 |