By Topic

A logic-based requirements language for the specification and analysis of real-time systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Tsai, J.J.P. ; Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA ; Weigert, T.

The applications of real-time systems have dramatically increased over recent years. Requirements for real-time systems need to specify timing constraints. In this paper, we augment the FRORL requirements specification language with constructs specifically geared towards capturing requirements of real-time systems. We give meaning to these constructs through temporal logic. The non-functional aspects of a specification such as temporal properties asserted of a real-time system and the consistency of timing constraints can be verified through model checking and graph-theoretical algorithms

Published in:

Object-Oriented Real-Time Dependable Systems,1996. Proceedings of WORDS '96., Second Workshop on

Date of Conference:

1-2 Feb 1996