aiT

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 12 articles )

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

  1. Wägemann, Peter; Dietrich, Christian; Distler, Tobias; Ulbrich, Peter; Schröder-Preikschat, Wolfgang: Whole-system worst-case energy-consumption analysis for energy-constrained real-time systems (2018)
  2. Kozyrev, V. P.: Estimation of the execution time in real-time systems (2016) ioport
  3. Davis, Robert I.; Burns, Alan: A survey of hard real-time scheduling for multiprocessor systems (2011)
  4. Alias, Christophe; Darte, Alain; Feautrier, Paul; Gonnord, Laure: Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs (2010)
  5. Falk, Heiko; Lokuciejewski, Paul: A compiler framework for the reduction of worst-case execution times (2010)
  6. Gulwani, Sumit; Mehra, Krishna K.; Chilimbi, Trishul: SPEED: precise and efficient static estimation of program computational complexity (2009)
  7. Plazar, Sascha; Lokuciejewski, Paul; Marwedel, Peter: WCET-aware software based cache partitioning for multi-task real-time systems (2009) ioport
  8. 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
  9. Ferdinand, Christian; Martin, Florian; Cullmann, Christoph; Schlickling, Marc; Stein, Ingmar; Thesing, Stephan; Heckmann, Reinhold: New developments in WCET analysis (2007)
  10. Li, Xianfeng; Liang, Yun; Mitra, Tulika; Roychoudhury, Abhik: Chronos: A timing analyzer for embedded software (2007)
  11. Ferdinand, Christian; Heckmann, Reinhold: Verifying timing behavior by abstract interpretation of executable code (2005)
  12. 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)