Title :
The design and development of embedded Ada systems
Author :
Clark, Robert G.
Author_Institution :
Dept. of Comput. Sci., Stirling Univ., UK
fDate :
5/1/1990 12:00:00 AM
Abstract :
A description is given of how a combination of CSP and the me too method of software design can be used to formalise the early stages of the object-oriented development of embedded systems, including those with time constraints. Using the example of the watchdog timer, the author shows how a specification can be developed, exercised in a prototyping environment and then transformed into an outline concurrent Ada program
Keywords :
Ada; Ada listings; object-oriented programming; parallel programming; software engineering; CSP; communication sequential processes; embedded Ada systems; embedded systems; object-oriented development; outline concurrent Ada program; prototyping environment; software design; specification; time constraints; watchdog timer;
Journal_Title :
Software Engineering Journal
