Specification and Simulation of the ALICE Trigger and DAQ System
摘要
The ALICE Trigger and Data Acquisition (TRG/DAQ) System is required to support an aggregate event building bandwidth of up to 4 GByte/s and a storage capability of up to 1.25 GByte/s to mass storage.The system has been decomposed in a set of hardware and software components and prototypes of these components are being developed.It is necessary to verity the system design,its capability to reach the expected behavior and the target performances,discover possible bottlenecks and ways to correct for them,and explore alternative algorithms and new architectures.To achieve this the complete TRG/DAQ system has been formally specified.and the verification of the expected behavior has been performed through the execution of the specification,Two tools were used for this.Foresight,and Ptolemy.