1 |
R. Wilhelm, J. Engblom, A. Ermedahi et al. "The Worst-Case Execution-Time Problem - Overview of Methods and Survey of Tools", TECS, 2008. http://dx.doi.org/10.1145/1347375.1347389
DOI
|
2 |
P. Puschner, R. Nossal, "Testing the results of static worst-case execution-time analysis", In Proc. of the 19th IEEE Real-Time Systems Symposium, pp. 134-143, 1998. http://dx.doi.org/10.1109/REAL.1998.739738
DOI
|
3 |
R. Kirner, P. Puschner, et al. "Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation". In WCET'04 Proceedings, 2004. https://www.irisa.fr/manifestations/2004/wcet2004/Papers/Kirner.pdf
|
4 |
D. Sandell, A. Ermedahl, et al. "Static timing analysis of real-time operating system code", In Proc. of the 1st Int'l Symposium on Leveraging Applications of Formal Methods, 2004. http://dx.doi.org/10.1007/11925040_10
DOI
|
5 |
N. Holsti, T. Langbacka, S. Saarinen, "Using a worst-case execution-time tool for real-time verification of the DEBIE software", In Proc. of the DASIA 2000, 2000. https://www.researchgate.net/publication/248257120_Using_a_Worst-Case_Execution_Time_Tool_for_Real -Time_Verification_of_the_Debie_Software
|
6 |
P. Puschner, A. Schedl, "Computing maximum task execution times - A graph-based approach", J. Real-Time Syst, vol. 13, no. 1, pp. 67-91, 1997. http://dx.doi.org/10.1023/A:1007905003094
DOI
|
7 |
O. Scheid, Autosar Compendium, Part 1: Application & RTE, 1st Ed., CreateSpace Independent Publishing Platform, 2015.
|
8 |
C. Watkins, "Integrated modular avionics: managing the allocation of shared intersystem resources", Proceedings of the 25th Digital Avionics Systems Conference (DASC), 2006. http://dx.doi.org/10.1109/DASC.2006.313743
DOI
|
9 |
J.-L. Terraillon, "SAVOIR: Reusing specifications to improve the way we deliver avionics", In Embedded Real Time Software and Systems 2012, 2012. http://web1.see.asso.fr/erts2012/Site/0P2RUC89/6C-1.pdf
|
10 |
D. McComas, NASA/GSFC's Flight Software Core Flight System, BiblioGov, 2013.
|
11 |
Texas Instruments Inc., SPRU733A, TMS320C67x/C67x+ DSP CPU and Instruction Set Reference Guide.
|