This
page presents material in preparation for the workshop to be held
during the SIGAda 2010 conference, October 24-28, 2010 in Fairfax,
Virginia. See the workshop presentation page.This
page presents material in preparation for the workshop to be held
during the SIGAda 2010 conference, October 24-28, 2010 in Fairfax,
Virginia. See the workshop presentation page.
The goal of this workshop is to start momentum towards the definition of a profile to make using OOT in high reliability systems easier, like the Ravenscar profile did for concurrent programming. This profile would address only issues related to OO programming, the same way as the Ravenscar profile addresses only tasking issues.
If you are interested by the topic, but want to know more about using object oriented Ada in high-integrity Systems, you are welcome to register to the tutorial before the conference.
Those who attend (recommended!) and those who cannot attend but are interested are kindly invited to send suggestions for possible restrictions that would make-up the profile.Please use this model to format your submission, and send it to J-P Rosen. This page will be updated as submissions are received, so stay tuned, and see you in Fairfax!