A framework for embedded system specification under different models of computation in SystemC

ABSTRACT

This paper presents a heterogeneous specification methodology built on top of the standard SystemC kernel. The methodology enables abstract specification supporting heterogeneity, which in this context entails the ability to describe and connect parts of the system specification under different models of computation (MoCs). A main and distinguishing contribution of the methodology is that the support is provided while maintaining the standard kernel of SystemC unchanged, by means of a set of specification rules and a heterogeneous support library built on top of the SystemC standard library. This is possible thanks to an abstraction technique that can integrate any new MoC that can be abstracted over the underlying discrete-event simulation kernel. Primitives, guidelines and rules of the specification methodology, including those related to heterogeneous support, and the basis of the abstraction technique are described. Experimental results demonstrate the benefits of the methodology.

REFERENCES

• 1: E. Lee, A. Sangiovanni-Vincentelli. "A Framework for comparing Models of Computation". IEEE Trans. on CAD of ICs and Systems, V.17, N.12, December 1998.
• 2: Hiren D. Patel , Sandeep K. Shukla, SystemC Kernel Extensions For Heterogenous System Modeling: A Framework for Multi-MoC Modeling & Simulation, Kluwer Academic Publishers, Norwell, MA, 2004
• 3: Axel Jantsch, Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2003
• 4: PtolemyII. http://ptolemy.eecs.berkeley.edu/ptolemyII
• 5: José Luis Pino , Soonhoi Ha , Edward A. Lee , Joseph T. Buck, Software synthesis for DSP using Ptolemy, Journal of VLSI Signal Processing Systems, v.9 n.1-2, p.7-21, Jan. 1995 [doi>10.1007/BF02406468]
• 6: I.Sanders. "System Modeling and Design Refinement in ForSyDe". Thesis. KTH Univresity. Stockholm 2003.
• 7: F.Balarin et al. "Metropolis: An Integrated Electronic System Design Environment". IEEE Computer Magaz. 2003.
• 8: Thorsten Grotker, System Design with SystemC, Kluwer Academic Publishers, Norwell, MA, 2002
• 9: "SystemC: Methodologies and Applications". Ed. W.Mueller, W. Rosenstiel, J.Ruf. Kluwer. March 2003.
• 10: Synopsys Inc. "Describing Synthesizable RTL in SystemC". Version 1.2. November 2002.
• 11: E.A.Lee, T.M.Park. "Dataflow Process Networks". Proceedings of the IEEE, 1995.
• 12: A.Rose, S.Swan, J.Pierce, J.M.Fernández. "Transaction Level Modeling in SystemC". Av. at www.systemc.org.
• 13: Website. www.systemc-ams.org.
• 14: Fernando Herrera , Pablo Sánchez , Eugenio Villar, Modeling of CSP, KPN and SR systems with systemC, Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL'03, Kluwer Academic Publishers, Norwell, MA, 2004
• 15: F.Herrera, P.Sánchez, E,Villar. "Heterogeneous System-Level Specification in SystemC" in P.Boulet (Ed.) "Advances in Design and Specification Languages for SoCs". Kluwer, 2005. See www.teisa.unican.es/HetSC.
• 16: F.Herrera, E.Villar. "Mixing Synchronous Reactive and Untimed Models of Computation in SystemC". In proc. Of Forum of Design Languages. FDL'05. Sept, 2005.
• 17: G. Kahn. "The Semantics of a simple Language for Parallel Programming". Proc. IFIP 74, North-Holland, 1974.
• 18: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 19: E.A.Lee, D.G. Messerschmitt "Synchronous Data Flow". Proc. of the IEEE, Vol75, No.9,September, 1987.
• 20: EA. Benveniste & G. Berry. "The Synchronous Approach to Reactive and Real-Time Systems". Proceedings of the IEEE, V.79, N.9, September, 1991.
• 21: H.Posadas, F.Herrera, V.Fernández, P.Sánchez & E.Villar. "Single Source Design Environment for Embedded Systems based on SystemC". Design Automation for Embedded Systems Journal. Springer. Dec. 2004. V.9, N.4. pp.293--312.
• 22: ETSI/EN 301 245, ETSI/EN 301 244 and ETSI/EN 301 250 standards. 1998. Available at www.etsi.com.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.1 Models of Computation
          Subjects: Relations between models

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Specification techniques

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development
          Subjects: Modeling methodologies

General Terms:
Design, Languages

Keywords:
SystemC, heterogeneous specification