aiT: Worst case execution time analyzer. aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.

References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Kozyrev, V.P.: Estimation of the execution time in real-time systems (2016) ioport
  2. Davis, Robert I.; Burns, Alan: A survey of hard real-time scheduling for multiprocessor systems (2011)
  3. Alias, Christophe; Darte, Alain; Feautrier, Paul; Gonnord, Laure: Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs (2010)
  4. Falk, Heiko; Lokuciejewski, Paul: A compiler framework for the reduction of worst-case execution times (2010)
  5. Gulwani, Sumit; Mehra, Krishna K.; Chilimbi, Trishul: SPEED: precise and efficient static estimation of program computational complexity (2009)
  6. Plazar, Sascha; Lokuciejewski, Paul; Marwedel, Peter: WCET-aware software based cache partitioning for multi-task real-time systems (2009) ioport
  7. Holsti, Niklas; Gustafsson, Jan; Bernat, Guillem; Ballabriga, Clément; Bonenfant, Armelle; Bourgade, Roman; Cassé, Hugues; Cordes, Daniel; Kadlec, Albrecht; Kirner, Raimund; Knoop, Jens; Lokuciejewski, Paul; Merriam, Nicholas; De Michiel, Marianne; Prantl, Adrian; Rieder, Bernhard; Rochange, Christine; Sainrat, Pascal; Schordan, Markus: WCET 2008 -- report from the tool challenge 2008 -- 8th intl. Workshop on worst-case execution time (WCET) analysis (2008) ioport
  8. Ferdinand, Christian; Martin, Florian; Cullmann, Christoph; Schlickling, Marc; Stein, Ingmar; Thesing, Stephan; Heckmann, Reinhold: New developments in WCET analysis (2007)
  9. Li, Xianfeng; Liang, Yun; Mitra, Tulika; Roychoudhury, Abhik: Chronos: A timing analyzer for embedded software (2007)
  10. Ferdinand, Christian; Heckmann, Reinhold: Verifying timing behavior by abstract interpretation of executable code (2005)
  11. Ferdinand, Christian; Heckmann, Reinhold; Langenbach, Marc; Martin, Florian; Schmidt, Michael; Theiling, Henrik; Thesing, Stephan; Wilhelm, Reinhard: Reliable and precise WCET determination for a real-life processor (2001)