Code Analysis for Temporal Predictability

Gustafsson, JanMälardalens högskola,Institutionen för datavetenskap och elektronik (författare)

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.

Lisper, BjörnMälardalens högskola,Institutionen för datavetenskap och elektronik(Swepub:mdh)blr01 (författare)
Kirner, RaimundTechnische Universität Wien, Austria (författare)
Puschner, PeterTechnische Universität Wien, Austria (författare)
Mälardalens högskolaInstitutionen för datavetenskap och elektronik (creator_code:org_t)

Ingår i:Real-time systems: Springer Science and Business Media LLC32:3, s. 253-2770922-64431573-1383

Av författaren/redakt...: Gustafsson, Jan; Lisper, Björn; Kirner, Raimund; Puschner, Peter

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Inbäddad systemt ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.