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

Research output: Contribution to journal › Article › peer-review

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
Externally published	Yes

ASJC Scopus subject areas

Control and Systems Engineering
Modelling and Simulation
Computer Science Applications
Computer Networks and Communications
Control and Optimization
Electrical and Electronic Engineering

Access to Document

10.1023/A:1026585115440

Cite this

@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}",

note = "Funding Information: This work was supported by the Korea Science and Engineering Foundation (KOSEF) through the Advanced Information Technology Research Center (AITrc).",

year = "2001",

month = jan,

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

N1 - Funding Information: This work was supported by the Korea Science and Engineering Foundation (KOSEF) through the Advanced Information Technology Research Center (AITrc).

PY - 2001/1

Y1 - 2001/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

U2 - 10.1023/A:1026585115440

DO - 10.1023/A:1026585115440

M3 - Article

AN - SCOPUS:0035121199

SN - 0922-6443

VL - 20

SP - 27

EP - 49

JO - Real-Time Systems

JF - Real-Time Systems

IS - 1

ER -

Extending the SCR method for real-time systems

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this