Abstract
While Ada incorporates comprehensive support for real-time systems, it is missing a common programming abstraction used in the design of these systems: cyclic tasks. Without the abstraction, users resort to solutions that introduce unnecessary complexity into their programs -- making it harder to read and write what should be a simple primitive. The omission of a cyclic task abstraction appears due to an aversion to implementing a too higher-level abstraction within Ada, and the perceived complexity and limitations brought to the language as a result. This paper will demonstrate the aversion is unwarranted and present an extension to Ada's existing task type to provide support for a cyclic task abstraction. The extension will show an emphasis on clarity, structure and implementability, while minimising the impact on the existing language.
- A. Wellings and A. Burns, "Real-Time Utilities for Ada 2005," in Reliable Software Technologies -- Ada-Europe 2007, Proceedings, Geneva, Switzerland, 2007, pp 1--14. Google Scholar
Digital Library
- G. C. Buttazzo, Hard Real-Time Computing Systems, 3rd ed. Boston, MA, USA: Springer, 2011. Google Scholar
Digital Library
- T.P. Baker, "Fixing Some Time-Related Problems in Ada", in Third International Workshop on Real-Time Ada Issues, Proceedings, Nemacolin Woodlands, PA, June 1989, pp 136--143. Google Scholar
Digital Library
- Ada 9X Project Office, "Ada 9X Project Report: Ada 9X Revision Issues Release 2," Office of the Under Secretary of Defense for Acquisition, AD-A223 166, May 1990, pp351--352.Google Scholar
Recommendations
User Behaviour and Task Characteristics: A Field Study of Daily Information Behaviour
CHIIR '17: Proceedings of the 2017 Conference on Conference Human Information Interaction and RetrievalPrevious studies investigating task based search often take the form of lab studies or large scale log analysis. In lab studies, users typically perform a designed task under a controlled environment, which may not reflect their natural behaviour. While ...
Task dependence and termination in Ada
This article analyzes the semantics of task dependence and termination in Ada. We use a contour model of Ada tasking in examining the implications of and possible motivation for the rules that determine when procedures and tasks terminate during ...
Time use behavior in single and time-sharing tasks
Human errors in aviation, process plants and other critical industries can result in dire consequences and hence it is essential to understand the operator behavior and task characteristics in order to improve task performance and safety. The time ...






Comments