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

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
Externally publishedYes

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

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

Cite this