Abstract
The identification, ambiguity, relativity, and recursivity of the concepts related to Real Time Systems and Software, in particular, have created a problem in the understanding and designing of these systems. Other problems have complicated this situation even more. But instead of evaluating these problems, we are going to present an overview of our solution, obtained during the course of the Galileo project, (l).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lopez, I., Girod, J.J., Overton, J.M., Fernandez, J.M.: “Galileo Overview”, cod. 79-TR-10.01, Laboratories ITT de Standard Electrica, S.A. Madrid, Spain.
Petri, C.A.: Communication with Automate Technical Report No. RADC-TR.65-377 Vol. 1, Supplement I, Jan. 66, Air Force Systems Command, Griffiss Air Force Base, New York.
Campos, I., Estrin, G.: “Concurrent Software System Design” Symposium on Design Automation and Microprocessors, February 24–25, 1977, Palo Alto, California.
Hansen, Per Brinch: “Multiprocessor Architectures for Concurrent Programs”. Computer Architecture News. ACM, Special Interest Group on Computer Architecture. Vol. 7. Number 4, Dec. 15th, 1978.
Hoare, C.A.R.: “Monitors: An Operating System Structuring Concept” Communication of de ACM, October 1974 Volume 17 No. 10 pp 549–557.
Hansen, Per Brinch: “Reproducible Testing of Monitors”. Software-Practice and Experience, Vol. 8, 721–729, 1978. J. Wiley & Sons Ltd.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vidondo, F., López, I. (1982). Galileo: A Methodology for Modelling and Designing Real Time Systems. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive