Abstract
We present an object-oriented method to represent knowledge about a set of digital systems. Based on this representation, concrete systems can easily be specified, their implementations in various models such as VHDL or Petrinets can be derived automatically from a specification by a knowledge based configuration system. In this paper, we focus on the set-theoretic foundations of our model.
Our work is supported by the “Deutsche Forschungsgemeinschaft” under project VF 1298.
Preview
Unable to display preview. Download preview PDF.
References
K. Agsteiner, D. Monjau, and S. Schulze. Object oriented high-level modeling of system components for the generation of VHDL. In Proc. Europ. Design Automation Conf. EURODAC'95, Brighton, Great Britain, September 18–22 1995.
K. Agsteiner, D. Monjau, and S. Schulze. Object oriented system level specification and synthesis of heterogeneous systems. In Proc. EUROMICRO '95, Como, Italy, September 4–7 1995.
D. Drusinsky and D. Harel. Using Statecharts for hardware description and synthesis. In IEEE Transactions on Computer—Aided Design, 1989.
W. Glunz, T. Rössel, T. Kruse, and D. Monjau. Integrating SDL and VHDL for system-level hardware design. In Proc. Intl. Symposium on Computer Hardware Description Languages CHDL, Ottawa, Canada, 1993.
H. Haugeneder, E. Lehmann, and P. Strus. Knowledge-based configuration of operating systems—problems in modeling the domain knowledge. In W. Brauer and B. Radig, editors, Wissensbasierte Systeme, number 112 in Informatik Fachberichte. Springer, Heidelberg, 1985.
H.-P. Juan, N. D. Holmes, S. Bakshi, and D. D. Gajski. Top-down modeling of RISC processors in VHDL. In Proc. Europ. Design Automation Conf. EURO-DAC'93, Hamburg, Germany, 1993.
S. Kahlert, J.-U. Knäbchen, and D. Monjau. Design and analysis of heterogeneous systems using graphically oriented methods: A case study. In Proc. SASIMI'93, Nara, Japan, 1993.
S. Mittal and F. Frayman. Towards a generic model of configuration tasks. In Proc. Eleventh International Joint Conference on AI, pages 1395–1401, Detroit, 1989.
S. Narayan and D. Gajski. Features supporting system-level specification in hdls. In Proc. Europ. Design Automation Conf. EURO-DAC'93, Hamburg, Germany, 1993.
SpeedChart, Inc. speedCHART—User's Manual, 1993.
F. Vahid, S. Narayan, and D. D. Gajski. SpecCharts: A language for system level specification and synthesis. In Proc. Intl. Symposium on Computer Hardware Description Languages CHDL, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Agsteiner, K., Monjau, D., Schulze, S. (1996). Object-oriented high level modeling of complex systems. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034771
Download citation
DOI: https://doi.org/10.1007/BFb0034771
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive