Real-time synchronization on distributed architecture with Ada-2005

Abstract

Ada is found in most Avionics processing. It is often the hidden software that makes life safe in systems that fly most passenger/private aircrafts. In an effort to promote the use of Ada-2005 in more embedded systems, we will present a Distributed Stack Resource Policy(DSRP) suitable for synchronizing tasks executing on distributed systems, meaning the protocol relies only on message-passing between processors. Accordingly, we will present an empirical evaluation that tests the performance of the DSRP with the Distributed Priority Ceiling Protocol (DPCP) created by Rajkumar. To the best of our knowledge, no empirical distributed-based evaluation of the DPCP has ever been conducted prior to this. We will also discuss the efficacy of Ada and examine the resulting design issues and trade-offs, and the ability of the DSRP to manage multiple shared resources efficiently on distributed processors. ξ

Ada for the control of degradation of service

“…Delay degradation, however, need not cause an error if its deviations can remain within specifications. For example, priority inversion (an example of priority degradation) causes delay degradation, since available higher priority processes are delayed while lower priority processes are chosen for service [6,16]. As long as higher priority processes complete service within specified time limits, however, errors need not result.…”