Analyzing partially-implemented real-time systems

Author

Avrunin, George S. ; Corbett, James C. ; Dillon, Laura K.

Author_Institution

Dept. of Math. & Stat., Massachusetts Univ., Amherst, MA, USA

Volume

24

Issue

8

fYear

1998

fDate

8/1/1998 12:00:00 AM

Firstpage

602

Lastpage

614

Abstract

Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, such as a specification or programming language. There are, however, many situations in which developers would benefit from tools that could analyze partially-implemented systems: those for which some components are given only as high-level specifications while others are fully implemented in a programming language. In this paper, we propose a method for analyzing such partially-implemented real-time systems. We consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and graphical interval logic (GIL), a real-time temporal logic. We show how to construct models of the partially-implemented systems that account for such properties as run-time overhead and scheduling of processes, yet support tractable analysis of nontrivial programs. The approach can be fully automated, and we illustrate it by analyzing a small example

Keywords

Ada; algebraic specification; multiprocessing programs; processor scheduling; program diagnostics; real-time systems; temporal logic; Ada-implemented components; GIL; graphical interval logic; high-level specifications; hybrid systems; partially specified components; partially-implemented real-time systems analysis; process scheduling; programming language; real-time concurrent systems; real-time temporal logic; regular expressions; run-time overhead; static analysis; Computer Society; Computer languages; Concurrent computing; Error correction; Logic programming; Processor scheduling; Real time systems; Sequential analysis; System testing; Timing;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.707696

Filename

707696