Show simple item record

dc.contributor.authorGustafsson, J.
dc.contributor.authorLisper, B.
dc.contributor.authorKirner, Raimund
dc.contributor.authorPuschner, P.
dc.date.accessioned2013-06-06T08:01:37Z
dc.date.available2013-06-06T08:01:37Z
dc.date.issued2006-03
dc.identifier.citationGustafsson , J , Lisper , B , Kirner , R & Puschner , P 2006 , ' Code analysis for temporal predictability ' , Real-Time systems , vol. 32 , no. 3 , pp. 253-277 . https://doi.org/10.1007/s11241-005-4683-4
dc.identifier.issn0922-6443
dc.identifier.otherPURE: 646919
dc.identifier.otherPURE UUID: d9344b74-e6cd-4663-aa5f-c5a31cf9d9c8
dc.identifier.otherWOS: 000236206800006
dc.identifier.otherScopus: 33746921210
dc.identifier.urihttp://hdl.handle.net/2299/10733
dc.description.abstractThe 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.en
dc.format.extent25
dc.language.isoeng
dc.relation.ispartofReal-Time systems
dc.rightsOpen
dc.subjectworst-case execution time analysis
dc.subjectreal-time languages
dc.subjectcompiler optimizations
dc.subjectcode transformation
dc.subjectabstract interpretation
dc.subjectgraph transformation
dc.titleCode analysis for temporal predictabilityen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.description.statusPeer reviewed
dc.relation.schoolSchool of Computer Science
dc.description.versiontypeSubmitted Version
dcterms.dateAccepted2006-03
rioxxterms.versionSMUR
rioxxterms.versionofrecordhttps://doi.org/10.1007/s11241-005-4683-4
rioxxterms.typeJournal Article/Review
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record