Show simple item record

dc.contributor.authorBunte, S.
dc.contributor.authorZolda, Michael
dc.contributor.authorTautschnig, M.
dc.contributor.authorKirner, Raimund
dc.date.accessioned2013-01-30T09:58:27Z
dc.date.available2013-01-30T09:58:27Z
dc.date.issued2011
dc.identifier.citationBunte , S , Zolda , M , Tautschnig , M & Kirner , R 2011 , Improving the confidence in measurement-based timing analysis . in Procs 14th IEEE Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing : ISORC 2011 Art. No. 5753602 . IEEE , pp. 144-151 . https://doi.org/10.1109/ISORC.2011.27
dc.identifier.isbn978-076954368-0
dc.identifier.otherPURE: 88976
dc.identifier.otherPURE UUID: 12d79b1d-4414-44ec-9c34-505a55746a07
dc.identifier.otherdspace: 2299/6048
dc.identifier.otherScopus: 79958015108
dc.identifier.urihttp://hdl.handle.net/2299/9800
dc.description“This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”
dc.description.abstractMeasurement-based timing analysis (MBTA) is a hybrid approach that combines execution-time measurements with static program analysis techniques to obtain an estimate of the worst-case execution time (WCET) of a program. The most challenging part of MBTA is test data generation. Choosing an adequate set of test vectors determines safety and efficiency of the overall analysis. So far, there are no feasible criteria that determine how well the worst-case temporal behavior of program parts is covered by a given test-suite. In this paper we introduce a relative safety metric that compares test suites with respect to how well the observed worst-case behavior of program parts is exercised. Using this metric, we empirically show that common code coverage criteria from the domain of functional testing can produce unsafe WCET estimates in the context of MBTA for systems with a processor like the TriCore 1796. Further, we use the relative safety metric to examine coverage criteria that require all feasible pairs of, e.g., basic blocks to be exercised in combination. These are shown to be superior to code coverage criteria from the domain of functional testing, but there is still a chance that an unsafe WCET estimate is derived by MBTA in our experimental setup. Based on the outcomes of our evaluation we introduce and examine Balanced Path Generation, an input data generation technique that combines the advantages of all evaluated coverage criteria and random input data generation.en
dc.language.isoeng
dc.publisherIEEE
dc.relation.ispartofProcs 14th IEEE Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
dc.subjectreal-time systems
dc.subjectstructural code coverage
dc.subjectvalidation
dc.subjectworst-case execution time
dc.titleImproving the confidence in measurement-based timing analysisen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.identifier.urlhttp://www.scopus.com/inward/record.url?scp=79958015108&partnerID=8YFLogxK
rioxxterms.versionAM
rioxxterms.versionofrecordhttps://doi.org/10.1109/ISORC.2011.27
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record