DocumentCode
1458854
Title
The design and development of embedded Ada systems
Author
Clark, Robert G.
Author_Institution
Dept. of Comput. Sci., Stirling Univ., UK
Volume
5
Issue
3
fYear
1990
fDate
5/1/1990 12:00:00 AM
Firstpage
175
Lastpage
184
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
54406
Link To Document