DocumentCode
1563391
Title
A formal model for coupling computer based system and physical systems
Author
Brielmann, Maria ; Kleinjohann, Bernd
Author_Institution
Cadlab, Paderborn, Germany
fYear
1993
Firstpage
158
Lastpage
163
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1993, with EURO-VHDL '93. Proceedings EURO-DAC '93., European
Conference_Location
Hamburg
Print_ISBN
0-8186-4350-1
Type
conf
DOI
10.1109/EURDAC.1993.410631
Filename
410631
Link To Document