Title :
A formal model for coupling computer based system and physical systems
Author :
Brielmann, Maria ; Kleinjohann, Bernd
Author_Institution :
Cadlab, Paderborn, Germany
Abstract :
One of the main challenges of information technology is the development of heterogeneous systems consisting of digital and analog parts. A technique for the common modeling of the different system parts and their interfaces that allows development all parts of the system in a consistent manner is shown. This technique is based on extensions of predicate/transition nets. Based on this model tools for the specification and evaluation of heterogeneous systems are built
Keywords :
computation theory; computer interfaces; formal specification; hybrid simulation; protocols; common modeling; coupling computer; digital analogue systems; evaluation; formal model; heterogeneous systems; information technology; interfaces; predicate/transition nets; specification; Analog computers; Analytical models; Control system synthesis; Differential equations; Digital systems; Hardware; Information technology; Petri nets; Physics computing; Reachability analysis;
Conference_Titel :
Design Automation Conference, 1993, with EURO-VHDL '93. Proceedings EURO-DAC '93., European
Conference_Location :
Hamburg
Print_ISBN :
0-8186-4350-1
DOI :
10.1109/EURDAC.1993.410631
