Abstract
Due to the time-to-market pressure, it is highly desirable to design hardware and software of embedded systems in parallel. However, hardware and software are developed mostly using very different methods, so that performance evaluation and validation of the whole system is not an easy task. In this paper, we propose a simulation approach to bridge the gap between model-driven software development and simulation based hardware design, by merging hardware and software models into a SystemC based simulation environment. An automated procedure has been established to generate software simulation models from formal models, while the hardware design is originally modeled in SystemC. As the simulation models are annotated with timing information, performance issues are tackled in the same pass as system functionality, rather than in a dedicated approach.
For designing real-time systems, although performance evaluation based on simulation cannot provide guarantees of safety, it can provide realistic performance values to validate whether the performance requirements are really satisfied or not and show how pessimistic the static analysis is. Further, the simulative approach is also able to provide the developers an insight into the system architecture to help find bottlenecks of the system. We use the simulative approach as a complement of static analysis and combine them in an integral development cycle.
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
Institute of Electrical and Electronics Engineers: IEEE Std 1666 - 2005 IEEE Standard SystemC Language Reference Manual. IEEE Std 1666-2005 (2006)
Cai, L., Gajski, D.: Transaction level modeling: an overview. In: Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (CODES+ISSS 2003), pp. 19–24 (2003)
Donlin, A.: Transaction level modeling: flows and use models. In: Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis (CODES+ISSS 2004), pp. 75–80 (2004)
Kugele, S., Tautschnig, M., Bauer, A., Schallhart, C., Merenda, S., Haberl, W., Kühnel, C., Müller, F., Wang, Z., Wild, D., Rittmann, S., Wechs, M.: COLA – The component language. Technical Report TUM-I0714, Institut für Informatik, Technische Universität München (September 2007)
Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1) (January 2003)
Haberl, W., Tautschnig, M., Baumgarten, U.: Running COLA on embedded systems. In: Proceedings of The International MultiConference of Engineers and Computer Scientists, Hongkong, China (March 2008) (accepted)
Wang, Z., Merenda, S., Tautschnig, M., Herkersdorf, A.: A model driven development approach for implementing reactive systems in hardware. In: Proceedings of International Forum on Specification and Design Languages (FDL 2008) (September 2008)
Pretschner, A., Broy, M., Krüger, I.H., Stauner, T.: Software engineering for automotive systems: A roadmap. In: Future of Software Engineering (FOSE 2007), Los Alamitos, CA, USA, pp. 55–71. IEEE Computer Society, Los Alamitos (2007)
Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L.: Metropolis: An integrated electronic system design environment. IEEE Computer 36(4), 45–52 (2003)
Bondarev, E.R.V., Chaudron, M., de With, P.H.N.: Carat: a toolkit for design and performance analysis of component-based embedded systems. In: Lauwereins, R., Madsen, J. (eds.) DATE, pp. 1024–1029. ACM, New York (2007)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Bauer, A., Broy, M., Romberg, J., Schätz, B., Braun, P., Freund, U., Mata, N., Sandner, R., Ziegenbein, D.: AutoMoDe — Notations, Methods, and Tools for Model-Based Development of Automotive Software. In: Proceedings of the SAE 2005 World Congress, Detroit, MI. Society of Automotive Engineers (April 2005)
Kühnel, C., Bauer, A., Tautschnig, M.: Compatibility and reuse in component-based systems via type and unit inference. In: Proceedings of 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, Lübeck, Germany, pp. 101–108 (2007)
Kugele, S., Haberl, W.: Mapping Data-Flow Dependencies onto Distributed Embedded Systems. In: Proceedings of the 2008 International Conference on Software Engineering Research & Practice (SERP 2008), Las Vegas Nevada, USA (July 2008)
Cheng, A.M.K.: Real-Time Systems: Scheduling, Analysis, and Verification. John Wiley & Sons, Chichester (2002)
Haberl, W., Baumgarten, U., Birke, J.: A Middleware for Model-Based Embedded Systems. In: Proceedings of the 2008 International Conference on Embedded Systems and Applications (ESA 2008), Las Vegas, Nevada, USA (July 2008)
Rayadurgam, S., Heimdahl, M.: Coverage based test-case generation using model checkers. In: Proceedings of the Eighth Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2001), pp. 83–91 (2001)
Holzer, A., Schallhart, C., Tautschnig, M., Veith, H.: FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. In: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), Princeton, NJ, USA, pp. 209–213 (July 2008)
Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)
Wang, Z., Sanchez, A., Herkersdorf, A.: SciSim: A Software Performance Estimation Framework using Source Code Instrumentation. In: Proceedings of the 7th International Workshop on Software and Performance (WOSP 2008), Princeton, NJ, USA (June 2008)
Yu, H., Gerstlauer, A., Gajski, D.: RTOS scheduling in transaction level models. In: Proceedings of the International Symposium on System Synthesis, pp. 31–36 (October 2003)
Moigne, R.L., Pasquier, O., Calvez, J.P.: A generic rtos model for real-time systems simulation with systemc. In: Proceedings of the conference on Design, automation and test in Europe (DATE 2004) (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Z., Haberl, W., Herkersdorf, A., Wechs, M. (2008). A Simulation Approach for Performance Validation during Embedded Systems Design. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-88479-8_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88478-1
Online ISBN: 978-3-540-88479-8
eBook Packages: Computer ScienceComputer Science (R0)