scispace - formally typeset
Book ChapterDOI

Object-Oriented High Level Modeling of Complex Systems

Reads0
Chats0
TLDR
An object-oriented method to represent knowledge about a set of digital systems so that concrete systems can be specified and their implementations in various models such as VHDL or Petrinets can be derived automatically from a specification by a knowledge based configuration system.
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.

read more

Citations
More filters
Journal ArticleDOI

Document-based workflow modeling: a case-based reasoning approach

TL;DR: A document-based workflow modeling mechanism is proposed, which employs a case-based reasoning (CBR) technique for the effective reuse of design outputs and a repository is proposed to support this CBR process.
Dissertation

Document-based workflow modeling : case-based reasoning approach = 문서기반 워크플로우 모델링 : 사례기반추론 접근법

Jae-Ho Kim, +1 more
TL;DR: In this article, a document-based workflow modeling mechanism, which employs a case-based reasoning (CBR) technique for the effective reuse of design outputs, is proposed to support this CBR process.

Level Modeling of System Components for the Generation of VHDL Code

TL;DR: A method for the design of digital systems that automatically derives an executable prototype of a system from an informal specification that emphasizes a bottom-lip procedure and reuse of existing components.
Proceedings ArticleDOI

Object-oriented high-level modeling of system components for the generation of VHDL code

TL;DR: In this article, the authors describe a method for the design of digital systems that automatically derives an executable prototype of a system from an informal specification. But their approach emphasizes a bottom-lip procedure and reuse of existing components.
Proceedings ArticleDOI

Automating system-level design: from specification to architecture

TL;DR: A new method to specify digital systems at the system level and to automatically transform a specification into a set of required system components from which in turn a complete system can be constructed using a knowledge-based configuration system is presented.
References
More filters
Proceedings Article

Towards a generic model of configuraton tasks

TL;DR: A domain-independent model is presented based on two important assumptions: functional architecture and key component per function that limit the complexity of the general configuration task, determine the basic knowledge needed for solving a configurationtask, and enable more efficient problem solving methods.
Journal ArticleDOI

Using statecharts for hardware description and synthesis

TL;DR: The authors argue that statecharts can be beneficially used as a behavioral hardware description language and present a VLSI synthesis methodology by which layer area and delay periods can be reduced relative to the conventional finite-state-machine (FSM) synthesis method.
Book ChapterDOI

SpecCharts : A Language for System Level Synthesis

TL;DR: The SpecCharts language was created, essentially a combination of hierarchical/concurrent state diagrams and HDL constructs that attempt to ease the conversion from system conceptualization to system specification, and also aid synthesis.
Book ChapterDOI

Integrating SDL and VHDL for System-Level Hardware Design

TL;DR: A translation of SDL descriptions into the standard hardware description language VHDL is presented, which allows one to implement SDL descriptions in hardware with state-of-the-art synthesis tools.
Proceedings ArticleDOI

Features supporting system-level specification in HDLs

TL;DR: The authors compare VHDL with five other specification languages: HardwareC, SDL, Statecharts, SpecCharts, and CSP (Communicating Sequential Processes) and present a list of features which are desirable in a language to be used for specifying systems.