Behavior verification of hybrid real-time requirements by qualitative formalism

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jang-Soo Lee Articles by Sung-Deok Cha

Fourth International Workshop on Real-Time Computing Systems and Applications (RTCSA'97)

Taipei, TAIWAN

October 27-October 29

ISBN: 0-8186-8073-3

	ASCII Text	x
	Jang-Soo Lee, Sung-Deok Cha, "Behavior verification of hybrid real-time requirements by qualitative formalism," Real-Time Computing Systems and Applications, International Workshop on, pp. 127, Fourth International Workshop on Real-Time Computing Systems and Applications (RTCSA'97), 1997.

	BibTex	x
	@article{ 10.1109/RTCSA.1997.629184, author = {Jang-Soo Lee and Sung-Deok Cha}, title = {Behavior verification of hybrid real-time requirements by qualitative formalism}, journal ={Real-Time Computing Systems and Applications, International Workshop on}, volume = {0}, year = {1997}, isbn = {0-8186-8073-3}, pages = {127}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1997.629184}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Real-Time Computing Systems and Applications, International Workshop on TI - Behavior verification of hybrid real-time requirements by qualitative formalism SN - 0-8186-8073-3 SP EP A1 - Jang-Soo Lee, A1 - Sung-Deok Cha, PY - 1997 KW - real-time systems; qualitative formalism; hybrid real-time requirements; behavior verification; real-time systems; formal methods; Compositional Modeling Language; Causal Functional Representation Language; continuous plant dynamics; real-time process control; causal reasoning VL - 0 JA - Real-Time Computing Systems and Applications, International Workshop on ER -

Jang-Soo Lee, MMIS Lab., Korea Atomic Energy Res. Inst., Taejon, South Korea

Sung-Deok Cha, MMIS Lab., Korea Atomic Energy Res. Inst., Taejon, South Korea

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1997.629184

Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze the qualitative properties of hybrid real-time systems. In this paper, we propose the use of qualitative formal methods, Compositional Modeling Language (CML) and Causal Functional Representation Language (CFRL) in particular, to specify continuous plant dynamics and the required behavior respectively. The system behavior has been simulated by a qualitative simulator known as the Device Modeling Environment (DME), and verified against the required behavior. Using the Electrical Power System (EPS) as an example, we demonstrate the effectiveness of our approach by illustrating here a simple SCR-style specification can be transformed and analyzed.

Index Terms:

real-time systems; qualitative formalism; hybrid real-time requirements; behavior verification; real-time systems; formal methods; Compositional Modeling Language; Causal Functional Representation Language; continuous plant dynamics; real-time process control; causal reasoning

Citation:

Jang-Soo Lee, Sung-Deok Cha, "Behavior verification of hybrid real-time requirements by qualitative formalism," rtcsa, pp.127, Fourth International Workshop on Real-Time Computing Systems and Applications (RTCSA'97), 1997

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.