Abstract
Embedded real-time systems often operate under strict timing constraints. In order to test a real-time system thoroughly, we should instrument the system under test with assertions. Thus, the timing behaviors of such a system will change more or less. In this paper, we present two methods to weaken or even remove the timing related impact of the inserted assertions. Firstly, a new monitoring schema is presented which has less time intrusive than software motoring and can test the target system completely. This schema is a mixture of hardware monitoring and software monitoring. Secondly, in order to weaken the time intrusiveness of assertions as much as possible, we present a WCET analysis based time correction method. This method can compute the accurate execution time of assertions and corrects the recorded time of interested events.
This work was supported by the National Natural Science Foundation of China under Grant No. 60303013 and the National Grand Fundamental Research 973 Program of China under Grant No.2005CB321804.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baresi, L., Young, M.: Test Oracles. Report No. CIS-TR01-02, Dept. of Computer and Information Science, University of Oregon (2001), http://www.cs.uoregon.edu/-michal/pubs/oracles.html
Liu, A.C., Parthasarathi, R.: Hardware Monitoring of a Multiprocessor System. IEEE Micro 9(5), 44–51 (1989)
Jahanian, F.: Run-time monitoring of real-time systems. In: Son, S.H. (ed.) Advances in Real-time Systems, Prentice-Hall, pp. 435–460. Prentice-Hall, Englewood Cliffs (1995)
Tsai, J.J.P., Fang, K.-Y., Chen, H.-Y.: A Noninvasive Architecture to Monitor Real-Time Distributed Systems. Computer 23(3), 11–23 (1990)
Dodd, P.S., Ravishankar, C.V.: Monitoring and Debugging Distributed Real-Time Programs. Software–Practice and Experience 22(10), 863–877 (1992)
Joyce, J., Lomow, G., Slind, K., Unger, B.: Monitoring Distributed Systems. ACM Trans. Computer Systems 5(2), 121–150 (1987)
Tokuda, H., Kotera, M., Mercer, C.W.: A Real-Time Monitor for a Distributed Real-Time Operating System. In: Proc. ACM Workshop Parallel and Distributed Debugging, pp. 68–77 (1988)
Puschner, P., Burns, A.: Guest Editorial: A Review of Worst-Case Execution-Time Analysis. Real-Tim Systems 18(2-3), 115–128 (2000)
Ji, M.L., Li, J., Wang, X., Qi, Z.C.: An Automatic WCET Analysis Tool Based on Abstract Interpretation. Computer Engineer (2006) (to be printed in 8)
Alfred, V.A., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. Addison-Wesley, Reading (1997)
Hu, E.Y.S., Bernat, G., Wellings, A.: Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems. In: Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington D.C., USA, pp. 109–116 (2002)
Engblom, J.: Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD thesis, Acta Universitatis Upsaliensis, Uppsala, Sweden (2002)
Engblom, J., Jonsson, B.: Processor pipelines and their properties for static WCET analysis. In: Alberto, S.V.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 334–348. Springer, Heidelberg (2002)
Healy, C.A., Arnold, R.D., Mueller, F., Whalley, D.B., Harmon, M.G.: Bounding Pipeline and Instruction Cache Performance. IEEE Transactions on Computers 48(1) (1999)
Healy, C.A., Whalley, D.B.: Automatic Detection and Exploitation of Branch Constraints for Timing Analysis. In: IEEE Transactions on Software Engineering, pp. 763–781 (2002)
Lim, S.S., Bae, Y.H., Jang, G.T., Rhee, B.D., Min, S.L., Park, C.Y., Shin, H., Park, K., Moon, S.M., Kim, C.S.: An accurate worst case timing analysis for RISC processors. IEEE Transactions on Software Engineering 21(7), 593–604 (1995)
Shaw, A.C.: Reasoning about time in higher level language software. IEEE Transactions on Software Engineering 15(7), 875–889 (1989)
Healy, C.A., Sjödin, M., Whalley, D.B.: Bounding Loop Iterations for Timing Analysis. In: Proc. IEEE Real-Time Technology and Aplications Symposium, pp. 12–21 (1998)
Gustafsson, J., Ermedahl, A.: Automatic derivation of path and loop annotations in object-oriented real-time programs. Parallel and Distributed Computing Practices 1(2) (1998)
Jahanian, F., Rajkumar, R., Raju, S.C.V.: Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems. Real-Time Systems 7(3), 247–273 (1994)
Peters, D.K., Parnas, D.L.: Requirements-based Monitors for Real-Time Systems. IEEE Transactions on Software Engineering 28(2), 146–158 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meng-Luo, J., Xin, W., Zhi-Chang, Q. (2005). Trace Acquirement from Real-Time Systems Based on WCET Analysis. In: Yang, L.T., Zhou, X., Zhao, W., Wu, Z., Zhu, Y., Lin, M. (eds) Embedded Software and Systems. ICESS 2005. Lecture Notes in Computer Science, vol 3820. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11599555_18
Download citation
DOI: https://doi.org/10.1007/11599555_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30881-2
Online ISBN: 978-3-540-32297-9
eBook Packages: Computer ScienceComputer Science (R0)