From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_40,INVALID_DATE, MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site clan.UUCP Path: utzoo!dciem!nrcaer!clan!cmw From: cmw@clan.UUCP (Murray Woodside) Newsgroups: net.research,net.ai,net.lang.prolog,net.lang.ada Subject: CAEDE -- CArleton Embedded Design Environment, Availability Message-ID: <204@clan.UUCP> Date: Tue, 4-Nov-86 09:41:52 EST Article-I.D.: clan.204 Posted: Tue Nov 4 09:41:52 1986 Date-Received: Thu, 6-Nov-86 22:41:01 EST Organization: Systems Eng., Carleton Univ., Ottawa, Canada Xref: dciem net.research:519 net.ai:3540 net.lang.prolog:839 net.lang.ada:1148 List-Id: CAEDE (CArleton Embedded Design Environment) is a software CAD environment aimed at the designers of real time embedded systems in ADA (copyright U.S. Department of Defense) and other multitasking languages (eg. RMX-86). A graphical interface allows the designer to create structure diagrams of real time systems using an iconic notation for ADA ("Buhrgrams"), and a design methodology described in Buhr's, System Design with Ada. Although the iconic notation and the methodology are targeted at Ada, both are general enough to apply to any multitasking language. The graphics interface uses a Sun workstation running Suncore graphics. The mouse and keyboard are used for interaction with the user. Features of the graphical interface include: 1 : nested structure diagrams for hierarchical design, 2 : hardcopy generation for presentation purposes, 3 : dynamic sizing of icons using rubberband echoing of mouse movement and full capability to modify diagrams, 4 : the ability to save and later restore partial designs to promote incremental development and 5 : the ability to extensively comment a design to aid in automatic skeleton code generation. Supporting the graphical interface are a number of design tools. The tools are largely written in Prolog to facilitate the incremental addition of further tools. Additions to CAEDE in this area are under development. Available tools include: 1 : consistency and completeness checking for designs, 2 : generation of Prolog facts representing the graphical design information, 3 : performance modelling for throughput estimation and bottleneck detection and 4 : Prolog-based automatic skeleton code generation. The automatically generated code acts as a structural template to be edited by the programmer to generate a complete system. CAEDE 1.5 requires the following environment: 1 : Sun-1, Sun-2, Sun-3 workstation with Sun Version 3.0 of Unix 4.2bsd, 2 : Distribution on 1/4" archive tape or 1/2" magtape, 3 : Mprolog Version 2.1 (Logicware Inc, Toronto, Ont., Canada), or (University of Edinburgh Cprolog Version 1.4) and 4 : Imagen laser printer for screendumps. The price list for Canadian universities is: Binary CDN$ 100 and Source CDN$ 250. The price list for foreign universities is: Binary US$ 150 and Source US$ 300. Commercial licencing information is available on request. Prof. C.M. Woodside, Mr. Gerald Karam or Mr. Ron Casselman Systems and Computer Engineering Department, Carleton University, Ottawa, Canada, K1S - 5B6 Tel: 613-564-3625 OR E-mail address: UUCP: {allegra,decvax,ihnp4,linus,utzoo}!watmath!clan!cmw CDN: cmw@systems.carleton.cdn ARPA: cmw%systems.carleton.cdn%ubc.csnet@csnet-relay.arpa CSNET: cmw%systems.carleton.cdn@ubc.csnet