Show simple item record

dc.contributor.authorWenzel, Ingomar
dc.contributor.authorKirner, Raimund
dc.contributor.authorRieder, Bernhard
dc.contributor.authorPuschner, Peter
dc.contributor.editorMargaria, T
dc.contributor.editorSteffen, B
dc.date.accessioned2012-05-21T11:56:35Z
dc.date.available2012-05-21T11:56:35Z
dc.date.issued2009
dc.identifier.citationWenzel , I , Kirner , R , Rieder , B & Puschner , P 2009 , Measurement-Based Timing Analysis . in T Margaria & B Steffen (eds) , Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008 . Communications in Computer and Information Science , no. 8 , vol. 17 , Springer Nature , pp. 430-444 , 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation , Porto Sani , 13/10/08 . https://doi.org/10.1007/978-3-540-88479-8_30
dc.identifier.citationconference
dc.identifier.isbn978-3-540-88478-1
dc.identifier.isbn3-540-88478-5
dc.identifier.urihttp://hdl.handle.net/2299/8530
dc.description.abstractIn this paper we present a measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end execution-time measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application code and then compose these times into it safe WCET bound. This raises a number of challenges to be solved. First. there is the question of how to define and Subsequently calculate adequate subparts. Second, a huge amount of test data is required enforcing the execution of selected paths to perform the desired runtime measurements. The presented method provides solutions to both problems. In a number of experiments we show the usefulness of the theoretical concepts and the practical feasibility by using current state-of-the-art industrial case studies from project partners.en
dc.format.extent15
dc.format.extent296853
dc.language.isoeng
dc.publisherSpringer Nature
dc.relation.ispartofLeveraging Applications of Formal Methods, Verification and Validation
dc.relation.ispartofseriesCommunications in Computer and Information Science
dc.subjectCHECKING
dc.titleMeasurement-Based Timing Analysisen
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
rioxxterms.versionofrecord10.1007/978-3-540-88479-8_30
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record