By Topic

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping

23-25 June 1992

Filter Results

Displaying Results 1 - 24 of 24
  • 1992 International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype (Cat. No.92TH0503-3)

    Publication Year: 1992
    Request permission for commercial reuse | PDF file iconPDF (138 KB)
    Freely Available from IEEE
  • GRAPE-II: a tool for the rapid prototyping of multi-rate asynchronous DSP applications on heterogeneous multiprocessors

    Publication Year: 1992, Page(s):24 - 37
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (644 KB)

    The second version of the graphical programming environment (GRAPE) is described. It is intended as a tool for the rapid prototyping of digital signal processing (DSP) application-specific integrated circuits (ASICs) on a multiprocessor. GRAPE-II fully supports multirate and asynchronous DSP applications and heterogeneous target multiprocessors. The extensions that are required to the programming ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An evaluation of the Teamwork CASE environment for specifications capture of hardware systems

    Publication Year: 1992, Page(s):38 - 48
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    The use of the Teamwork computer-aided software engineering (CASE) environment in a hardware application is examined. Teamwork is used to capture and maintain the specifications of a real-time image processing system under development at Duke University. It is demonstrated that when coupled with appropriate methodology, Teamwork can be used in hardware projects. The strengths and weaknesses of thi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer aided system prototyping

    Publication Year: 1992, Page(s):50 - 57
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (456 KB)

    The ability of various types of computer-aided prototyping environments to speed up prototyping and help the analysts formulate, understand, and communicate the properties of proposed systems to potential users of those systems, and to integrate smoothly with tools for optimizing and refining the prototype design into a production-quality software product, is examined. Comparisons of software prot... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prototyping the DLX microprocessor

    Publication Year: 1992, Page(s):127 - 137
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (596 KB)

    The prototyping of a functioning DLX microprocessor, based on the 32-b instruction set architecture developed by D. Patterson and J. Hennessy (in Computer Architecture: A Quantitative Approach, 1990), is described. This architecture is an emerging academic standard but has yet to be successfully prototyped. An implementation of DLX as a 12-in×15-in two-layer circuit board, containing 59 chip... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid prototyping through communicating Petri nets

    Publication Year: 1992, Page(s):58 - 75
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (724 KB)

    The design and implementation of a tool for the construction of distributed systems are described. This tool is based on a specification model which extends ordinary Petri nets to include functional and structural concepts. Functional extensions give the model specification completeness, whereas structuring extensions support the organization of the system under development into a set of message p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A novel VHDL-based computer architecture design methodology

    Publication Year: 1992, Page(s):292 - 300
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    There is a need for a design methodology that allows the representation and simulation of a design at various levels of abstraction and interpretation. The single path design methodology presented is a possible solution to this problem. The basic concept of the methodology is the use of one simulation language, the VHSIC hardware description language (VHDL, Version 1076) for all phases of design. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid prototyping with the OR model

    Publication Year: 1992, Page(s):212 - 220
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    An object-oriented model called the object-relation (OR) model is presented and shown to be powerful for rapid prototyping of object-oriented systems. The OR model is based on relations that replace the implicit interconnections that typically exist in every software system. These relations are defined in class hierarchies and can be used similarly to the way regular objects are used, e.g., inheri... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concurrent engineering: a prototyping case study

    Publication Year: 1992, Page(s):138 - 160
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (980 KB)

    Vuman is a wearable portable computer used for navigation through electronic blueprints. Thirty working units of Vuman were designed and manufactured from system concept using a concurrent engineering design environment. The authors describe the steps in prototyping Vuman, using the suite of synthesis and analysis tools in the electronic and mechanical domains which comprise the concurrent enginee... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Producing prototypes from CO-OPN specifications

    Publication Year: 1992, Page(s):77 - 93
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1024 KB)

    The techniques and the tools developed to produce prototypes from CO-OPN (concurrent object-oriented Petri net) specifications are described. CO-OPN is a specification language for the description of concurrent aspects and data-structure aspects of computer programs in an abstract way. The concurrent part of the formalism is described with Petri nets, while the data aspects are described with alge... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic test procedure generation from system specifications

    Publication Year: 1992, Page(s):301 - 310
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB)

    Automated aids to generating test procedures for electronic systems from top-level system specifications are described. A five-phase design methodology which incorporates VHSIC description language, (VHDL) modeling allows concurrent development of complex systems and associated test procedures. The methodology proceeds in a top-down fashion, progressively adding design detail in each phase. A prop... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid prototyping for MAP/MMS based CIM-OSA environments

    Publication Year: 1992, Page(s):221 - 233
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (792 KB)

    For the validation of the computer-integrated manufacturing (CIM) open system architecture (CIM-OSA), a demonstrator called McCIM has been developed. The first steps in linking the CIM-OSA modeling framework and its integrating infrastructure (IIS) are described. Models of CIM applications are executed by the IIS to run a rapid prototype of online model-based flexible manufacturing. The manufactur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systematic prototyping of superscalar computer architectures

    Publication Year: 1992, Page(s):161 - 170
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    It is argued that the correct solution to the computer architecture design process is a prototyping approach. In this approach, the initial design is selected using the workload itself. This design is an architectural prototype, specifying the high-level design decisions that are difficult to acquire via detailed simulation. These design decisions include determining the mix of function units in t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A system level synthesis framework for computer architectures

    Publication Year: 1992, Page(s):94 - 111
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1028 KB)

    A framework for system level synthesis is presented, and a suitable language, DSL, for capturing design specifications and generating control graphs amiable to synthesis is proposed. The three stages in the synthesis process-design specification, intermediate representation, and synthesis-are examined in detail. A rough version of the language is used to model a simple system View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rapid prototyping using object-oriented modeling and testbed simulation for complex real-time systems

    Publication Year: 1992, Page(s):255 - 278
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1480 KB)

    A simulation testbed architecture which is particularly amenable to rapid-prototyping applications is described. It comprises a three-tier modular hybrid simulator made up of actual system components, conventional numeric functional simulation models, and a set of behavioral knowledge-based representations which model hardware and software functions in terms of functional states, inputs and output... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ProSet-a language for prototyping with sets

    Publication Year: 1992, Page(s):235 - 248
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (920 KB)

    The prototyping language ProSET (Prototyping with Sets) for experimental and evolutionary prototyping is discussed, with emphasis on algorithm design. Its features include generative communication, flexible exception handling, and the integration of persistence. Issues pertaining to the compiler and the programming environment are discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements specification for a real-time embedded expert system for rapid prototyping

    Publication Year: 1992, Page(s):172 - 180
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (656 KB)

    Several commercial expert system shells provide knowledge engineers with the capability of developing expert system applications, but are not able to meet the size constraints or provide the run-time performance needed to address problems associated with delivery of embedded real-time applications. In addition, there is no provision to provide deliverable code in Ada, a requirement for many US DoD... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BBDS-a design tool for architectural evaluation and rapid prototyping of performance critical digital systems

    Publication Year: 1992, Page(s):19 - 23
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    BBDS, an interactive graphical design tool for developing clock cycle true system models, is described. A design idea is entered through graphical interaction based on the Werner diagram. All important decisions about scheduling and allocation of operations are visually explicit. The design can rapidly be verified through simulation, timing analysis, area estimation and prototyping in programmable... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A pragmatic formal method (PFM) for computer system definition and execution

    Publication Year: 1992, Page(s):112 - 125
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (636 KB)

    The pragmatic formal method (PFM) process produces a model of a to-be-built target system, provides analysis of model quality, and simulates system operation. PFM incorporates a solution to one of the major problems with Petri nets, i.e., a static Petri net structure of a large system is difficult to define. A formal extension of Petri nets called PFM-nets (nets of interacting PFM functions) is us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visualizing optimization algorithms via rapid prototyping of graphical user interfaces

    Publication Year: 1992, Page(s):280 - 291
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (492 KB)

    Graphical visualization of algorithm behavior can be a powerful technique for assessing the effectiveness of different algorithms and heuristics, provided that the graphical user interface (GUI) can be prototyped and modified quickly. Visualization was used to prototype a placement and routing package for the MITRE digital transform machine (DTM), a reconfigurable logic array. Use of the galaxy, p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Higher-level statecharts for prototyping architectural dynamics

    Publication Year: 1992, Page(s):203 - 211
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    A system-level prototyping method has been developed for modeling the dynamics of concurrent real-time systems. This approach is based on higher-level statecharts, which embody object-based extensions to basic statecharts. To exemplify this method, a global communication mechanism is prototyped for a real-time multicomputer system that executes a single logical multitasking program. Since this pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating operational specification and performance modeling

    Publication Year: 1992, Page(s):249 - 254
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (488 KB)

    There are two important early stages in the design of complex systems: modeling of the system (operational) specification, and modeling of the system performance. A link between operation specification and performance modeling via VHDL (VHSIC hardware description language) is proposed, and it is shown by an example how the models can be made to interact, yielding a synergy leading to design effici... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually

    Publication Year: 1992, Page(s):188 - 201
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (752 KB)

    Descartes is an executable specification language that supports the rapid prototyping of partial through complete software specifications. A technique developed to represent Descartes executable specifications visually by adapting the charts of I. Nassi and B. Shneiderman (1973), is described. Symbols are identified for the data structuring methods and the rationale for selecting these symbols is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An axiomatic approach of software functionality measure

    Publication Year: 1992, Page(s):181 - 187
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (624 KB)

    Three axioms for functional complexity of software are proposed. The first axiom asserts that functional complexity is a function and is computable at the specification level. The second axiom argues that an empty specification has zero functional complexity. The third axiom asserts that a harder specification has no less functional complexity than an easier one. With these three axioms and variou... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.