A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6138)


This paper describes a model-based method to evaluate performance of embedded systems. The core technology of this modeling method is reverse modeling based on dynamic analysis of the existing systems. A case study of real MFPs (multifunction peripherals/printers) is presented in this paper to evaluate the modeling method.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Jeon, S.U., Hong, J.E., Bae, D.H.: Interaction-based behavior modeling of embedded software using UML 2.0. In: Proceedings of Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2006), Gyeongju, Korea, pp. 351–355. IEEE Computer Society, Los Alamitos (April 2006)CrossRefGoogle Scholar
  2. 2.
    Martin, G., Müller, W.: UML for SOC Design. Springer, Dirdrecht (2005)Google Scholar
  3. 3.
    Riva, C., Rodriguez, J.V.: Combining static and dynamic views for architecture reconstruction. In: Proceedings of the Sixth European Conference on Software Maintenance and Reengineering (CSMR 2002), Budapest, Hungary, pp. 47–55. IEEE Computer Society, Los Alamitos (March 2002)CrossRefGoogle Scholar
  4. 4.
    Ohba, N., Takano, K.: Hardware debugging method based on signal transitions and transactions. In: Proceedings of the 11th Asia South Pacific Design Automation Conference (ASP-DAC 2006), Yokohama, Japan, January 2006, pp. 454–459 (2006)Google Scholar
  5. 5.
    Prete, C.A., Prina, G., Ricciardi, L.: A trace-driven simulator for performance evaluation of cache-based multiprocessor systems. IEEE Transactions on Parallel and Distributed Systems 6(9), 915–929 (1995)CrossRefGoogle Scholar
  6. 6.
    Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of the 2006 International Workshop on Scenarios and State Machines (SCESM 2006, co-located to ICSE 2006), Shanghai, China, pp. 5–12. IEEE Computer Society / ACM (May 2006)Google Scholar
  7. 7.
    Japan Electronics & Information Technology Industries Association (JEITA): JEITA Printer Benchmark Test Patterns (2003),

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  1. 1.IBM Research - TokyoKanagawaJapan
  2. 2.Component Technology Solution, IBM Japan, Ltd.KyotoJapan
  3. 3.Tokyo R&D Center, KYOCERA MITA Corp.TokyoJapan

Personalised recommendations