All
The Ravenscar profile is for safety critical systems written in Ada. It basically takes the rendezvous away. This opens for schedulability analysis. [1]
I have wondered about this in [2] (the “Computer scientist” quoted is close to the Ravenscar profile..)
Finally I now have had a mail with Roger Shepherd how the transputer tackled this, whether there also would be any reason to make an “occam Ravenscar” profile. From what he answered I think the answer is no. [3]
Any comments welcomed. Please state if your comment here might by name be quoted in the blog note. If I don’t see this specifically I will not do any copy paste. (But I will not guarantee that I might not mail you and ask in case I think
you may have forgotten…)
For any one of you who are extremely knowledgable about the XMOS processors and XC I would be delighted to see this viewed also from that perspective..
[1]
https://en.wikipedia.org/wiki/Ravenscar_profile
[2]
http://oyvteig.blogspot.fr/2011/12/035-channels-and-rendezvous-vs-safety.html
[3]
http://www.teigfam.net/oyvind/home/technology/138-determined-about-buffers-and-bit-arrays/
Med vennlig hilsen / Best regards
Øyvind Teig
Pensioner and blogger from June 2017
http://www.teigfam.net/oyvind/home/technology/
Senior utviklingsingeniør, siv.ing. / Senior Development Engineer, M.Sc.
Autronica Fire and Security AS
Research and Development
UTC Building and Industrial Systems
Phone: +47 95961506
E-mail: oyvind.teig@xxxxxxxxxxxxxxxx, web:
www.autronicafire.no
