An overview and example of application of CAEDE: a new, experimental design environment for Ada

Authors:
R. J. A. Buhr;G. M. Karam;C. M. Woodside
Affiliations:
Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, Canada;Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, Canada;Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, Canada
Venue:
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Year:
1985

Citing 4
Cited 7

Pict: An Interactive Graphical Programming Environment

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

ICSE '85 Proceedings of the 8th international conference on Software engineering
Lessons from practical experience teaching hands-on, real-time, embedded system programming with Ada

SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic

Software CAD: A Revolutionary Approach

IEEE Transactions on Software Engineering
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs

IEEE Transactions on Software Engineering
Starvation and Critical Race Analyzers for Ada

IEEE Transactions on Software Engineering
The CAEDE performance analysis tool

SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Lessons from practical experience teaching hands-on, real-time, embedded system programming with Ada

SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Analysis tools for Ada concurrency designs

WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Integrating Ada design graphics into the Ada software development process

WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada

Quantified Score

Hi-index	0.00

Visualization

Abstract

CAEDE is an experimental, integrated, iconic design environment which supports (1) a structured design methodology based on Buhr's System Design With Ada book (2) an iconic design entry system, (3) a design data base, and (4) design tools. The design data base is automatically represented in Prolog and the majority of the design tools are written in Prolog. Tools are currently available for structural and temporal analysis, and for source code generation. This paper describes both the ideas behind CAEDE and an example of a CAEDE tools written in Prolog for representing and analyzing the temporal behaviour of Ada tasking designs, without having to program them in Ada first.