共 117 条
[81]
Shah H, 2012, DES AUT TEST EUROPE, P665
[82]
Sparso J, 2013, DES AUT TEST EUROPE, P1044
[83]
An abstract interpretation-based timing validation of hard real-time avionics software
[J].
2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS,
2003,
:625-632
[85]
Tota SV, 2010, DES AUT TEST EUROPE, P45
[86]
parMERASA - Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability
[J].
16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013),
2013,
:363-370
[88]
Wang D., 2005, ACM SIGARCH Computer Architecture News, V33, P100
[89]
Waterman A., 2011, UCBEECS201162