By Topic

Rapid System Prototyping, 1992. Shortening the Path from Specification to Prototype, 1992 International Workshop on

Date 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)

    Save to Project icon | Request Permissions | PDF file iconPDF (138 KB)  
    Freely Available from IEEE
  • A novel VHDL-based computer architecture design methodology

    Page(s): 292 - 300
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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. The VHDL framework allows for iterative stepwise refinement of a model. A performance (uninterpreted) model can be refined to a register transfer level (RTL) description without changing modeling environments or completely rewriting the models. As an example, the performance-modeling phase of the single path design methodology is applied to the WM machine, a superscalar computer architecture 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

    Page(s): 94 - 111
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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.
  • GRAPE-II: a tool for the rapid prototyping of multi-rate asynchronous DSP applications on heterogeneous multiprocessors

    Page(s): 24 - 37
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 model and the intermediate specification language to support multirate and asynchronous operation are described. The programming model is clarified by an example. The global structure of GRAPE-II is presented. The status of the project is indicated 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

    Page(s): 172 - 180
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 systems. The embedded consultant project addresses these issues by knowledge-base size reduction by means of code optimization techniques, and by an inference engine, written in Ada, designed for real-time applications. A new rapid prototyping approach for real-time applications is described. The methodology is based on the reuse of existing software components. The approach, and the significance of the work are discussed 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

    Page(s): 112 - 125
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 used to simulate system operation and support the development of a rapid prototype. PFM-nets can be generated (in theory) automatically from a PFM model of a target system. The PFM model and model execution are discussed 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

    Page(s): 255 - 278
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 outputs. The simulation modules are strongly linked and embedded in an object-oriented knowledge-capture and design-representation architecture. The system provides a flexible, reconfigurable model-building and scenario-based simulation environment. The requirements analysis process which led to the development of the concept and the major testbed components are discussed. The object-oriented modeling techniques and frame-based data structure which support the rapid-prototyping capabilities of the testbed and the interactive capabilities of the system are described 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

    Page(s): 221 - 233
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 manufacturing automation protocol (MAP) and the related manufacturing message specification (MMS) are used for the communication between network nodes and various components inside the network nodes 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

    Page(s): 19 - 23
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 gate arrays. This allows very fast evaluation of an architectural idea, and allows for a series of fast iterative design improvements, BBDS also enforces a set of formally defined rules based on attributes of signals and component connectors to guarantee consistency of the clocking scheme. Both standard components and software can be accommodated. BBDS can be used to investigate the partitioning of a computer system into software and hardware, and is based on automatic synthesis with a user selectable target library 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

    Page(s): 280 - 291
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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, programming language and environment greatly simplified GUI construction, allowing the prototyper to concentrate on placement and routing algorithms instead of the details of conventional GUI programming 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

    Page(s): 161 - 170
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 the execution stage of the processor and the dimensions of the caches in the memory subsystem. Architectural prototypes are selected by trading off accuracy in hardware simulation for an increase in usable workload size 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

    Page(s): 301 - 310
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 proprietary software tool combined with VHDL modeling allow test information to automatically migrate through each phase. This allows system implementation to be verified against the original top-level specification. This method of automated test procedure generation provides significant insight into system operation 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

    Page(s): 77 - 93
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 algebraic abstract data types. In CO-OPN, this association is structured by the object notion. For prototyping such a formalism, a fully operational semantics is required. The semantics is given for the simulation tools that have been developed. An editor and an environment for executing CO-OPN specifications have been developed. The specifications are prototyped using a translation of the specifications into Prolog View full abstract»

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

    Page(s): 50 - 57
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 prototyping with system prototyping and of throw-away with evolutionary prototyping are given. The technologies which support prototyping, i.e., prototyping languages, software reuse, designed interfaces, and decision support, are described 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

    Page(s): 212 - 220
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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., inheritance and reuse. An example of a nontrivial data structure, the heap, is presented 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

    Page(s): 181 - 187
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 various definitions of the notions of functional complexity, a number of theorems are proved. Code metrics, including statement count, M. Halstead's (1977) programming effort, and T. McCabe's cyclomatic number are reviewed, together with specification metrics including L. Hellerman's (1972) metric, D. Schutt's (1977) metric, N. Coulter's (1987) metric, and A. Albrecht's (1983) functional point. These metrics are evaluated with respect to the three axioms. Results show that code metrics do not satisfy these axioms, while Hellerman, Schutt, and Coulter metrics do 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

    Page(s): 235 - 248
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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.
  • Rapid prototyping through communicating Petri nets

    Page(s): 58 - 75
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 passing modules. The augmented model is named communicating Petri net (CmPN). After an introduction to communicating Petri nets, an outline of the software lifecycle activities enforced by the tool under development is given. Two different methods for automatic code generation are expounded and compared in terms of both computational run-time overhead and code dimension (in the case of an example comprised of four CmPNs) 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

    Page(s): 38 - 48
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 this approach are identified. The requirements for similar environments to overcome some of the problems encountered are outlined 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

    Page(s): 188 - 201
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 discussed. The benefits gained in moving a graphical technique up to the front end of the software life cycle are discussed. Sample specifications are included to illustrate the effectiveness of the technique 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

    Page(s): 249 - 254
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 efficiency and accuracy. The usefulness of such a link is justified by an example View full abstract»

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

    Page(s): 127 - 137
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 chips and running on a 2-MHz clock, is described. The execution of DLX programs and the problems encountered are discussed 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

    Page(s): 203 - 211
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 prototype is intended to verify real-time concurrency logic, calibrate performance, and ensure safety, it includes a global virtual time base as a statechart subgraph. The prototyping process consists of capturing the system-level communication architecture in a higher-level statechart, and then translating it to an Ada multitasking program. A characteristic software architecture implicit in higher-level statecharts, known as a mutual agents architecture, appears to be suitable for an automated prototyping environment 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

    Page(s): 138 - 160
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 engineering design environment. Some unforeseen problems and their proposed solutions are discussed View full abstract»

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