[SystemSafety] Critical systems Linux

[Paul Sherwood]

On 2018-11-21 09:20, Peter Bernard Ladkin wrote:
> On 2018-11-21 09:35 , Michael J. Pont wrote:
>>>> In the world that I inhabit, many systems are assembled from such 
>>>> 'SEooCs'.
>> 
>>> So it is in automotive, I take it ISO 26262 allows such processes?
>>> Is it explicit in the document?  If so, where?
>>> PBL
>> 
>> Please start with ISO 26262: 2011, Part 10, Clause 9.
> Thanks. That is all about safety cases. Clause 10 is about SEooC.
> 
> What I thought I was reading from contributors to this discussion was
> that there are certain things,
> such as microkernels or OS elements, which are "certified" as SEooC.
> That is, an SEooC is a concrete
> thing which comes with a certificate of some sort.

Just picking two examples...

https://www.highintegritysystems.com/safertos/
http://blackberry.qnx.com/en/company/certifications