Advertisement

Validation of hybrid systems by co-simulation

  • D. Sinclair
  • E. Holz
  • D. Witaszek
  • M. Wasowski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1066)

Abstract

This article describes the INSYDE3 methodology for the design of hybrid systems. This methodology covers the development life-cycle from initial requirements capture, through design and implementation, to validation. The validation of a hybrid system is achieved by co-simulating a formal description of the hybrid system. This formal description is derived from the initial requirements capture by integrating an object-oriented analysis and modelling tool, OMT, with two domain-specific formal description languages, SDL and VHDL, for the description of the software and hardware subsystems respectively. The automatic translation of the system, described in a formal variant of OMT, to SDL and VHDL ensures that descriptions of the software and hardware subsystems together form a coherent description of the hybrid system. The article describes how this formal description forms the basis for co-simulation. The advantages of using heterogeneous co-simulation for validating hybrid systems are described, and the article shows how the methodology, and supporting tools, support the co-simulation by automatically generating the necessary code to connect and synchronise the individual SDL and VHDL simulators.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W.: Object Oriented Modeling and Design. Prentice Hall, International Editions, 1991.Google Scholar
  2. 2.
    CCITT: CCITT Specification and Description Language SDL, Recommendation Z.100 (Blue Book). Geneva, 1988.Google Scholar
  3. 3.
    CCITT: CCITT Specification and Description Language SDL, Recommendation Z.100 (SDL'92). Geneva, 1992.Google Scholar
  4. 4.
    ITU: ITU Specification and Description Language SDL, Recommendation Z.100 Annex I (SDL'92 User Guidelines). 1993Google Scholar
  5. 5.
    IEEE: IEEE Standard VHDL Language Reference Manual. IEEE Standard 1076–1987. 1988Google Scholar
  6. 6.
    Checkland P.B., Scholes J.: Soft Systems Methodology in Action. John Wiley & Sons Ltd. 1990.Google Scholar
  7. 7.
    CEC: INSYDE-Deliverable 1.2: “Application Guidelines”. ESPRIT-III Project P8641, Public Report. April 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • D. Sinclair
    • 1
  • E. Holz
    • 2
  • D. Witaszek
    • 2
  • M. Wasowski
    • 2
  1. 1.School of Computer ApplicationsDublin City UniversityGlasnevinIreland
  2. 2.Humboldt Universität zu BerlinBerlinGermany

Personalised recommendations