Show simple item record

dc.contributor.authorKirner, Raimund
dc.contributor.authorPuschner, P.
dc.contributor.editorWerner, B.
dc.date.accessioned2016-03-03T12:35:42Z
dc.date.available2016-03-03T12:35:42Z
dc.date.issued2003
dc.identifier.citationKirner , R & Puschner , P 2003 , Timing analysis of optimised code . in B Werner (ed.) , Procs 8th IEEE Int Workshop on Object-Oriented Real-Time Dependable Systems . IEEE COMPUTER SOC , LOS ALAMITOS , pp. 100-105 , 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003) , GUADALAJARA , 15/01/03 .
dc.identifier.citationconference
dc.identifier.isbn0-7695-1929-6
dc.identifier.otherPURE: 648054
dc.identifier.otherPURE UUID: 05156c6d-1968-4004-9495-e1e574459ee7
dc.identifier.otherWOS: 000185237500013
dc.identifier.urihttp://hdl.handle.net/2299/16680
dc.description.abstractTiming analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capable to produce small and efficient code, software development for DHRTS today is mostly done in high-level languages instead of assembly code. Execution path information available at source code (flow facts) therefore have to be transformed correctly in accordance with code optimisations by the compiler to allow safe and precise WCET analysis. In this paper we present a framework based on abstract interpretation to perform this mandatory transformation of flow facts. Conventional WCET analysis approaches use this information to analyse the object code.en
dc.format.extent6
dc.language.isoeng
dc.publisherIEEE COMPUTER SOC
dc.relation.ispartofProcs 8th IEEE Int Workshop on Object-Oriented Real-Time Dependable Systems
dc.subjectworst-case execution time analysis
dc.subjectexecution times
dc.subjectreal-time languages
dc.subjectcompiler optimisations
dc.subjectcode transformation
dc.titleTiming analysis of optimised codeen
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.contributor.institutionDepartment of Computer Science
dc.contributor.institutionSchool of Engineering and Computer Science
rioxxterms.versionSMUR
rioxxterms.typeOther


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record