Re: Ravenscar References

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 1/18/19 8:18 PM, lyttlec wrote:
> 
> I need to port lots of existing more or less standard
> components to meet Ravenscar. This is to satisfy some regulatory
> authorities.

I don't know that "port" is a good word for this activity. I once looked at 
implementing Sandén's FMS problem using Ravenscar. Starting from the 
requirements, I first had to find a Ravenscar-suitable design. The standard 
design has a dynamic task per job, and is clearly not possible using Ravenscar. 
An alternative design using a task per workstation had to be used.

 From that choice, Ravenscar drove a proliferation of protected objects and 
helper tasks. Things that were simple in full Ada became much more complex to 
meet the restrictions of the profile.

Presumably you would need to apply a similar process to each of the components 
you need to convert.

-- 
Jeff Carter
"Sir Lancelot saves Sir Gallahad from almost certain temptation."
Monty Python & the Holy Grail
69