Input-dependency analysis for hard real-time software

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

doi:10.1109/WORDS.2003.1267490

Input-dependency analysis for hard real-time software

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

82 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 language	English
Title of host publication	9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems
Subtitle of host publication	(WORDS 2003 Fall)
Editors	L. Bacellar, K.H. Kim, L. Romano, S. Russo
Place of Publication	LOS ALAMITOS
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	53-60
Number of pages	8
ISBN (Print)	0-7695-2054-5
DOIs	https://doi.org/10.1109/WORDS.2003.1267490
Publication status	Published - 2004
Event	9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems - Anacapri Duration: 1 Oct 2003 → 3 Oct 2003

Conference

Conference	9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
City	Anacapri
Period	1/10/03 → 3/10/03

Access to Document

10.1109/WORDS.2003.1267490

preprintSubmitted manuscript, 186 KB

Cite this

Gustafsson, J., Lisper, B., Kirner, R., & Puschner, P. (2004). Input-dependency analysis for hard real-time software. In L. Bacellar, K. H. Kim, L. Romano, & S. Russo (Eds.), 9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems: (WORDS 2003 Fall) (pp. 53-60). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/WORDS.2003.1267490

@inproceedings{851ec29434934e69ad12aacc6be898be,

title = "Input-dependency analysis for hard real-time software",

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.",

author = "J. Gustafsson and B. Lisper and Raimund Kirner and P. Puschner",

year = "2004",

doi = "10.1109/WORDS.2003.1267490",

language = "English",

isbn = "0-7695-2054-5",

pages = "53--60",

editor = "L. Bacellar and K.H. Kim and L. Romano and S. Russo",

booktitle = "9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems ; Conference date: 01-10-2003 Through 03-10-2003",

}

Gustafsson, J, Lisper, B, Kirner, R & Puschner, P 2004, Input-dependency analysis for hard real-time software. in L Bacellar, KH Kim, L Romano & S Russo (eds), 9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems: (WORDS 2003 Fall). Institute of Electrical and Electronics Engineers (IEEE), LOS ALAMITOS, pp. 53-60, 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Anacapri, 1/10/03. https://doi.org/10.1109/WORDS.2003.1267490

Input-dependency analysis for hard real-time software. / Gustafsson, J. ; Lisper, B. ; Kirner, Raimund et al.
9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems: (WORDS 2003 Fall). ed. / L. Bacellar; K.H. Kim; L. Romano; S. Russo. LOS ALAMITOS: Institute of Electrical and Electronics Engineers (IEEE), 2004. p. 53-60.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Input-dependency analysis for hard real-time software

AU - Gustafsson, J.

AU - Lisper, B.

AU - Kirner, Raimund

AU - Puschner, P.

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

U2 - 10.1109/WORDS.2003.1267490

DO - 10.1109/WORDS.2003.1267490

M3 - Conference contribution

SN - 0-7695-2054-5

SP - 53

EP - 60

BT - 9th IEEE Int Workshop on Object-oriented Real-time Dependable Systems

A2 - Bacellar, L.

A2 - Kim, K.H.

A2 - Romano, L.

A2 - Russo, S.

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - LOS ALAMITOS

T2 - 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems

Y2 - 1 October 2003 through 3 October 2003

ER -

Input-dependency analysis for hard real-time software

Abstract

Conference

Access to Document

Fingerprint

Cite this