A precedence graph model for real-time systems

Author

Erbas, Cengiz ; Tanik, Murat M.

Author_Institution

Accel. Syst. Div., Superconducting Super Collider Lab., Dallas, TX, USA

fYear

1994

fDate

9-11 Nov 1994

Firstpage

403

Lastpage

409

Abstract

There is a need for systematic study of modeling and verification techniques for real-time systems to specify and verify the timing characteristics of such systems. We introduce a precedence graph model to specify and analyze the timing behavior of real-time systems. To be able to test our model´s suitability in a realistic situation, we modeled some of the components of Solenoidal Detector Collaboration Data Acquisition System, UNIDAQ (1993). Furthermore, we investigate the effectiveness of the model for timing analysis for multiprocessing and multiprogramming run-time environments

Keywords

data acquisition; directed graphs; formal specification; multiprocessing systems; multiprogramming; physics; physics computing; real-time systems; timing; Solenoidal Detector Collaboration Data Acquisition System; UNIDAQ; multiprocessing; multiprogramming run-time environments; precedence graph model; real-time systems; realistic situation; systematic study; timing analysis; timing behavior; timing characteristics; verification techniques; Data acquisition; Delay; Detectors; Laboratories; Process control; Random access memory; Real time systems; Runtime environment; System testing; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International

Conference_Location

Taipei

Print_ISBN

0-8186-6705-2

Type

conf

DOI

10.1109/CMPSAC.1994.342771

Filename

342771