Paper Info
Title
Towards Formally Verifiable WCET Analysis for a Functional Programming Language
Abstract
This paper describes ongoing work aimed at the construction of formal cost models and analyses to yield verifiable guarantees of resource usage in the context of real-time embedded systems. Our work is conducted in terms of the domain-specific language Hume, a language that combines func- tional programming for computations with finite- state automata for specifying reactive systems. We outline an approach in which high-level informa- tion derived from source-code analysis can be com- bined with worst-case execution time information obtained from high quality abstract interpretation of low-level binary code.
Year
Venue
Keywords
2006
WCET
domain specific language,worst case execution time,reactive system,functional programming language,finite state automata
Field
DocType
Citations 
Specification language,Functional reactive programming,Functional logic programming,Programming language,Programming paradigm,Computer science,Real-time computing,High-level programming language,Reactive programming,Low-level programming language,Programming language implementation
Conference
4
PageRank 
References 
Authors
0.41
18
12
Name
Order
Citations
PageRank
Kevin Hammond127633.68
Christian Ferdinand232025.89
Reinhold Heckmann3152994.73
Roy Dyckhoff445249.09
Martin Hofmann570.94
Steffen Jost624712.36
Hans-Wolfgang Loidl734038.89
Greg Michaelson818528.16
R. F. Pointon9696.74
N. Scaife1028221.86
Jocelyn Sérot1116018.08
Andy Wallace12121.44