There is a general tendency to make systems more and more autonomous, thus relieving human operators from the bulk of everyday routine work. This has led to a series of efforts, which have become known under the keywords Autonomic Computing and Self-X, where the “-X” stands for aspects such as -Healing, -Aware, -Optimizing and so forth.
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
R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. HO. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, H. Rischel, and A. Ravn, editors, Hybrid Systems, LNCS 736, pages 209-229. Springer, New York, 1993.
J. A. Goguen. Categorical foundations for general systems theory. In F. Pichler and R. Trappl, editors, Advances in Cybernetics and Systems Research, pages 121-130. Transcripta Books, London, 1973.
IBM, 2006. http://www-03.ibm.com/autonomic/pdfs/AC Blueprint White Paper 4th.pdf.
J. Fiadeiro, A. Lopes, and M. Wermelinger. A mathematical semantics for architectural connectors. In FASE-03, LNCS 2793, pages 190-234, 2003.
Kestrel Institute. Specware System and Documentation, 2003. http://www.specware.org/.
D. Patterson and A. Fox. http://roc.cs.berkeley.edu.
Dusko Pavlovic, Peter Pepper, and Douglas R. Smith. Colimits for concurrent collectors. In N. Dershowitz, editor, Verification: Theory and Practice: Festschrift for Zohar Manna, pages 568-597. LNCS 2772, 2003.
Dusko Pavlovic, Peter Pepper, and Douglas R. Smith. Evolving specification engineering. In Proceedings of AMAST 2008, 2008 (to appear).
Dusko Pavlovic and Douglas R. Smith. Composition and refinement of behavioral specifications. In Proceedings of Sixteenth International Conference on Automated Software Engineering, pages 157-165. IEEE Computer Society Press, 2001.
Dusko Pavlovic and Douglas R. Smith. Guarded transitions in evolving specifications. In H. Kirchner and C. Ringeissen, editors, Proceedings of AMAST 2002, volume 2422 of Lecture Notes in Computer Science, pages 411-425. Springer, 2002. ftp://ftp.kestrel.edu/ pub/papers/pavlovic/GTES.ps.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science + Business Media B.V
About this paper
Cite this paper
Pepper, P. (2008). Specification Techniques (Not Only) for Autonomous Systems. In: Mahr, B., Huanye, S. (eds) Autonomous Systems – Self-Organization, Management, and Control. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8889-6_12
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8889-6_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8888-9
Online ISBN: 978-1-4020-8889-6
eBook Packages: EngineeringEngineering (R0)