dc.contributor.author | Wenzel, Ingomar | |
dc.contributor.author | Kirner, Raimund | |
dc.contributor.author | Rieder, Bernhard | |
dc.contributor.author | Puschner, Peter | |
dc.contributor.editor | Margaria, T | |
dc.contributor.editor | Steffen, B | |
dc.date.accessioned | 2012-05-21T11:56:35Z | |
dc.date.available | 2012-05-21T11:56:35Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Wenzel , 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 Link , 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.citation | conference | |
dc.identifier.isbn | 978-3-540-88478-1 | |
dc.identifier.isbn | 3-540-88478-5 | |
dc.identifier.uri | http://hdl.handle.net/2299/8530 | |
dc.description.abstract | In 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.extent | 15 | |
dc.format.extent | 296853 | |
dc.language.iso | eng | |
dc.publisher | Springer Nature Link | |
dc.relation.ispartof | Leveraging Applications of Formal Methods, Verification and Validation | |
dc.relation.ispartofseries | Communications in Computer and Information Science | |
dc.subject | CHECKING | |
dc.title | Measurement-Based Timing Analysis | 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.contributor.institution | Cybersecurity and Computing Systems | |
rioxxterms.versionofrecord | 10.1007/978-3-540-88479-8_30 | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |