共 7 条
[1]
Buttazzo G., 1997, HARD REAL TIME COMPU
[2]
GERSTLAUER A, 2003, P DES AUT TEST EUR M
[3]
RTK-spec TRON: A simulation model of an ITRON based RTOS kernel in systemC
[J].
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS,
2005,
:554-559
[4]
HUSS SA, 2007, DVCON 07 DES VER C E
[5]
KOPETZ H, 1997, REAL TIME SYSTEMS DE
[6]
POSIX modeling in SystemC
[J].
ASP-DAC 2006: 11TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, PROCEEDINGS,
2006,
:485-490