A Hardware Implementation to Emulate Traffic Characteristics Based on Timed Automata Models

CHEN Ya; LI Qiao; ZHAO Luxi

doi:10.3969/j.issn.1671-637x.2013.11.017

[1] RAJEEV ADAVID L D.A theory of timed automata ［J］.Theoretical Computer Science1994126(2):183-235.

[3] ANDERS HLARSEN K GMIKUCIONIS Met al.Testing realtime systems using UPPAAL［M］.Formal Methods and TestingLNCS 4949Berlin Heidelberg:SpringerVerlag2008:77-117.

[4] LARSEN K GMIKUCIONIS MNIELSEN Bet al.Testing realtime embedded software using UPPAALTRON:An industrial case study ［C］//ACM.EMSOFT05Jersey CityNew JerseyUSA2005:299-306.

[5] KROKORA JHANZALEK Z.FPGA based tester tool for hybird realtime systems ［J］.Microprocessors and Microsystems200832(8):447-459.

[6] LAMPKA KPERATHONER STHIELE L.Analytic realtime analysis and timed automata:A hybrid methodology for the performance analysis of embedded realtime systems ［J］.Design Automation for Embedded Systems201014(3):193-227.

[7] BEHRMANN GDAVID ALARSEN K A.A tutorial on UPPAAL ［Z］.Denmark:Department of Computer ScienceAalborg University2004.

[8] LE BOUDEC J YTHIRAN P.Network calculus:A theory of deterministic queuing systems for the internet ［M］.New York:SpringerVerlag2001.