Validation of hybrid systems by co-simulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1066, Issue , 1996, Pages 315-326

  Sinclair, D ^a   Holz, E ^b   Witaszek, D ^b   Wasowski, M ^b  

^a DUBLIN CITY UNIVERSITY   (Ireland)

^b HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE; HYBRID SYSTEMS; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; RECONFIGURABLE HARDWARE;

AUTOMATIC TRANSLATION; DESIGN AND IMPLEMENTATIONS; FORMAL DESCRIPTION; FORMAL DESCRIPTION LANGUAGE; OBJECT-ORIENTED ANALYSIS; REQUIREMENTS CAPTURE; SOFTWARE AND HARDWARES; SUPPORTING TOOL;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 21344461852     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020956     Document Type: Conference Paper

References (7)

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