Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronic Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

Safety Critical/Certified Linux?

JohnGraham

Newbie level 2
Joined
Nov 20, 2019
Messages
2
Helped
1
Reputation
2
Reaction score
1
Trophy points
3
Activity points
34
Does anyone know of any Linux distros that are certified to safety standards like ISO 26262 or DO-178B/C?

I've been tasked to research this area in general but I'm not coming up with much, any pointers would be appreciated!
 

FlyingDutch

Full Member level 4
Joined
Dec 16, 2017
Messages
196
Helped
28
Reputation
56
Reaction score
30
Trophy points
28
Location
Bydgoszcz - Poland
Activity points
2,046
Does anyone know of any Linux distros that are certified to safety standards like ISO 26262 or DO-178B/C?
Hello,

I am not expert in this subject, just find some information on the web. Maybe it could be anchor point for your research ;)

See this document:

https://www.researchgate.net/publication/259400368_A_safety_critical_Linux_DO-178B_compliant_Safety_considerations_in_Linux_system_and_equipment_certification

Here is citation: FINX-RTOS (a Gentoo based distribution managed by Finmeccanica) have been customised to satisfy Design Assurance Level D requirements

See also this document:
http://www.ocsi.isticom.it/documenti/certificazioni/mbda/tds_finx_rtos_se_v31_lite01.pdf

Regards
 

Toggle Sidebar

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Top