Static analysis of WCET in a satellite software subsystem
暂无分享,去创建一个
[1] Alan Burns,et al. Fixed priority pre-emptive scheduling: An historical perspective , 1995, Real-Time Systems.
[2] Mathai Joseph,et al. Finding Response Times in a Real-Time System , 1986, Comput. J..
[3] Tullio Vardanega,et al. Preservation of Timing Properties with the Ada Ravenscar Profile , 2010, Ada-Europe.
[4] Jorge Garrido Balaguer,et al. Analysis of WCET in an experimental satellite software development. , 2012, WCET 2012.
[5] Tullio Vardanega,et al. Automated model-based generation of Ravenscar-compliant source code , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).
[6] Tullio Vardanega,et al. Ada 2005 code patterns for metamodel-based code generation , 2007 .
[7] José F. Ruiz. GNAT Pro for On-board Mission-Critical Space Applications , 2005, Ada-Europe.
[8] Jakob Engblom,et al. The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.
[9] Emilio Salazar,et al. Design of On-Board Software for an Experimental Satellite ∗ , 2013 .
[10] Matteo Bordin,et al. Ada 2005 code patterns for metamodel-based code generation , 2007, IRTAW '07.
[11] Alan Burns,et al. Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.
[12] Barry J. Epstein,et al. The Sparc Architecture Manual/Version 8 , 1992 .
[13] José F. Ruiz,et al. An Open Ravenscar Real-Time Kernel for GNAT , 2000, Ada-Europe.