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 language | English |
|---|---|
| Title of host publication | Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA |
| Editors | Anon |
| Place of Publication | Piscataway, NJ, United States |
| Publisher | IEEE |
| Pages | 127-134 |
| Number of pages | 8 |
| Publication status | Published - 1997 Dec 1 |
| Externally published | Yes |
| Event | Proceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA - Taipei, Taiwan Duration: 1997 Oct 27 → 1997 Oct 29 |
Other
| Other | Proceedings of the 1997 4th International Workshop on Real-Time Computing Systems and Applications, RTCSA |
|---|---|
| City | Taipei, Taiwan |
| Period | 97/10/27 → 97/10/29 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
Cite this
Behavior verification of hybrid real-time requirements by qualitative formalism. / Lee, Jang Soo; Cha, Sungdeok.
Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA. ed. / Anon. Piscataway, NJ, United States : IEEE, 1997. p. 127-134.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Behavior verification of hybrid real-time requirements by qualitative formalism
AU - Lee, Jang Soo
AU - Cha, Sungdeok
PY - 1997/12/1
Y1 - 1997/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0031359054&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0031359054&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0031359054
SP - 127
EP - 134
BT - Proceedings of the International Workshop on Real-Time Computing Systems and Applications/RTCSA
A2 - Anon, null
PB - IEEE
CY - Piscataway, NJ, United States
ER -