Extending the SCR method for real-time systems

Hyoung Seok Hong, Seung Mo Cho, Sungdeok Cha, Yong Rae Kwon

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)27-49
Number of pages23
JournalReal-Time Systems
Volume20
Issue number1
DOIs
Publication statusPublished - 2001 Jan 1

Fingerprint

Real time systems
Thyristors
Specification
Real-time
Specifications
Timing
Nuclear Power Plant
Formal Semantics
Transition Systems
Notation
Plant shutdowns
Nuclear power plants
Semantics

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 journalArticle

Hong, Hyoung Seok ; Cho, Seung Mo ; Cha, Sungdeok ; Kwon, Yong Rae. / Extending the SCR method for real-time systems. In: Real-Time Systems. 2001 ; Vol. 20, No. 1. pp. 27-49.
@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 Sungdeok Cha 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, 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 -