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=0.6 required=5.0 tests=BAYES_20,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10db24,f9f295d38850ad27,start X-Google-Attributes: gid10db24,public X-Google-Thread: 103376,f9f295d38850ad27,start X-Google-Attributes: gid103376,public From: bsanden@site.gmu.edu (Bo I. Sanden) Subject: Courseware: Real-time and Ada 95 Date: 1996/10/25 Message-ID: <54qrn4$kj3@portal.gmu.edu>#1/1 X-Deja-AN: 192166509 content-type: text/plain; charset=US-ASCII summary: Announcement of course on real-time software design in Ada 95 freely available from the ASSET repository organization: George Mason University, Fairfax, Virginia, USA keywords: Ada 95, courseware, real-time, concurrent, concurrency, entity-life modeling, ELM mime-version: 1.0 newsgroups: comp.lang.ada,comp.edu Date: 1996-10-25T00:00:00+00:00 List-Id: A course in real-time software design based on Ada 95. +++++++++++++++++++++++++++++++++++++++++++++++++++++ A course in real-time software design based on Ada 95 is freely available as asset_a_825 from the Asset repository (www.asset.com). The material forms a semester-long graduate course. It has also been used for concentrated courses of 3-5 days and 1-day tutorials. The course starts with an overview of the Ada 95 syntax for tasks and protected units. The rest of the material shows how to design concurrent software. The emphasis is on practical, real-time applications. The examples go far beyond those textbook examples commonly used to illustrate syntactical features and issues such as mutual exclusion and deadlock. Examples include: Automobile cruise control, Buoy problem, Home-heating problem, Remote temperature sensor, Airport luggage handling, LEGO car factory, Elevator control problem and Flexible manufacturing system. (Some of these are well-known from the literature, others are new.) While the course surveys other design approaches, the main theme is entity-life modeling (ELM). ELM is not a cookbook method but rather a principle relating the structure of the software to the structure of the problem itself. In order to use the course material, you do not have to commit to a particular series of design steps. The designs will appear quite intuitive. --------------------- Dr. Bo I. Sanden Colorado Technical University, Colorado Springs Email: bsanden@isse.gmu.edu Author of: Software Systems Construction with Examples in Ada, Prentice-Hall 1994