Abstract
This paper describes 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, we show how a specification can be developed, exercised in a prototyping environment and then transformed into an outline concurrent Ada program.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Henderson, “Functional Programming, Formal Specification and Rapid Prototyping”. IEEE Transactions on Software Engineering 12, 241–250, 1986.
P. Henderson and C. Minkowitz, “The me too method of software design” . ICL Technical Journal 5, 64–95, 1986.
H. Alexander and V. Jones, Software Design and Prototyping Using me too. PrenticeHall, (to be published).
C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.
P. Zave, “The Operational versus the Conventional Approach to Software Development”. CA CM, 27 104–118, 1984.
W. Swartout and R. Balzer, “On the Inevitable Intertwining of Specification and Implementation”. CA CM 25, 438–440, 1982.
C. B. Jones, Systematic Software Development using VDM. Prentice-Hall, 1986.
S. M. Bennett, C. Minkowitz and J. S. Rowles, “me too Reference Manual”.STC Technology Ltd and Stirling University, 1988.
A. Goldberg and D. Robson, Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983.
R. G. Clark, “Ada Programs from me too specifications” . Descartes Technical Report D3–3, 1987.
R. G. Clark, “Designing Concurrent Objects”. International Workshop on Real-Time Ada Issues, ACM Ada Letters VII no 6, 107–109, 1987.
R. G. Clark, “Extension to me too to Incorporate Real Time” .Descartes Technical Report D36–2, 1988.
H. Alexander, Formally-Based Tools and Techniques for Human-Computer Dialogues, Ellis Horwood, 1987.
P. Henderson, Private Communication.
P. Leo, E. Zijlstra and U. Zwart, “Paradigms of Real Time Systems” . Descartes Technical Report D5–1, 1987.
G. Booch, “Object-oriented Development”. IEEE Transactions on Software Engineering 12, 211–221, 1986.
P. H. Welch, “A Structured Technique for Concurrent Systems Design in Ada” . Proceedings of the Ada-Europe Conference 1986, 261–272, Cambridge University Press, 1986.
K. McPherson, MSc Dissertation, University of Stirling, 1988.
R. G. Clark, “Report on the Set of Generic Packages”. Descartes Technical Report D3–1–2, 1987.
C. Chedgey, S. Kearney and H-J. Kugler, “Developing Ada Software Using VDM in an Object-Oriented Framework”. EUUG Conference Proceedings, Dublin 41–58, 1987.
M. I. Jackson, “Developing Ada Programs Using the Vienna Development Method (VDM)”. Software Practice and Experience 15, 305–318, 1985.
P. Zave and W. Schell, “Salient Features of an Executable Specification Language and its Environment”. IEEE Transactions on Software Engineering 12, 312–325, 1986.
E. Meiling and C. W. George, “The RAISE Language and Method” . Esprit ‘86: Results and Achievements, 607–617, Elsevier, 1987.
K. W. Nielsen and K. Shumate, “Designing Large Real-Time Systems with Ada”. CA CM 30, 695–715, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag London
About this paper
Cite this paper
Clark, R.G. (1990). The Design and Development of Ada Real-Time Embedded Systems. In: Rattray, C. (eds) Specification and Verification of Concurrent Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3534-0_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3534-0_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-19581-8
Online ISBN: 978-1-4471-3534-0
eBook Packages: Springer Book Archive