[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Ravenscar profile and occam on the transputer



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

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
oyvind.teig@xxxxxxxxxxxxxxxx, web: www.autronicafire.no