Within the last year
Within the past 3 years
1 - 3 of 3 articles
This paper describes recent work on static timing analysis of Ada. Previous work on static timing analysis has not considered Ada, so one goal of this paper is to raise awareness of the topic within the Ada community. We believe the technology is now sufficiently well-understood that commercial...
The new protected type and requeue features in Ada-94 make possible the efficient implementations of many concurrent solutions, previously not possible in Ada-83. In this paper, the implementations of various semaphore systems in Ada-94 are presented. These systems are more general and powerful...
A real case of priority inversion in Avionics Computers is described, as well as the experiences in the decisions, implementation and testing of the Basic Priority Inheritance Protocol in an Ada 83 Run Time System. The increased overhead of this protocol is less than 1%, which makes it tolerable...
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
To save an article, log in first, or sign up for a DeepDyve account if you don't already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don't already have one.
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don't already have one.