Input-dependency analysis for hard real-time software

J. Gustafsson, B. Lisper, Raimund Kirner, P. Puschner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)
66 Downloads (Pure)

Abstract

The execution time of soft-ware for hard real-time systems must be predictable. Further safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be computable. We conceived a programming strategy called WCET-oriented programming and a code transformation strategy, the single-path conversion, that aid programmers in producing code that meets these requirements. These strategies avoid respectively eliminate input-data dependencies in the code. The paper describes the formal analysis, based on abstract interpretation, that identifies input-data dependencies in the code and thus forms the basis for the strategies provided for hard real-time code development.

Original languageEnglish
Title of host publication9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems
Subtitle of host publication(WORDS 2003 Fall)
EditorsL. Bacellar, K.H. Kim, L. Romano, S. Russo
Place of PublicationLOS ALAMITOS
PublisherIEEE COMPUTER SOC
Pages53-60
Number of pages8
ISBN (Print)0-7695-2054-5
DOIs
Publication statusPublished - 2004
Event9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems - Anacapri
Duration: 1 Oct 20033 Oct 2003

Conference

Conference9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
CityAnacapri
Period1/10/033/10/03

Fingerprint

Dive into the research topics of 'Input-dependency analysis for hard real-time software'. Together they form a unique fingerprint.

Cite this