Abstract
It is very common for reactive/adaptive systems to face a situation where the system has to make a choice among a set of possible contending reactions. Several events may occur simultaneously and an intelligent choice is crucial. Moreover, this intelligent choice might depend on system mode or some data values. Race controls are those controls that enable an intelligent choice.
Several working environments exist for the specification, analysis, design, and development of reactive systems. Statecharts [H] is a visual formalism that enables a user to specify, analyze, and debug diagrammatic, yet precise, descriptions of real-time embedded systems, and control and communication systems. We choose Statecharts as our extension for two reasons. First it is designed to be capable of a complete description of the system under development so that the developed system can be checked for crucial dynamic properties. Second, an Ada running code can be generated automatically.
The objective of this paper is to extend the expressive power of such working environments to encompass specifications for intelligent behavior and to extend their semantics to enable an automated Ada code generation that implements it. Impact on Ada-9X to facilitate translation of an entire conceptual model, including intelligent controls, into Ada is provided.
This work supported in part by a grant from the U.S. Army Research Office under scientific contract number 1800.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A. Burns, A.J. Wellings, “In Support of the Ada 9X Real-Time Facilities”, Ada Letters, Jan/Feb 1992, Vol.12, No.1, pp.53–64.
B. Chandrasekaran, R. Bhatnagar, D.D. Sharma, “Real-Time Disturbance Control”, Communications of the ACM, August 1991, Vol.34, No.8, pp.32–47.
K.M. Chandy and C. Kesselman, “Parallel Programming in 2001”, IEEE Software, November 1991, pp. 11–20.
Ada 9X Mapping v3.1, Technical Report, Office of the Under Secretary of Defense for Acquisition, Department of Defense, Washington, D.C., August, 1991.
R.A. Duff, O. Pazy, W.A. White, “Lightweight Task Synchronization: The Protected Record Mechanism in Ada 9X”, Proceedings of TRI-Ada 91, San Jose, CA, USA, October 21–25, 1991.
T. Elrad, “Comprehensive Race Controls: A Versatile Scheduling Mechanism for Real-Time Applications”, Proceedings of the Ada Europe Conference, ADA The Design Choice, Ed. Angel Alvarez, Cambridge University Press, June 1989.
T. Elrad, Final Report on Comprehensive Race Controls, Prepared for U.S. Army HQCECOM, Center for Software Engineering Advanced Software Technology, CIN:C08092KU 000100, February 1990.
D. Harel, “Statecharts: A Visual Formalism for Complex Systems”, Science of Computer Programming 8 (1987), North-Holland, pp.231–274.
N. Gehani, W.D. Roome, The Concurrent-C Programming Language, Silicon Press, Summit, NJ, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elrad, T., Lee, S., Verun, U. (1992). Extending working environments for the development of reactive/adaptive systems with intelligent controls. In: van Katwijk, J. (eds) Ada: Moving Towards 2000. Ada-Europe 1992. Lecture Notes in Computer Science, vol 603. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55585-4_20
Download citation
DOI: https://doi.org/10.1007/3-540-55585-4_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55585-8
Online ISBN: 978-3-540-47240-7
eBook Packages: Springer Book Archive