Title :
Using ITL and Tempura for large-scale specification and simulation
Author :
Cau, Antonio ; Zedan, Hussein ; Coleman, Nick ; Moszkowski, Ben
Author_Institution :
Sch. of Comput. & Math. Sci., Liverpool John Moores Univ., UK
Abstract :
ITL and Tempura are used for respectively the formal specification and simulation of a large scale system, namely the general purpose multi threaded dataflow processor EP/3. The paper shows that this processor can be specified concisely within ITL and simulated with Tempura. But it also discusses some problems encountered during the specification and simulation, and indicates what should be added to solve those problems
Keywords :
data flow computing; formal specification; parallel machines; virtual machines; ITL; Tempura; formal specification; general purpose multi threaded dataflow processor EP/3; large scale specification; large scale system simulation; Application software; Calculus; Computational modeling; Costs; Data flow computing; Hardware; Large-scale systems; Logic; Production systems; Software systems;
Conference_Titel :
Parallel and Distributed Processing, 1996. PDP '96. Proceedings of the Fourth Euromicro Workshop on
Conference_Location :
Braga
Print_ISBN :
0-8186-7376-1
DOI :
10.1109/EMPDP.1996.500624
