摘要
TheALICETriggerandDataAcquisition(TRG/DAQ)Systemisrequiredtosupportanaggregateeventbuildingbandwidthofupto4GByte/sandastoragecapabilityofupto1.25GByte/stomassstorage.Thesystemhasbeendecomposedinasetofhardwareandsoftwarecomponentsandprototypesofthesecomponentsarebeingdeveloped.Itisnecessarytoveritythesystemdesign,itscapabilitytoreachtheexpectedbehaviorandthetargetperformances,discoverpossiblebottlenecksandwaystocorrectforthem,andexplorealternativealgorithmsandnewarchitectures.ToachievethisthecompleteTRG/DAQsystemhasbeenformallyspecified.andtheverificationoftheexpectedbehaviorhasbeenperformedthroughtheexecutionofthespecification,Twotoolswereusedforthis.Foresight,andPtolemy.
出版日期
2001年01月11日(中国期刊网平台首次上网日期,不代表论文的发表时间)