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

Author

Tsai, Jeffrey J P ; Weigert, Thomas

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

fYear

1996

fDate

1-2 Feb 1996

Firstpage

8

Lastpage

16

Abstract

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

Keywords

formal specification; graph theory; real-time systems; specification languages; temporal logic; timing; FRORL requirements specification language; graph-theoretical algorithms; logic-based requirements language; model checking; nonfunctional aspects; real-time systems; specification; temporal logic; timing constraints; Aerospace electronics; Command and control systems; Logic; Production; Programming; Real time systems; Safety; Software algorithms; Specification languages; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Laguna Beach, CA

Print_ISBN

0-8186-7570-5

Type

conf

DOI

10.1109/WORDS.1996.506256

Filename

506256