[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Xen-users] XEN, FreeRTOS, SAFERTOS
- To: "Cohen, Michele" <Michele.Cohen@xxxxxxxxxxxx>, "xen-users@xxxxxxxxxxxxxxxxxxxx" <xen-users@xxxxxxxxxxxxxxxxxxxx>
- From: Phillip Susi <psusi@xxxxxxxxxx>
- Date: Wed, 5 Sep 2018 08:50:14 -0400
- Autocrypt: addr=psusi@xxxxxxxxxx; prefer-encrypt=mutual; keydata= xsBNBE7n3q8BCADW6Ejug3TeJn21ri5Pnqo7AraXyOhSWeatq377kbF9fJb+bd4lhhcWqs9B BCMcOrMdfDgAU6cP+TSNe5SBBPt89d0YZ8WH020eg3WkxXeph29wZyLj2HdxTMpZVv5p6QL1 ksRmbnsToiJvXT24ydjLG3BTl+TAEDXuppPq0AlEYqkvD9fYSqad1s064IppHQZhYVgmcEHO Ht0vY66QW+UfwSI+GpkaXULlDS9WAphgWXrUoodbtC283pZUcBAio54uENUNT96ChzdlJ/9e yDRMjEhyL42AmazPVKgwZdLlrPG0iodDevxvsDbIgu0acGAeSjvt1tWgI+F5TJDeYfxfABEB AAHNH1BoaWxsaXAgU3VzaSA8cHN1c2lAdWJ1bnR1LmNvbT7CwHgEEwECACIFAk7n31kCGyMG CwkIBwMCBhUIAgkKCwQWAgMBAh4BAheAAAoJEAFfTdSnD7cFKYEH/1z0AARRSyCiB/FnutwN QDxkfZdDpMIJpoXFC65il25uzoWw2ejZRwQ5Jo9B8nyyMryZeRviFXOi+Sdfi9Q2lRN0Lbt3 z6H2LD7vNzV8Z9fe944uHsEQzU2pso1OOLMvC5FAdL942tugO9o8VNLuS+gf2W8gs28XJOx2 HdV6wvT3aqsVGGEYJbyZ9qQvvb3xkvs3xC3xIvHLknOUB73tEhoLCtVohD6xiRVcqF8meKw/ Pd5NK+dbRCS6zLRtdAVR6bVbnwgM1TJWPAHtg8dk4JsiCHtlOBPtiCjZn9ZLbEQ009N669J9 JYiqqmM3wZTi/LVWRvUtvdTPk0PB8JjdMM7OwE0EWHAlWwEIAOWRvdnClXMtw6fvLCw7br5K b1Lyri52k/1nbYbUnVmvbDgRsfAWS0gc3LFYYajTmZbX0MieMWUvd7thzJMRnPurmz3S83r+ N7gW9Kd3291EQlFj+4/39/apDz4nmefGFFTqmJZLnpY1HtKRLPE++N22oWhgSOHYdbmKkm0r 91XiPB4YfuOtPhYAUQSjPiSmknZlzXZpgwanhPgRYjVhGzqd2FO2cHoJlgOVFVe31BJCllxO WThWNYL+W4E/Y87JFEMpPHv7vt0IfkEHFphXudjLp4WCkKfCILD8CZB4+KTh2laGD5ENi4Vs iEFmnlKT4nhYcQFolc990UaAvti7qDkAEQEAAcLAZQQYAQoADwUCWHAlWwIbDAUJAeEzgAAK CRABX03Upw+3BcGKB/9q/PdrPCvslCZZS5JFu83nofG8lN0wHa6NzTbPUHQelPXOWLbGRmko aLqos5S26GqUGlRvcf0dymVveJH6cNJ/IR8cFafIkABvQDRqJO2nGJRUXYWQ/VBQW1muCMzf osbvlLk7GNdTPbjxfWY1Gkz/nXvdXRVz4VukniIA408qOAYbsRly1UHUIkotTihBWqZdyvpI fSe9a9qCpybgMoWuo3fSQr+SaaxKEcE0x8j3rWxkxwt7SpzTNiJJyBrm3cAGtvgXYjycaudi glq3n7wyqGIsis7wYK9LgOFfNV6gLy+MRerlEfIYYPIMt8j/UTHrOkaohGtE1Ok9moeVa/P2 wsBlBBgBCgAPAhsMBQJaNsIrBQkDwi5QAAoJEAFfTdSnD7cF7agIAMQ9ARRI2lvLcy41lUYR p/MjL0lNDhpZs7ZrMDa7xvA9Xonz28F+HNgq3bKDK0/x+zm5ylvDbf5v2PmBgDEW7b7AqDdg dhb2Ri2nm3h5WuGibQTjxQHZ2uMIpRwtfmvWj9W/35HkJsnxwVnyKze7DBT7i4XMuiHYnaVR pFHY3pfnEeV9iJd++Kh063VwhS2Ocpy0xR5HzspfNAlwcV2igcucHNG5WCz2oMlu7Vj8OmzC 7Msgkx9rMVq35iEndk0MakbO+DrfOBfGR281XmQOt1c5NttKl7ZhNeDzfmbv3RAAO8eX7mi4 6USX+l3TOl2aPeBF/bG3WLqlOasbjFzM3XY=
- Delivery-date: Wed, 05 Sep 2018 12:51:23 +0000
- List-id: Xen user discussion <xen-users.lists.xenproject.org>
- Openpgp: preference=signencrypt
On 9/4/2018 7:19 PM, Cohen, Michele wrote:
> Hello,
>
> I saw wiki on security and XEN considering adding FreeRTOS. I was wondering
> if SAFERTOS had been considered as extension to increase integrity?
FreeRTOS/SafeRTOS is a light weight ( and not very well designed ) task
switcher for embedded systems. How is it in any way related to Xen?
> 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
As far as I have seen, the only difference is that SafeRTOS has had many
of its object creation routines changed to take a pointer to a static
buffer instead of making heap allocations because some egg heads think
that any heap allocation must be forbidden in embedded systems.
Attachment:
signature.asc
Description: OpenPGP digital signature
_______________________________________________
Xen-users mailing list
Xen-users@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-users
|
