Application of a CASE tool to a high integrity engine control system

The Teamwork computer aided software engineering (CASE) tool provides an environment for structured analysis and design. This environment incorporates a number of graphical and textual editors with facilities for error detection, object configuration and document production. The user interface is common to all the Teamwork Analysis and Design tools. Each Teamwork product interacts with project database that contains multiple models and all of their model objects created in the Teamwork environment. The configuration of objects within the project database is handled by Model Configuration Management (MCM), and is used to control read/write access to configurable objects. The author discusses the structured Analysis/Real Time tool, SA/RT and the project HOLD whose aim is to evaluate the applicability of Ada to high integrity engine control systems