[Xen-users] XEN, FreeRTOS, SAFERTOS

["Cohen, Michele" <Michele.Cohen@xxxxxxxxxxxx>]

Hello,

I saw wiki on security and XEN considering adding FreeRTOS.  I was wondering if 
SAFERTOS had been considered as extension to increase integrity?  

SAFERTOS is based on the functional model of the FreeRTOS kernel, however, it 
is not the FreeRTOS kernel. It has been completely re-designed by a team of 
functional safety experts at WHIS. Their engineers took the FreeRTOS kernel 
functional model, subjected it to a full HAZOP, and generated a set of safety 
requirements. The resulting functional and safety requirements sets were put 
through an IEC 61508-3 SIL 3 development life cycle, creating the SAFERTOS code 
base and DAP.
https://www.freertos.org/FreeRTOS-Plus/Safety_Critical_Certified/SafeRTOS.shtml

https://www.highintegritysystems.com/downloads/manuals_and_datasheets/Upgrading_from_FreeRTOS_to_SafeRTOS.PDF

I was 
Michele Cohen


_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-users