Browsing by Author "Joyce, Jeff"

Now showing 1 - 3 of 3
  • No Thumbnail Available
    ItemMetadata only
    Graphical monitoring of distributed systems
    (1984-03-01) Unger, Brian W; Joyce, Jeff
    A tool for the animation of message interactions between concurrent processes is presented. Each message interaction, such as a send or receive, has a corresponding static graphical representation. The interactions among the processes of an executing distributed computation are represented by an animated sequence of these static images. This graphical monitoring tool, called Mona, is part of a distributed software prototyping environment, called Jade. The Jade environment supports the implementation of distributed programs written in ADA, C, Lisp, Prolog, and Simula. The execution of these multilingual programs can be distributed over a loosely coupled network of Vax/Unix systems and microcomputer workstations. Preliminary experience using Mona to develop distributed programs is also reported. In particular, the application of Mona to the debugging of a distributed implementation of a workstation virtual terminal window system is described. We also discuss the advantages of graphical monitoring over more traditional approaches, i.e. textual tracing.
  • No Thumbnail Available
    ItemMetadata only
    Graphical monitoring of distributed systems
    (1984-10-01) Joyce, Jeff; Unger, Brian W
    A tool for the animation of message interactions between concurrent processes is presented. Each message interaction, such as a send or receive, has a corresponding static graphical representation. The interactions among the processes of an executing distributed computation are represented by an animated sequence of these static images. This graphical monitoring tool, called Mona, is part of a distributed software prototyping environment, called Jade. The Jade environment supports the implementation of distributed programs written in ADA, C, Lisp, Prolog, and Simula. The execution of these multi-lingual programs can be distributed over a loosely coupled network of Vax/Unix systems and microcomputer workstations. Preliminary experience using Mona to develop distributed programs is also reported. In particular, the application of Mona to the debugging of a distributed implementation of a workstation virtual terminal window system is described. We also discuss the advantages of graphical monitoring over more traditional approaches, i.e. textual tracing.
  • Thumbnail Image
    ItemOpen Access
    SPECIFICATION AND VLSI DESIGN
    (1985-11-01) Birtwistle, Graham; Joyce, Jeff; Liblong, Breen; Melham, Tom; Schediwy, Rick
    We describe research into specification-based VLSI design underway at the University of Calgary. Our long term research goals are directed towards building a specification-based design environment (EDICT) to support an iterative, hierarchic design methodology. Our current research has three aspects: the SHIFT high level design capture format (completed); gaining experience in verifying large designs (underway); and building a specification library. In this paper we describe work in progress on two large proofs. The first is for the elimination unit of a local area network device, for which the proof is well underway. The second project concerns the specification driven design of Landin's SECD machine and is just beginning. To set the context for this work on verification, we start by giving partial descriptions of EDICT and SHIFT to show how they use specifications.