The Specification Language SpecC within the PARADISE Design Environment

  • A. Rettberg
  • F. J. Rammig
  • A. Gerstlauer
  • D. D. Gajski
  • W. Hardt
  • B. Kleinjohann
Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 61)


The design of embedded systems has to address several interacting design aspects, so-called dimensions, to capture parallelism, distribution over different locations and hard real-time requirements. Thus, a structured design process has been established with the PARADISE design environment. The design process covers all steps from behavioral specification to final chip realization. In this paper, we describe how system specification and refinement is covered in combination with the processes available in PARADISE. An example of an adequate specification and modeling language is considered and adapted for integration into PARADISE. First results show the feasibility of integrating the respective concepts.


Design Environment Design Dimension Design Space Exploration Schedulability Analysis European Telecommunication Standard Institute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [A196]
    P. Altenbernd: “Timing Analysis, Scheduling, and Allocation of Periodic Hard Real-Time Tasks”. Dissertation, Paderborn, 1996.zbMATHGoogle Scholar
  2. [A197]
    P. Altenbernd: “CHaRy: The C-LAB Hard Real-Time System to Support Mechatronical Design”. In Proc. Of the International Conference on Engineering of Computer Based Systems (ECBS-97), Monterey, California, March 1997.Google Scholar
  3. [ETSI96]
    European Telecommunication Standards Institute (ETSI), “Digital cellular telecommunications system; Enhanced Full Rate (EFR) speech transcoding (GSM 0.60)”, Final Draft, November 1996.Google Scholar
  4. [Astair99] Scholar
  5. [Ga88]
    D. D. Gajski: “Silicon Compilation”. Addison Wesley Publishing Company, 1988.Google Scholar
  6. [Ga+00]
    D. D. Gajski, J. Zhu, R. Dbmer, A. Gerstlauer, S. Zhao: “SpecC Specification Language and Methodology”. Kluwer Academic Publishers, 2000.Google Scholar
  7. [GZGH99]
    A. Gerstlauer, S. Zhao, D.D. Gajski, A. Horak, “Design of a GSM Vocoder using SpecC Methodology”, University of California, Irvine, Technical Report ICS-TR-99–11, Feburary 1999.Google Scholar
  8. [Ha95]
    W. Hardt, “An Automated Approach to HW/SW-Codesign”. In IEEE Colloquium: Partitioning in Hardware-Software Codesings. London, Great Britain, February 1995.Google Scholar
  9. [HaReK199]
    W. Hardt, A. Rettberg, B. Kleinjohann. “The PARADISE design environment”. In Proc. of the 1st Embedded System Conference, Auckland (New Zealand), 1999.Google Scholar
  10. [Ja97]
    K. Jarvinen et. al., “GSM enhanced full rate speech codec”. In Proceedings of ICASSP, pp. 771–774, 1997.Google Scholar
  11. [Ra89]
    F. J. Rammig “Systematischer Entwurf digitaler Systeme”. B. G. Teubner, Stuttgart, 1989.CrossRefGoogle Scholar
  12. [Re+00]
    A. Rettberg, W. Hardt, J. Teich, M. Bednara. “Automated Design Space Exploration on System Level for Embedded Systems”. In Proc. of the Ninth Annual International HDL Conference and Exhibition (HDL Conf. 2000 ), San Jose ( USA ), March 8–10, 2000.Google Scholar
  13. [Sa98]
    R. Salambi, “Design and description of CS-ACELP: a toll quality 8 kb/s speech coder”, IEEE Transactions on Speech and Audio Processing, Vol. 6, No. 2, pp. 116–130, March 1998.CrossRefGoogle Scholar
  14. [StA197]
    F. Stappert, P. Altenbernd: “Complete Worst-Case Execution Time Analysis of Straight-line Hard Real-Time Programs”. in C-LAB External Report 27–97 Paderborn, 1997.Google Scholar
  15. [SC]
    SpecC home page,

Copyright information

© IFIP International Federation for Information Processing 2001

Authors and Affiliations

  • A. Rettberg
    • 1
  • F. J. Rammig
    • 1
  • A. Gerstlauer
    • 2
  • D. D. Gajski
    • 2
  • W. Hardt
    • 3
  • B. Kleinjohann
    • 1
  1. 1.Department of Computer ScienceUniversity Paderborn/C-LABGermany
  2. 2.Center for Embedded Computer SystemsUniversity of California at IrvineUSA
  3. 3.Department of Computer Science (IPL)University PaderbornGermany

Personalised recommendations