Abstract
This paper presents an architectural style for real-time systems, and an associated formal architectural description language, called Robots. A basic specification in Robots consists of a synchronous control task that is responsible for the dynamic reconfiguration of the system controller as a set of asynchronous observer and process tasks. The controller architecture evolves by hierarchical refinement of observers and processes into lower level control tasks each dominating a new set of observers and processes. Robots is given operational semantics by statecharts. Also, the architectural style is embedded in Robots by semantic rules that allow formal checking of the consistency and completeness of architectural specifications.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, R., Garlan, D.: A Formal Basis for Architectural Connections. ACM Trans. on SE and Methodology, July 1997
Bery, G., Gonthier, G.: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming, No. 19, 1992 87–152
Binns, P., Vestal, S.: Formal real-time Architecture Specification and Analysis. In 10th IEEE Workshop on Real-Time Operating Systems and Software, New-York, May 1993
Gafni, V., Yehudai, A., Feldman, Y.A.: Activation-Oriented Specification of Real-Time Systems. In proc. of third Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lubeck, Germany, 1994 268–287
Gafni, V.: MASS/PLOT: A Specification Framework for Real-Time Systems. Ph.D. Thesis, Tel-Aviv University, 1997
Hallbwachs, N., Lagnier, F., Ratel, C.: Programming and Verifying Real-time Systems by means of Synchronous Data Flow Language Lustre. IEEE Trans. on SE Vol. 18 No. 9, Sep. 1993 785–793
Harel, D.: On the formal Semantics of Statecharts. In 2nd IEEE Symp. on Logic in Computer Science, New York, 1987 54–64
Harel, D.: Statecharts: A visual Formalism for Complex Systems. Science of Computer Programming, No. 8, 1987
Hoare, CAR.: Communicating Sequential Processes. Prentice Hall, 1985
Luckham, D. C., et. el.: Specification and Analysis of System Architecture Using Rapide. IEEE Trans. on SE, Vol. 21, No. 4, April 1995 336–355
Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. Proc. of the fourth ACM SIGSOFT Symp. on the Foundations of SE, 1996 3–14
Shaw, M.: Beyond Objects: A Software Design Paradigm Based on Process Control. TR. CMU-CS-94-154, Carnegie Mellon University, 1994
Shaw, M.: Comparing Architectural Design Styles. IEEE Software, Vol. 12, No. 6, Nov. 1995 27–41
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gafni, V. (1999). Robots: A Real-Time Systems Architectural Style. In: Nierstrasz, O., Lemoine, M. (eds) Software Engineering — ESEC/FSE ’99. ESEC SIGSOFT FSE 1999 1999. Lecture Notes in Computer Science, vol 1687. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48166-4_5
Download citation
DOI: https://doi.org/10.1007/3-540-48166-4_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66538-0
Online ISBN: 978-3-540-48166-9
eBook Packages: Springer Book Archive