Behavior verification of hybrid real-time requirements by qualitative formalism

Jang Soo Lee, Sung Deok Cha

Research output: Contribution to conferencePaper

2 Citations (Scopus)

Abstract

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 how a simple SCR-style specification can be transformed and analyzed.

Original languageEnglish
Pages127-134
Number of pages8
Publication statusPublished - 1997
EventProceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA - Taipei, Taiwan
Duration: 1997 Oct 271997 Oct 29

Other

OtherProceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA
CityTaipei, Taiwan
Period97/10/2797/10/29

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Behavior verification of hybrid real-time requirements by qualitative formalism'. Together they form a unique fingerprint.

  • Cite this

    Lee, J. S., & Cha, S. D. (1997). Behavior verification of hybrid real-time requirements by qualitative formalism. 127-134. Paper presented at Proceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA, Taipei, Taiwan, .