Linux in mixed-criticality systems
Linux in mixed-criticality systems
Posted Dec 14, 2018 17:01 UTC (Fri) by ibukanov (subscriber, #3942)In reply to: Linux in mixed-criticality systems by marcH
Parent article: Linux in mixed-criticality systems
Older planes still use ARINC 429 protocol which is one way serial link where one source can talk to multiple clients. But since it is used only in aviation, the boards are really expensive. It is cheaper just to use Ethernet and require special verified routers where software is formally verified.
        
 
           