Input-Dependency Analysis for Hard Real-Time Software

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jan Gustafsson Articles by Björn Lisper Articles by Raimund Kirner Articles by Peter Puschner

Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03F)

Anacapri (Capri Island), Italy

October 01-October 03

ISBN: 0-1795-2054-5

	ASCII Text	x
	Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter Puschner, "Input-Dependency Analysis for Hard Real-Time Software," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 53, Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03F), 2003.

	BibTex	x
	@article{ 10.1109/WORDS.2003.1267490, author = {Jan Gustafsson and Björn Lisper and Raimund Kirner and Peter Puschner}, title = {Input-Dependency Analysis for Hard Real-Time Software}, journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on}, volume = {0}, year = {2003}, isbn = {0-1795-2054-5}, pages = {53}, doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1267490}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on TI - Input-Dependency Analysis for Hard Real-Time Software SN - 0-1795-2054-5 SP EP A1 - Jan Gustafsson, A1 - Björn Lisper, A1 - Raimund Kirner, A1 - Peter Puschner, PY - 2003 KW - null VL - 0 JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on ER -

Jan Gustafsson, Mälardalen University

Björn Lisper, Mälardalen University

Raimund Kirner, Technische Universität Wien

Peter Puschner, Technische Universität Wien

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1267490

The execution time of software 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.

Citation:

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter Puschner, "Input-Dependency Analysis for Hard Real-Time Software," words, pp.53, Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03F), 2003

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.