3 ms·
> Of course, this is proprietary to the whims of the companys' deploying SIL-4 Linux: THALES, et al. I've worked with Thales companies many times in the past. N
by TickleSteve 11y ago
> Of course, this is proprietary to the whims of the companys' deploying SIL-4 Linux: THALES, et al.
I've worked with Thales companies many times in the past. Never seen any evidence of Sil4 Linux.
And no, this is absolutely not at the whim of the companies deploying it.
>http://ti.tuwien.ac.at/ecs/teaching/courses/hwswcode_vu_WS_2.. http://ti.tuwien.ac.at/ecs/teaching/courses/hwswcode_vu_WS_2....
No mention of Linux.
> http://ercim-news.ercim.eu/en75/special/tas-control-platform.. http://ercim-news.ercim.eu/en75/special/tas-control-platform....
1 mention of Linux... no mention of the role it plays.
>http://www.ibm.com/developerworks/library/l-real-time-linux/ http://www.ibm.com/developerworks/library/l-real-time-linux/
Verifies my point. Only the kernel-in-kernel/hypervisor systems get hard-real-time performance. This is necessary for safety-critical work.
> (BTW, HSE isn't exactly an industrial authority on much ..)
HSE == Health & Safety Executive... they are very much involved in this.... they're the government authority related to this type of stuff. They license software for use in Nuclear Reactors and the like (along with other agencies).
My points absolutely still stand.
- fit2rule 11y agoHint: I was on the team that released TAS PLF 2.x, and it is definitely SIL4, definitely hard real-time, and definitely a well-maintained Linux project which many other divisions (i.e. Space) also come to use as a reference platform. I suggest you simply missed it: its running an awful lot of rail transportation systems around the world, though...
- TickleSteve 11y agoHint: you're mistaken at the role Linux played in it. Go study your architecture diagrams. The system as a whole is SIL-4, thats not the argument. Linux certainly isn't, that I can guarantee. The work to provide full traceability trees and 100% coverage thru the Linux kernel is many man-centuries of work. That has not been done. The SIL rated side will be a different kernel/hypervisor. If what you're talking about involves RedHat MRG, then that product has a completely different kernel. Its not standard linux.