Book: Theories and Experiences for Real-Time System Development
Teodor Rus & Charles Rattray (Editors)
AMAST Series in Computing, Volume 2, 1994, ISBN 981-02-1923-7
World Scientific, Singapore. 444 pages, price: US$ 86.
Order information: see
[AL0203S1]
.
More info
.
To consider the AMAST perspective on real-time systems, a first AMAST
Workshop on Real-Time Systems was held in Iowa City, in November 1993.
All the speakers were invited. All the authors had the opportunity to
refine their papers as a result of the lively discussions that took
place during the Workshop. A tangible product of this procedure is the
present volume. The contents and authors are listed below.
-
Real-time system = discrete system + clock variables
(R Alur & TA Henzinger)
-
Real-time CSP (J Davies & S Schneider)
-
Visual tools for verifying real-time systems (J S Ostroff)
-
Designing supervisors for real-time systems (D Ionescu)
-
Real-time symbolic model-checking (SV Campos & EM Clarke)
-
Verification of an audio control protocol
(D Bosscher, I Pollak & F Vaandrager)
-
Approximations for verif. timing properties (H Wong-Toi & DL Dill)
-
A Timed Full LOTOS with Time/Action Tree Semantics
(T Bolognesi & F Lucidi)
-
A Timed LOTOS extension (J Quemada, C Miguel, D deFrutos & L Llana)
-
Status-oriented telephone service spec. (B Stepien & L Logrippo)
-
Experimenting with LOTOS in the aerospace industry
(H Garavel & RP Hautbois)
-
Performance analysis and true concurrency semantics
(E Brinksma, JP Katoen, R Langerak & D Latella)
-
State machines, temporal logic and alg. data models (A Gabrielian)
-
An experiment in developing real-time systems using Mec
(D Begay, J Dormoy & P Felix)