Extending the SCR method for real-time systems

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

Research output: Contribution to journalArticlepeer-review


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
Issue number1
Publication statusPublished - 2001 Jan
Externally publishedYes

Bibliographical note

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

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


Dive into the research topics of 'Extending the SCR method for real-time systems'. Together they form a unique fingerprint.

Cite this