Specification and Simulation of the ALICE Trigger and DAQ System

在线阅读 下载PDF 导出详情
摘要 TheALICETriggerandDataAcquisition(TRG/DAQ)Systemisrequiredtosupportanaggregateeventbuildingbandwidthofupto4GByte/sandastoragecapabilityofupto1.25GByte/stomassstorage.Thesystemhasbeendecomposedinasetofhardwareandsoftwarecomponentsandprototypesofthesecomponentsarebeingdeveloped.Itisnecessarytoveritythesystemdesign,itscapabilitytoreachtheexpectedbehaviorandthetargetperformances,discoverpossiblebottlenecksandwaystocorrectforthem,andexplorealternativealgorithmsandnewarchitectures.ToachievethisthecompleteTRG/DAQsystemhasbeenformallyspecified.andtheverificationoftheexpectedbehaviorhasbeenperformedthroughtheexecutionofthespecification,Twotoolswereusedforthis.Foresight,andPtolemy.
机构地区 不详
出版日期 2001年01月11日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献