dc.contributor.author | Gustafsson, J. | |
dc.contributor.author | Lisper, B. | |
dc.contributor.author | Kirner, Raimund | |
dc.contributor.author | Puschner, P. | |
dc.date.accessioned | 2013-06-06T08:01:37Z | |
dc.date.available | 2013-06-06T08:01:37Z | |
dc.date.issued | 2006-03 | |
dc.identifier.citation | Gustafsson , 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.issn | 0922-6443 | |
dc.identifier.uri | http://hdl.handle.net/2299/10733 | |
dc.description.abstract | 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. | en |
dc.format.extent | 25 | |
dc.format.extent | 478535 | |
dc.language.iso | eng | |
dc.relation.ispartof | Real-Time systems | |
dc.subject | worst-case execution time analysis | |
dc.subject | real-time languages | |
dc.subject | compiler optimizations | |
dc.subject | code transformation | |
dc.subject | abstract interpretation | |
dc.subject | graph transformation | |
dc.title | Code analysis for temporal predictability | en |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
dc.contributor.institution | Department of Computer Science | |
dc.contributor.institution | School of Physics, Engineering & Computer Science | |
dc.contributor.institution | Centre for Future Societies Research | |
dc.description.status | Peer reviewed | |
rioxxterms.versionofrecord | 10.1007/s11241-005-4683-4 | |
rioxxterms.type | Journal Article/Review | |
herts.preservation.rarelyaccessed | true | |