Extending the SCR method for real-time systems

Hyoung Seok Hong; Seung Mo Cho; Sung Deok Cha; Yong Rae Kwon

doi:10.1023/A:1026585115440

Extending the SCR method for real-time systems

Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon

Department of Computer Science and Engineering

Research output: Contribution to journal › Article

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	https://doi.org/10.1023/A:1026585115440
Publication status	Published - 2001 Jan 1

Fingerprint

ASJC Scopus subject areas

Computational Theory and Mathematics
Theoretical Computer Science

Cite this

Hong, H. S., Cho, S. M., Cha, S. D., & Kwon, Y. R. (2001). Extending the SCR method for real-time systems. Real-Time Systems, 20(1), 27-49. https://doi.org/10.1023/A:1026585115440

@article{134b78620cfa463dab840443f561b141,

title = "Extending the SCR method for real-time systems",

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.",

author = "Hong, {Hyoung Seok} and Cho, {Seung Mo} and Cha, {Sung Deok} and Kwon, {Yong Rae}",

year = "2001",

month = "1",

day = "1",

doi = "10.1023/A:1026585115440",

language = "English",

volume = "20",

pages = "27--49",

journal = "Real-Time Systems",

issn = "0922-6443",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Extending the SCR method for real-time systems

AU - Hong, Hyoung Seok

AU - Cho, Seung Mo

AU - Cha, Sung Deok

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 -

Access to Document

10.1023/A:1026585115440