mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Code Analysis for Temporal Predictability
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0001-6571-0175
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0001-5297-6548
Technische Universität Wien, Austria.
Technische Universität Wien, Austria.
2006 (English)In: Real-time systems, ISSN 0922-6443, E-ISSN 1573-1383, Vol. 32, no 3, p. 253-277Article in journal (Refereed) Published
Abstract [en]

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

Place, publisher, year, edition, pages
2006. Vol. 32, no 3, p. 253-277
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:mdh:diva-6894DOI: 10.1007/s11241-005-4683-4ISI: 000236206800006Scopus ID: 2-s2.0-33746921210OAI: oai:DiVA.org:mdh-6894DiVA, id: diva2:236904
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2017-12-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Gustafsson, JanLisper, Björn

Search in DiVA

By author/editor
Gustafsson, JanLisper, Björn
By organisation
Department of Computer Science and Electronics
In the same journal
Real-time systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 49 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf