Abstract
We propose timed SCR specifications, which are a generalization of SCR specifications, intended to specify quantitative timing properties of real-time systems. We extend the tabular notation of the SCR method to deal with sporadic and periodic timing constraints. We present a formal semantics for timed SCR specifications by translating them into timed transition systems. A shutdown system in Korean nuclear power plants is used as a case study to illustrate timed SCR specifications.
Original language | English |
---|---|
Pages (from-to) | 27-49 |
Number of pages | 23 |
Journal | Real-Time Systems |
Volume | 20 |
Issue number | 1 |
DOIs | |
Publication status | Published - 2001 Jan 1 |
Fingerprint
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Theoretical Computer Science
Cite this
Extending the SCR method for real-time systems. / Hong, Hyoung Seok; Cho, Seung Mo; Cha, Sungdeok; Kwon, Yong Rae.
In: Real-Time Systems, Vol. 20, No. 1, 01.01.2001, p. 27-49.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Extending the SCR method for real-time systems
AU - Hong, Hyoung Seok
AU - Cho, Seung Mo
AU - Cha, Sungdeok
AU - Kwon, Yong Rae
PY - 2001/1/1
Y1 - 2001/1/1
N2 - We propose timed SCR specifications, which are a generalization of SCR specifications, intended to specify quantitative timing properties of real-time systems. We extend the tabular notation of the SCR method to deal with sporadic and periodic timing constraints. We present a formal semantics for timed SCR specifications by translating them into timed transition systems. A shutdown system in Korean nuclear power plants is used as a case study to illustrate timed SCR specifications.
AB - We propose timed SCR specifications, which are a generalization of SCR specifications, intended to specify quantitative timing properties of real-time systems. We extend the tabular notation of the SCR method to deal with sporadic and periodic timing constraints. We present a formal semantics for timed SCR specifications by translating them into timed transition systems. A shutdown system in Korean nuclear power plants is used as a case study to illustrate timed SCR specifications.
UR - http://www.scopus.com/inward/record.url?scp=0035121199&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0035121199&partnerID=8YFLogxK
U2 - 10.1023/A:1026585115440
DO - 10.1023/A:1026585115440
M3 - Article
AN - SCOPUS:0035121199
VL - 20
SP - 27
EP - 49
JO - Real-Time Systems
JF - Real-Time Systems
SN - 0922-6443
IS - 1
ER -