Experiments with Prolog design descriptions and tools in CAEDE: an iconic design environment for mutltitasking, embedded systems

Authors:
R. J. A. Buhr;C. M. Woodside;G. M. Karam;K. Van Der Loo;D. G. Lewis
Affiliations:
Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, CANADA KlS5B6;Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, CANADA KlS5B6;Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, CANADA KlS5B6;Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, CANADA KlS5B6;Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, CANADA KlS5B6
Venue:
ICSE '85 Proceedings of the 8th international conference on Software engineering
Year:
1985

Citing 7
Cited 4

Systems design with ADA.

Systems design with ADA.
Pict: An Interactive Graphical Programming Environment

Computer
Introduction to logic programming

Introduction to logic programming
A software design method for real-time systems

Communications of the ACM
Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic
The architecture of concurrent programs

The architecture of concurrent programs
Logical Design of Multiple Microprocessor Systems

Logical Design of Multiple Microprocessor Systems

Understanding and Controlling Software Costs

IEEE Transactions on Software Engineering
Software CAD: A Revolutionary Approach

IEEE Transactions on Software Engineering
The CAEDE performance analysis tool

SETA1 Proceedings of the first international symposium on Environments and tools for Ada
An overview and example of application of CAEDE: a new, experimental design environment for Ada

SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on experiments with Prolog design descriptions and tools in CAEDE (Carleton Embedded System Design Environment), an experimental, iconic design environment for multitasking, embedded systems. The philosophy of CAEDE is to enter structural and temporal design information iconically, via a graphics interface, to serve as the basis for design analysis and skeleton code generation, and then to enter, under control of the iconic interface, program “strips” to fill in the functional gaps in the skeleton code. The iconic information is converted automatically into a Prolog design data base of facts and rules. CAEDE aims to support incremental design and to be incrementally extensible. In the current implementation of CAEDE, which runs on a SUN workstation supporting design for Ada, the iconic interface is limited to structural design. Here we describe the Prolog side of our research, covering the nature of the facts produced from the iconic input by the current implementation and their use by experimental Prolog tools for structural analysis, temporal analysis and Ada code generation. The aim is to show how Prolog is contributing to the framework of a powerful, extensible design environment.