Re: run tasks on events

[Sebastian Hanigk <hanigk@in.tum.de>]

"jimmaureenrogers@worldnet.att.net" <jimmaureenrogers@worldnet.att.net>
writes:

> I am curious why you are comparing unrestrained HAL/S with a
> restrained Ada profile. You can certainly design many interesting
> shared resource design patterns using unrestrained Ada.

Mostly out of curiosity at the moment. I've stumbled over some shuttle
documents (<http://klabs.org/DEI/Processor/shuttle/index.htm>), read
"Programming in HAL/S" and found a few interesting concepts which
started the endeavour to find similar ones in Ada.

Why Ravenscar? My job will in the foreseeable future provide me with the
opportunity for involvement in the writing of (near-)real-time control
software and I think it will be beneficial to work with a restricted
language subset (Ravenscar + SPARK eventually) from a validation
perspective.

> You might find
> http://home.att.net/~jimmaureenrogers/Shared_Resource_Design_Patterns.html
> interesting to consider.

Great, I'll start reading after supper!


Sebastian