{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T19:10:22Z","timestamp":1742670622036,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642285394"},{"type":"electronic","value":"9783642285400"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28540-0_5","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T14:48:22Z","timestamp":1331218102000},"page":"61-75","source":"Crossref","is-referenced-by-count":1,"title":["Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis"],"prefix":"10.1007","author":[{"given":"Kai","family":"H\u00f6fig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"179","DOI":"10.3233\/EMC-2005-00014","volume":"1","author":"G. Bernat","year":"2005","unstructured":"Bernat, G., Burns, A., Newby, M.: Probabilistic timing analysis: An approach using copulas. J. Embedded Comput.\u00a01, 179\u2013194 (2005)","journal-title":"J. Embedded Comput."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Diaz, J.L., Garcia, D.F., Kim, K., Lee, C.-G., Lo Bello, L., Lopez, J.M., Min, S.L., Mirabella, O.: Stochastic analysis of periodic real-time systems. In: 23rd IEEE Real-Time Systems Symposium, RTSS 2002, pp. 289\u2013300 (2002)","DOI":"10.1109\/REAL.2002.1181583"},{"issue":"7","key":"5_CR3","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/2.56851","volume":"23","author":"J.-C. Laprie","year":"1990","unstructured":"Laprie, J.-C., Arlat, J., Beounes, C., Kanoun, K.: Definition and analysis of hardware- and software-fault-tolerant architectures. Computer\u00a023(7), 39\u201351 (1990)","journal-title":"Computer"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1109\/12.54843","volume":"39","author":"J. Arlat","year":"1990","unstructured":"Arlat, J., Kanoun, K., Laprie, J.-C.: Dependability modeling and evaluation of software fault-tolerant systems. IEEE Transactions on Computers\u00a039(4), 504\u2013513 (1990)","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"5_CR5","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1109\/24.55880","volume":"39","author":"F. Belli","year":"1990","unstructured":"Belli, F., Jedrzejowicz, P.: Fault-tolerant programs and their reliability. IEEE Transactions on Reliability\u00a039(2), 184\u2013192 (1990)","journal-title":"IEEE Transactions on Reliability"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/32.121757","volume":"18","author":"G. Pucci","year":"1992","unstructured":"Pucci, G.: A new approach to the modeling of recovery block structures. IEEE Transactions on Software Engineering\u00a018(2), 159\u2013167 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Doyle, S.A., Patterson-Hine, F.A.: Simple models of hardware and software fault tolerance. In: Proceedings of the Annual Reliability and Maintainability Symposium, January 24-27, pp. 124\u2013129 (1994)","DOI":"10.1109\/RAMS.1994.291094"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Doyle, S.A., Mackey, J.L.: Comparative analysis of two architectural alternatives for the n-version programming (nvp) system. In: Proceedings of the Annual Reliability and Maintainability Symposium, pp. 275\u2013282 (January 1995)","DOI":"10.1109\/RAMS.1995.513258"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Tyrrell, A.M.: Recovery blocks and algorithm-based fault tolerance. In: Proceedings of the 22nd EUROMICRO Conference EUROMICRO 1996. Beyond 2000: Hardware and Software Design Strategies, pp. 292\u2013299, 2-5 (1996)","DOI":"10.1109\/EURMIC.1996.546394"},{"issue":"2-3","key":"5_CR10","first-page":"81","volume":"5","author":"A. Mok","year":"1989","unstructured":"Mok, A., Amerasinghe, P., Chen, M., Tantisirivat, K.: Evaluating tight execution time bounds of programs by annotations. IEEE Real-Time Syst. Newsl.\u00a05(2-3), 81\u201386 (1989)","journal-title":"IEEE Real-Time Syst. Newsl."},{"key":"5_CR11","unstructured":"Lindgren, M., Hansson, H., Thane, H.: Using measurements to derive the worst-case execution time. In: Proceedings of the Seventh International Conference on Real-Time Computing Systems and Applications, pp. 15\u201322 (2000)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Gustafsson, J., Ermedahl, A., Lisper, B.: Towards a flow analysis for embedded system C programs. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005, pp. 287\u2013297, 2-4 (2005)","DOI":"10.1109\/WORDS.2005.53"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1347375.1347389","volume":"7","author":"R. Wilhelm","year":"2008","unstructured":"Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstr\u00f6m, P.: The worst-case execution-time problem\u2014overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst.\u00a07(3), 1\u201353 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Ferdinand, C.: Worst case execution time prediction by static program analysis. In: Proceedings of the 18th International Parallel and Distributed Processing Symposium, p. 125 (April 2004)","DOI":"10.1109\/IPDPS.2004.1303088"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-1-4020-8157-6_29","volume":"156","author":"C. Ferdinand","year":"2004","unstructured":"Ferdinand, C., Heckmann, R.: aiT: Worst-Case Execution Time Prediction by Static Program Analysis. Building the Information Society\u00a0156, 377\u2013383 (2004)","journal-title":"Building the Information Society"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Puschner, P., Nossal, R.: Testing the results of static worst-case execution-time analysis. In: Proceedings of the 19th IEEE Real-Time Systems Symposium, pp. 134\u2013143, 2-4 (1998)","DOI":"10.1109\/REAL.1998.739738"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1019734423460","volume":"7","author":"F. Wolf","year":"2002","unstructured":"Wolf, F., Staschulat, J., Ernst, R.: Hybrid cache analysis in running time verification of embedded software. Design Automation for Embedded Systems\u00a07(3), 271\u2013295 (2002)","journal-title":"Design Automation for Embedded Systems"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/B:TIME.0000048933.15922.f9","volume":"29","author":"X. Li","year":"2005","unstructured":"Li, X., Mitra, T., Roychoudhury, A.: Modeling control speculation for timing analysis. Real-Time Syst.\u00a029(1), 27\u201358 (2005)","journal-title":"Real-Time Syst."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Burns, A., Edgar, S.: Predicting computation time for advanced processor architectures. In: 12th Euromicro Conference on Real-Time Systems, Euromicro RTS 2000, pp. 89\u201396 (2000)","DOI":"10.1109\/EMRTS.2000.853996"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Burns, A., Edgar, S.: Statistical analysis of WCET for scheduling. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium, pp. 215\u2013224 (December 2001)","DOI":"10.1109\/REAL.2001.990614"},{"key":"5_CR21","series-title":"OpenAccess Series in Informatics (OASIcs)","first-page":"44","volume-title":"10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010)","author":"D. Griffin","year":"2010","unstructured":"Griffin, D., Burns, A.: Realism in Statistical Analysis of Worst Case Execution Times. In: Lisper, B. (ed.) 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010). OpenAccess Series in Informatics (OASIcs), vol.\u00a015, pp. 44\u201353. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2010); The printed version of the WCET 2010 proceedings are published by OCG (www.ocg.at) - ISBN 978-3-85403-268-7"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Bernat, G., Colin, A., Petters, S.M.: WCET Analysis of Probabilistic Hard Real-Time Systems. In: Proceedings of the 23rd Real-Time Systems Symposium, RTSS 2002, pp. 279\u2013288 (2002)","DOI":"10.1109\/REAL.2002.1181582"},{"key":"5_CR23","unstructured":"Bernat, G., Colin, A., Petters, S.: pWCET: A tool for probabilistic worst-case execution time analysis of real-time systems. Technical report, University of York. England UK (2003)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"David, L., Puaut, I.: Static determination of probabilistic execution times. In: Proceedings of the 16th Euromicro Conference on Real-Time Systems, ECRTS 2004, June-2 July, pp. 223\u2013230 (2004)","DOI":"10.1109\/EMRTS.2004.1311024"},{"issue":"11","key":"5_CR25","first-page":"2142","volume":"15","author":"R. Perrone","year":"2009","unstructured":"Perrone, R., Macedo, R., Lima, G., Lima, V.: An approach for estimating execution time probability distributions of component-based real-time systems. Journal of Universal Computer Science\u00a015(11), 2142\u20132165 (2009), http:\/\/www.jucs.org\/jucs_15_11\/an_approach_for_estimating","journal-title":"Journal of Universal Computer Science"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Lu, Y., Nolte, T., Kraft, J., Norstrom, C.: Statistical-based response-time analysis of systems with execution dependencies between tasks. In: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 169\u2013179 (March 2010)","DOI":"10.1109\/ICECCS.2010.55"},{"key":"5_CR27","unstructured":"Simulink \u00a9 1994-2011 The MathWorks Inc., 3 Apple Hill DriveNatick, MA 01760-2098, United States of America, http:\/\/www.mathworks.de\/products\/simulink"},{"key":"5_CR28","unstructured":"Enterprise Architect, \u00a9 2000-2011 Sparx Systems Pty Ltd., Creswick, Victoria, 3363, Australia, http:\/\/www.sparxsystems.com.au"},{"key":"5_CR29","unstructured":"OMG Systems Modeling Language, \u00a9 1997-2011 Object Management Group Inc., 140 Kendrick Street, Building A, Suite 300 Needham, MA 02494, United States of America, http:\/\/www.omgsysml.org"},{"key":"5_CR30","first-page":"37","volume-title":"SCS 2003: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software","author":"B. Kaiser","year":"2003","unstructured":"Kaiser, B., Liggesmeyer, P., M\u00e4ckel, O.: A new component concept for fault trees. In: SCS 2003: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, pp. 37\u201346. Australian Computer Society, Inc., Darlinghurst (2003)"},{"key":"5_CR31","unstructured":"OMG. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2, 2008. Object Management Group (July 2009), http:\/\/omgmarte.org , OMG Document Number: ptc\/2008-06-09"},{"key":"5_CR32","unstructured":"ARM7, \u00a9 2011 ARM Ltd., Equiniti Aspect House, Spencer Road Lancing BN99 6DA, United Kingdom, http:\/\/www.arm.com\/products\/processors\/classic\/arm7"},{"key":"5_CR33","unstructured":"YAGARTO, Yet another GNU ARM toolchain, Michael Fischer, Faustmuehlenweg 11, 34253 Lohfelden, Germany, http:\/\/www.yagarto.de\/imprint.html"},{"key":"5_CR34","unstructured":"aiT Worst-Case Execution Time Analyzers, \u00a9 1998-2011 AbsInt Angewandte Informatik GmbH, Science Park 1, 66123 Saarbruecken, Germany, http:\/\/www.absint.com\/ait"},{"key":"5_CR35","unstructured":"FaultTree+, \u00a9 1986-2011 Isograph Ltd., 2020 Main Street, Suite 1180, Irvine, CA 92614, United States of America, http:\/\/www.isograph-software.com\/ftpover.htm"},{"key":"5_CR36","unstructured":"DO-178B. Software Considerations in Airbone Systems and Equipment Certification Standard, Radio Technincal Commission for Aeronautics (1991)"}],"container-title":["Lecture Notes in Computer Science","Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28540-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T18:32:30Z","timestamp":1742668350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28540-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642285394","9783642285400"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28540-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}