Abstract
A method for design of embedded real-time systems is described. We discuss how the method separates concerns and at what points theory is applied. We also report on our experience from teaching the method to engineers from several Danish companies and their experience in using the method in real development projects.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
D. Bjørner and C. B. Jones,The Vienna Development Method: The Meta-Language, LNCS 61, Springer, 1978.
D. Bjørner and C. B. Jones,Formal Specification and Software Development, Prentice-Hall, 1982.
S. D. Brookes, C. A. R. Hoare and A. W. Roscoe,A theory of communicating sequential processes, Journal ACM 31, 560–599, 1984.
O. Caprani, S. Lauesen and U. Ougaard,Design principles for dedicated, data collecting programs, inLarge Scale Integration, Euromicro Symposium, North-Holland 1978.
U. Gamwell Dawids and H. H. Løvengreen,Rigorous development of a distributed calendar system, inParallel Architectures and Languages Europe, LNCS 259, 188–205, 1987.
P. Brinch Hansen,The Architecture of Concurrent Programs, Prentice-Hall, 1977.
Ed Brinksms (ed.),LOTOS — A formal description technique based on the temporal ordering of observational behaviour, ISO DIS 8807, 1987.
C. A. R. Hoare,Monitors: an operating system structuring concept, Comm. ACM 17, 549–557, 1974.
C. A. R. Hoare,Communicating sequential processes, Comm. ACM 21, 666–677, 1978.
M. Jackson,Principles of Program Design, Academic Press, 1975.
M. Jackson,System Development, Prentice-Hall, 1983.
I. Jacobson,FDL: a language for designing large real time systems, inInformation Processing 86, H.-J. Kugler (ed.), Elsevier Sc. Publ. (North-Holland), 1986.
C. B. Jones,Systematic Software Development using VDM, Prentice-Hall, 1986.
R. Milner,A Calculus of Communicating Systems, LNCS 92, Springer, 1980.
P. Naur,Programming as theory building, Microprocessing and Microprogramming 15, 253–261, 1985.
D. L. Parnas, P. C. Clement and D. M. Weiss,The modular structure of complex systems, Proceedings of the 7th International Conference on Software Engineering, 408–417, 1984.
Anders P. Ravn, Hans Rischel and Benny G. Mortensen,Konstruktion af Formålsbundne Systemer, (Danish), Teknisk Forlag, 1987.
P. Zave and W. Schell,Salient features of an executable specification language and its environment, IEEE Trans. SE-12, 312–325, 1986.
Author information
Authors and Affiliations
Additional information
Dedicated to Peter Naur on the occasion of his 60th birthday
This work has been partially supported by the National Agency of Technology.
Rights and permissions
About this article
Cite this article
Ravn, A.P., Rischel, H. & Henrik Løvengreen, H. A design method for embedded software systems. BIT 28, 427–438 (1988). https://doi.org/10.1007/BF01941126
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01941126