Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors
Martin Becker, Ravindra Metta, R Venkatesh +1
Estimating the Worst-Case Execution Time (WCET) of an application is an essential task in the context of developing real-time or safety-critical software, but it is also a complex…
cs.SE2017
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
Martin Becker, Emanuel Regnath, Samarjit Chakraborty
SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilit…