Title :
Software/hardware co-design in the MuSE environment
Author :
Deegener, Matthias ; Huss, Sorin A.
Author_Institution :
Dept. of Comput. Sci., Tech. Univ. Darmstadt, Germany
Abstract :
The research project MuSE provides an integrated software environment for the development of complex technical systems. MuSE supports the system engineer by its tools for the specification, simulation and validation of the system´s behavior. MuSE also provides the structured archiving of all documents in a hypermedia database. This paper focuses on the specification and validation of the system´s behavior, especially on the concepts and tools for software/hardware co-design and co-simulation in the MuSE environment
Keywords :
database management systems; formal specification; hypermedia; integrated software; programming environments; MuSE environment; complex technical systems; cosimulation; hypermedia database; integrated software environment; simulation; software/hardware codesign; specification; structured archiving; system engineer; validation; Circuit simulation; Computer science; Database systems; Documentation; Hardware; Helium; Specification languages; Systems engineering and theory; Testing; Virtual reality;
Conference_Titel :
Hardware/Software Codesign, 1994., Proceedings of the Third International Workshop on
Conference_Location :
Grenoble
Print_ISBN :
0-8186-6315-4
DOI :
10.1109/HSC.1994.336706
