Automatic generation of systemc models from component-based designs for early design validation and performance analysis

ABSTRACT

In this paper we present an approach of generating SystemC executable models from software designs captured in a new component-based modeling language, COLA, which follows the paradigm of synchronous dataflow. COLA has rigorous semantics and specification mechanisms. Due to its well-founded semantics, it is possible to establish an integrated development process, the artifacts of which can be formally reasoned about and are dealt with in automated tools such as model checkers and code generators. However, the resulting models remain abstract and cannot be executed immediately. Therefor SystemC offers executable models of a component-based flavor. Establishing an automated translation procedure from COLA to SystemC thus allows for design validation and performance analysis during early design phases. We have validated our approach on a case study taken from the automotive domain.

REFERENCES

• 1: A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1), January 2003.
• 2: Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992 [doi>10.1016/0167-6423(92)90005-V]
• 3: N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305--1320, September 1991.
• 4: Institute of Electrical and Electronics Engineers. IEEE Std 1666 - 2005 IEEE Standard SystemC Language Reference Manual. IEEE Std 1666--2005, 2006.
• 5: M. Krause, O. Bringmann, and W. Rosenstiel. A SystemC-based software and communication refinement framework for distributed embedded systems. In Proceedings of the 13th Workshop on Synthesis And System Integration of Mixed Information Technologies, Nagoya, Japan, 2006.
• 6: S. Kugele, M. Tautschnig, A. Bauer, C. Schallhart, S. Merenda, W. Haberl, C. Kühnel, F. Müller, Z. Wang, D. Wild, S. Rittmann, and M. Wechs. COLA - The component language. Technical Report TUM-I0714, Institut für Informatik, Technische Universität München, Sept. 2007.
• 7: H. Posadas, F. Herrera, V. Fernandez, P. Sanchez, E. Villar, and F. Blasco. Single source design environment for embedded systems based on SystemC. Design Automation for Embedded Systems, pages 293--312, 2005.
• 8: Vivek Sinha , Frederic Doucet , Chuck Siska , Rajesh Gupta , Stan Liao , Abhijit Ghosh, YAML: a tool for hardware design visualization and capture, Proceedings of the 13th international symposium on System synthesis, September 20-22, 2000, Madrid, Spain [doi>10.1145/501790.501793]
• 9: M. Streubühr , J. Falk , Ch. Haubelt , J. Teich , R. Dorsch , Th. Schlipf, Task-accurate performance modeling in SystemC for real-time multi-processor architectures, Proceedings of the conference on Design, automation and test in Europe: Proceedings, March 06-10, 2006, Munich, Germany
• 10: Chen Xi , Lu JianHua , Zhou ZuCheng , Shang YaoHui, Modeling SystemC design in UML and automatic code generation, Proceedings of the 2005 conference on Asia South Pacific design automation, January 18-21, 2005, Shanghai, China [doi>10.1145/1120725.1120760]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Modeling techniques

General Terms:
Design, Languages, Performance

Keywords:
code generation, cola, simulation, systemc