Show simple item record

dc.contributor.authorZolda, M.
dc.contributor.authorBünte, S.
dc.contributor.authorKirner, Raimund
dc.date.accessioned2011-01-25T15:33:07Z
dc.date.available2011-01-25T15:33:07Z
dc.date.issued2010
dc.identifier.citationZolda , M , Bünte , S & Kirner , R 2010 , Context-sensitivity in IPET for measurement-based timing analysis . in Leveraging Applications of Formal Methods, Verification and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II . Lecture Notes in Computer Science , vol. 6416 , Springer , pp. 487-490 . https://doi.org/10.1007/978-3-642-16561-0_45
dc.identifier.isbn978-3-642-16560-3
dc.identifier.isbn978-3-642-16561-0
dc.identifier.otherPURE: 1707110
dc.identifier.otherPURE UUID: bb73757b-7192-4683-8226-812a966cc36d
dc.identifier.otherdspace: 2299/5229
dc.identifier.otherScopus: 78650265808
dc.identifier.urihttp://hdl.handle.net/2299/5229
dc.descriptionThe original publication is available at www.springerlink.com Copyright Springer Verlag
dc.description.abstractThe Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-critical software components. While the technique works fine whenever fixed execution times can be assumed for the atomic program parts, standard IPET does not consider the context-dependence of execution times. As a result, the obtained WCET bounds can often be overly pessimistic. The issue of context-dependence has previously been addressed in the field of static timing analysis, where context-dependent execution times of program parts can be extracted from a hardware model. In the case of measurement-based execution time analysis, however, contexts must be derived from timed execution traces. In the present extended abstract we present an overview of our work on the automatic detection and exploitation of context dependencies from timed execution traces. © 2010 Springer-Verlag.en
dc.format.extent4
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofLeveraging Applications of Formal Methods, Verification and Validation
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.titleContext-sensitivity in IPET for measurement-based timing analysisen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.contributor.institutionDepartment of Computer Science
dc.contributor.institutionSchool of Physics, Engineering & Computer Science
dc.contributor.institutionCentre for Future Societies Research
dc.identifier.urlhttp://www.scopus.com/inward/record.url?scp=78650265808&partnerID=8YFLogxK
rioxxterms.versionAM
rioxxterms.versionofrecordhttps://doi.org/10.1007/978-3-642-16561-0_45
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record