Design Automation for Embedded Systems

, Volume 8, Issue 1, pp 5–49 | Cite as

Hardware/Software Co-Design of Complex Embedded Systems: An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation

  • Nikolaos S. Voros
  • Luis Sánchez
  • Alejandro Alonso
  • Alexios N. Birbas
  • Michael Birbas
  • Ahmed Jerraya


This paper presents a hardware/software co-design approachwhere different specification languages can be used in parallel, allowingeffective system co-modeling. The proposed methodology introduces a processmodel that extends the traditional spiral model so as to reflect the designneeds of modern embedded systems. The methodology is supported by an advancedtoolset that allows co-modeling and co-simulation using SDL, Statecharts andMATRIXX, and interactive hardware/software partitioning. The effectivenessof the proposed approach is exhibited through two applicati on examples: thedesign of a car window lift mechanism, and the design of a MAC layer protocolfor wireless ATM networks.

Co-design process models co-modeling embedded systems hardware/software co-design multiple specification formalisms 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ismail, T., K. O'Brien, and A. Jerraya. Partif: Interactive System-Level Partitioning.VLSI Design, vol. 3, pp. 333-345,1995.Google Scholar
  2. 2.
    Vahid, F., and D. Gajski.Closeness Metrics for System Level Functional Partitioning. In Proceedings EURODAC, EURO-VHDL, (September) 1995.Google Scholar
  3. 3.
    Vahid, F., and D. Gajski. Specification Partitioning for SystemDesign. In Proceedings DAC, (June) 1992Google Scholar
  4. 4.
    Jerraya, A., and K. O'Brien. SOLAR: An Intermediate Format for System-Level Modeling and Synthesis. (J. Rozenblit, K. Buchenrieder (Eds)), IEEE Press, Piscataway, NJ,1994.Google Scholar
  5. 5.
    Ernst, R., J. Henkel, and T. Benner. Hardware-Software Cosynthesis for Microcontrollers. IEEE Design & Test of Computers, vol.10, no.4, pp.64-75, 1993.Google Scholar
  6. 6.
    Gajski, D.D., F. Vahid, S. Narayan, and J. Gong. Specification and Design of Embedded Systems. Prentice Hall, 1994.Google Scholar
  7. 7.
    Sánchez Fernández, L. et al. Hardware Software Prototyping from LOTOS. Design Automation for Embedded Systems, vol. 3, nos. 2/3, pp.117-148,1998.Google Scholar
  8. 8.
    The Ptolemy Project. Scholar
  9. 9.
    ESPRIT 23015ACOMITY Codesign Method and Integrated Tools for Advanced Embedded Bystem. Scholar
  10. 10.
    ESPRIT 23015ACOMITYCodesignMethod and Integrated Tools for Advanced Embedded System. Scholar
  11. 11.
    Balboni, A., W. Fornaciari, and D. Sciuto. Co-Synthesis and Co-Simulation of Control-Dominated Embedded Systems. Design Automation for Embedded Systems, vol.1, no. 3, pp. 257-289, 1996.Google Scholar
  12. 12.
    System C. System C Community. Scholar
  13. 13.
    Vercauteren, S., J.V.D. Steen, and D. Verkest. Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints. In DATE'99,1999.Google Scholar
  14. 14.
    Design & Reuse. Scholar
  15. 15.
    RAPID.Reusable Application-Specific Intellectual Property Developers. Scholar
  16. 16.
    VSI Alliance.Virtual Socket Interface. Scholar
  17. 17.
    Tsasakou, S., N. Voros, N. Birbas, M. Koziotis, and G. Papadopoulos. High-Level Co-Simulation Based on the Extension of Processor Simulators. Journal of Systems Architecture, vol. 47, no.1, pp.1-13, (January) 2001.Google Scholar
  18. 18.
    Van Rompaey, K., D. Verkest, I. Bolsens, and I. DeMan. CoWare-Co-Design of DSP Systems. In NATOASIHardware/Software Co-Design, Tremezzo, Italy, 1995.Google Scholar
  19. 19.
    Klein, R. A Hardware-Software Co-Simulation Environment. In Proceedings of RSP' 96. IEEECS Press, pp. 173-177, 1996.Google Scholar
  20. 20.
    Boehm, B. A Spiral Model of Software Development and Enhancement. Science of Computer Programming, vol. 8, pp. 231-274, 1988.Google Scholar
  21. 21.
    Voros, N., S. Batistatos, and N. Pronios. Evaluation Report of the So A Toolset for the Telecom Experiment. Technical Report. COMITY Project, 1998 ESPRIT/23015/WP3/D32.2.Google Scholar
  22. 22.
    Fuchs, M. and N. Schreiber. Evaluation Report of the State of the Art Toolset for the Automotive Experiment.Technical Report. COMITYProject, ESPRIT/23015/WP3/D31.2,1998.Google Scholar
  23. 23.
    Voros, N., M. Larborn, P. Jansson, and L. Tossa. Specification of the Application Experiments. AITWOODDESProject, IST 10069/WP4.1/D12, 2000.Google Scholar
  24. 24.
    Tsasakou, S.,C. Dre, and H. Karathanasis. High-Level Description of the DECT/MACLayer. CODACProject, ESPRIT Project 24129/D4,1997.Google Scholar
  25. 25.
    Adida, C., P. Buttel, R. Ledain, and X. Granger. Evaluation Reportof the State of the Art Toolset for the Avionics Experiment. Technical Report. COMITYProject, ESPRIT/23015/WP3/D30.2,1998.Google Scholar
  26. 26.
    Alonso, A., N. Martinez, S. Pickin, and L. Sánchez, and S. Arab. COMITY Method Guide. Consolidated Advanced Toolset Version. Technical Report. COMITYProject, ESPRIT/23015/WP2/D21.2.2, 1998.Google Scholar
  27. 27.
    Roux, J., S. Loembe, S. Arab, E. Kleinjohann, L. Erpenbach, L. Sanchez, and A. Alonso. COMITY User Documentation H Advanced Toolset(2).Technical Report. COMITY Project, ESPRIT/23015/WP2/SEP98/D21.3.2, 1998.Google Scholar
  28. 28.
    Harel, D. StateCharts:AVisual Formalism for Complex Systems. IEEE Computer, vol. 21, 1987.Google Scholar
  29. 29.
    ITU-T: CCITT Specification and Description Language (SDL). ITU-T Recommendation Z.100 (03/93), 1993.Google Scholar
  30. 30.
    ISI: MATRIXX Product Family Reference. ISI,1996.Google Scholar
  31. 31.
    Verilog: ObjectGEODE: SDLEditor-User's Guide.Verilog,1997.Google Scholar
  32. 32.
    Jerraya, A., M. Romdhani, C. Valderrama, G. Marchioro, A. Changuel, and J. Daveau. COSMOS:A Transformational Co-Design Tool for Multiprocessors Architecture. In Hardware/Software Co-Design: Principles and Practice. Kluwer Academic Publishers, 1997.Google Scholar
  33. 33.
    Bauchot, F., S. Decrauzat, G. Marmigere, L. Merakos, and N. Passas. MASCARA, aMAC Protocol for Wireless ATM. In ACTS Mobile Summit, 1996.Google Scholar
  34. 34.
    Mikkonen, J., and J. Kruys.The Magic WAND: A Wireless ATM Access System. In ACTS Mobile Summit, 1996.Google Scholar
  35. 35.
    Roux, J. L., S. Stroop, S. Loembe, S. Arab, L. Sanchez, C. Hote, S. Pickin, A. Jerraya, and B. Kleinjohann. Specification of the Advanced Toolset. Technical Report. COMITY Project, ESPRIT/23015/WP2/D21.1, 1998.Google Scholar
  36. 36.
    Mariatos, E. Hardware/Software Co-Design Using Object Oriented Methods and Tools. Ph.D. thesis.University of Patras,Dept. of Electrical Engineering, Greece,1998.Google Scholar
  37. 37.
    DECT:The Standard Explained.(February) 1997.Google Scholar
  38. 38.
    ETSI: Broadband Radio Access Networks (BRAN);HIPERLAN Type 2: System Overview.TR 101683 v1.1.1, (February) 2000.Google Scholar
  39. 39.
    Sánchez Fernández, L., S. Pickin, A. Groba, N. Martínez, and A. Alonso.UF: Architectural Language for Multiformalism Descriptions. In Forumon Design Languages, FDL'99,1999.Google Scholar

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Nikolaos S. Voros
    • 1
  • Luis Sánchez
    • 2
  • Alejandro Alonso
    • 3
  • Alexios N. Birbas
    • 4
  • Michael Birbas
    • 4
  • Ahmed Jerraya
    • 5
  1. 1.INTRACOM S.A., Hellinic Telecommunications and Electronics IndustryGreece
  2. 2.Dept. Ingenieri´a Telema´ticaUniversidad Carlos III de MadridSpain
  3. 3.Dept. Ingenieri´a de Sistemas Telema´ticosUniversidad Polite´cnica de MadridSpain
  4. 4.Dept. of Electrical EngineeringUniversity of PatrasGreece
  5. 5.TIMA/INPGFrance

Personalised recommendations