Abstract
Large computer-assisted systems generally have shortcomings of one or more kinds: their functionality may differ from their specification, performance can be less than desirable, system flexibility is often unacceptably low, fault tolerance is all but absent, etc. Particularly worrying is the almost total lack of confidence in a system’s correctness.
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
The Transputer Databook. Inmos, November 1988.
M. Boasson . 1986. Patent applications in numerous countries
M. Boasson . Software design and system architecture. NATO AC/243 Panel 11, RSG01 Workshop “On Distributed System Design Methodology”, Brussels 1987
M. Boasson. Modeling in real-time systems. Computer Standards & Interfaces, 6: 107–114, 1987.
J. A. Droppert, H. B. M. Jonkers, and H. M. H Loomans. A COLD-1 Specification of SPLICE. Technical Report, Natuurkundig Laboratorium Philips, August 1989.
D. H. Gelernter . Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 80–112, January 1985.
D. Gries. Programming Methodology. A Collection of Articles by Members of IFIP WG2.3. Springer-Verlag, New York, 1978.
C. Henry and M. Lott. La methode de conception MACH2. In Proc. International Workshop Software Engineering & its Applications, pages 301–320, Toulouse, December 1988.
G.-C. Roman, H. C. Cunningham, and M. E. Ehlers. A Shared Dataspace Language Supporting Large-scale Concurrency. Technical Report WUCS-88-9, Washington University, March 1988.
R. vd Land. SPLICE Routing. Technical Report, University of Leiden, Dept of Computer Science, July 1989.
G. Wiederhold. Data Engineering. Stanford University, February 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
Boasson, M. (1990). Architecture of Real-Time Systems. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D., Misra, J. (eds) Beauty Is Our Business. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-4476-9_6
Download citation
DOI: https://doi.org/10.1007/978-1-4612-4476-9_6
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-8792-6
Online ISBN: 978-1-4612-4476-9
eBook Packages: Springer Book Archive