Title :
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
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;
Conference_Titel :
Computer Software and Applications Conference, 1994. COMPSAC 94. Proceedings., Eighteenth Annual International
Conference_Location :
Taipei
Print_ISBN :
0-8186-6705-2
DOI :
10.1109/CMPSAC.1994.342771
