Extending the SCR Method for Real-Time Systems

Authors:
Hyoung Seok Hong;Seung Mo Cho;Sung Deok Cha;Yong Rae Kwon
Affiliations:
EECS Department and Advanced Information Technology Research Center (AITrc) Korea Advanced Institute of Science and Technology (KAIST);EECS Department and Advanced Information Technology Research Center (AITrc) Korea Advanced Institute of Science and Technology (KAIST);EECS Department and Advanced Information Technology Research Center (AITrc) Korea Advanced Institute of Science and Technology (KAIST);Korea Advanced Institute of Science and Technology (KAIST)
Venue:
Real-Time Systems
Year:
2001

Citing 19
Cited 0

Object-oriented development

IEEE Transactions on Software Engineering
Safety analysis of timing properties in real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Introduction to the theory of programming languages

Introduction to the theory of programming languages
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Temporal proof methodologies for timed transition systems

Information and Computation
Modechart: A Specification Language for Real-Time Systems

IEEE Transactions on Software Engineering
A logic-model semantics for SCR software requirements

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Automated consistency checking of requirements specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Documentation for safety critical software

ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formal verification of parallel programs

Communications of the ACM
Software Design Methods for Concurrent and Real-Time Systems

Software Design Methods for Concurrent and Real-Time Systems
The Core Method for Real-Time Requirements

IEEE Software
State-Based Model Checking of Event-Driven System Requirements

IEEE Transactions on Software Engineering
Timed and Hybrid Statecharts and Their Textual Representation

Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Timed Semantics for the STATEMATE Implementation of Statecharts

FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
The anchored version of the temporal framework

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Logics and Models of Real Time: A Survey

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Timed Transition Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

Wepropose timed SCR specifications, which are a generalizationof SCR specifications, intended to specify quantitative timingproperties of real-time systems. We extend the tabular notationof the SCR method to deal with sporadic and periodic timing constraints.We present a formal semantics for timed SCR specifications bytranslating them into timed transition systems. A shutdown systemin Korean nuclear power plants is used as a case study to illustratetimed SCR specifications.