Failure-dependent timing analysis - A new methodology for probabilistic worst-case execution time analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7201 LNCS, Issue , 2012, Pages 61-75

  Höfig, Kai ^a  

^a University of Koblenz Landau   (Germany)

Author keywords

fault tolerance; fault tree; software safety; static analysis; tool; WCET

Indexed keywords

CLOSED-LOOP; EMBEDDED REAL TIME SYSTEMS; EXECUTION TIME; FAULT INJECTION; FAULT-TREES; MODERN PROCESSORS; SAFETY ANALYSIS; SINGLE-VALUE; SOFTWARE SAFETY; SYSTEM DEVELOPMENT; TIMING ANALYSIS; UPPER BOUND; WCET; WORST-CASE EXECUTION TIME ANALYSIS;

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT TOLERANCE; FAULT TREE ANALYSIS; REAL TIME SYSTEMS; SECURITY SYSTEMS; STATIC ANALYSIS; TOOLS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 84858312346     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28540-0_5     Document Type: Conference Paper

References (36)

1. Bernat, G., Burns, A., Newby, M.: Probabilistic timing analysis: An approach using copulas. J. Embedded Comput. 1, 179-194 (2005)
2. 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-300 (2002)
3. Laprie, J.-C., Arlat, J., Beounes, C., Kanoun, K.: Definition and analysis of hardware- and software-fault-tolerant architectures. Computer 23(7), 39-51 (1990)
4. Arlat, J., Kanoun, K., Laprie, J.-C.: Dependability modeling and evaluation of software fault-tolerant systems. IEEE Transactions on Computers 39(4), 504-513 (1990)
5. Belli, F., Jedrzejowicz, P.: Fault-tolerant programs and their reliability. IEEE Transactions on Reliability 39(2), 184-192 (1990)
6. Pucci, G.: A new approach to the modeling of recovery block structures. IEEE Transactions on Software Engineering 18(2), 159-167 (1992)
7. 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-129 (1994)
8. 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-282 (January 1995)
9. 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-299, 2-5 (1996)
10. Mok, A., Amerasinghe, P., Chen, M., Tantisirivat, K.: Evaluating tight execution time bounds of programs by annotations. IEEE Real-Time Syst. Newsl. 5(2-3), 81-86 (1989)
11. 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-22 (2000)
12. 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-297, 2-4 (2005)
13. 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öm, P.: The worst-case execution-time problem-overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 1-53 (2008)
14. 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)
15. Ferdinand, C., Heckmann, R.: aiT: Worst-Case Execution Time Prediction by Static Program Analysis. Building the Information Society 156, 377-383 (2004)
16. 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-143, 2-4 (1998)
17. Wolf, F., Staschulat, J., Ernst, R.: Hybrid cache analysis in running time verification of embedded software. Design Automation for Embedded Systems 7(3), 271-295 (2002)
18. Li, X., Mitra, T., Roychoudhury, A.: Modeling control speculation for timing analysis. Real-Time Syst. 29(1), 27-58 (2005)
19. Burns, A., Edgar, S.: Predicting computation time for advanced processor architectures. In: 12th Euromicro Conference on Real-Time Systems, Euromicro RTS 2000, pp. 89-96 (2000)
20. Burns, A., Edgar, S.: Statistical analysis of WCET for scheduling. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium, pp. 215-224 (December 2001)
21. 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. 15, pp. 44-53. Schloss Dagstuhl-Leibniz-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
22. 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-288 (2002)
23. 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)
24. 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-230 (2004)
25. 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 15(11), 2142-2165 (2009), http://www.jucs.org/jucs-15-11/an-approach-for-estimating
26. 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-179 (March 2010)
27. Simulink © 1994-2011 The MathWorks Inc., 3 Apple Hill DriveNatick, MA 01760-2098, United States of America, http://www.mathworks.de/products/ simulink
28. Enterprise Architect, © 2000-2011 Sparx Systems Pty Ltd., Creswick, Victoria, 3363, Australia, http://www.sparxsystems.com.au
29. OMG Systems Modeling Language, © 1997-2011 Object Management Group Inc., 140 Kendrick Street, Building A, Suite 300 Needham, MA 02494, United States of America, http://www.omgsysml.org
30. Kaiser, B., Liggesmeyer, P., Mäckel, 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-46. Australian Computer Society, Inc., Darlinghurst (2003)
31. 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
32. ARM7, © 2011 ARM Ltd., Equiniti Aspect House, Spencer Road Lancing BN99 6DA, United Kingdom, http://www.arm.com/products/processors/classic/arm7
33. YAGARTO, Yet another GNU ARM toolchain, Michael Fischer, Faustmuehlenweg 11, 34253 Lohfelden, Germany, http://www.yagarto.de/imprint.html
34. aiT Worst-Case Execution Time Analyzers, © 1998-2011 AbsInt Angewandte Informatik GmbH, Science Park 1, 66123 Saarbruecken, Germany, http://www.absint.com/ait
35. FaultTree+, © 1986-2011 Isograph Ltd., 2020 Main Street, Suite 1180, Irvine, CA 92614, United States of America, http://www.isograph-software.com/ ftpover.htm
36. DO-178B. Software Considerations in Airbone Systems and Equipment Certification Standard, Radio Technincal Commission for Aeronautics (1991)