Specifying and Verifying Real-Time Systems with Timing Uncertainty

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. (C) 2000 Elsevier Science Inc. All rights reserved.
Publisher
Elsevier Science Inc
Issue Date
2000-01
Language
ENG
Keywords

CALCULUS

Citation

JOURNAL OF SYSTEMS AND SOFTWARE, v.50, no.1, pp.85 - 96

ISSN
0164-1212
URI
http://hdl.handle.net/10203/74697
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
  • Hit : 105
  • Download : 0
  • Cited 0 times in thomson ci
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡClick to seewebofscience_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0