ALF

ALF (ARTIST2 language for flow analysis) specification. ALF (ARTIST2 Language for Flow Analysis) is a language intended to be used for flow analysis in conjunction with WCET (Worst Case Execution Time) analysis. ALF is designed to be possible to generate from a rich set of sources: linked binaries, source code, compiler intermediate formats, and possibly more

References in zbMATH (referenced in 2 articles )

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

  1. Kozyrev, V. P.: Estimation of the execution time in real-time systems (2016) ioport
  2. Gustafsson, Jan; Ermedahl, Andreas; Lisper, Björn; Sandberg, Christer; Källberg, Linus: ALF -- a language for WCET flow analysis (2009) ioport