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