Time-safety checking for embedded programs Conference Paper


Author(s): Henzinger, Thomas A; Kirsch, Christoph M; Majumdar, Ritankar S; Matic, Slobodan
Title: Time-safety checking for embedded programs
Title Series: LNCS
Affiliation
Abstract: Giotto is a platform-independent language for specifying software for high-performance control applications. In this paper we present a new approach to the compilation of Giotto. Following this approach, the Giotto compiler generates code for a virtual machine, called the E machine, which can be ported to different platforms. The Giotto compiler also checks if the generated E code is time safe for a given platform, that is, if the platform offers sufficient performance to ensure that the E code is executed in a timely fashion that conforms with the Giotto semantics. Time-safety checking requires a schedulability analysis. We show that while for arbitrary E code, the analysis is exponential, for E code generated from typical Giotto programs, the analysis is polynomial. This supports our claim that Giotto identifies a useful fragment of embedded programs.
Conference Title: EMSOFT: Embedded Software
Volume: 2491
Conference Dates: October 7-9, 2002
Conference Location: Grenoble, France
ISBN: 978-145034485-2
Publisher: ACM  
Location: Berlin, Heidelberg
Date Published: 2002-09-25
Start Page: 76
End Page: 92
Sponsor: Supported in part by the DARPA SEC grant F33615-C-98-3614, MARCO GSRC grant 98-DT-660, AFOSR MURI grant F49620-00-1-0327, NSF grant CCR-9988172, and a Microsoft Research Fellowship.
DOI: 10.1007/3-540-45828-X_7
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work