Industrial Internet Consortium вчера опубликовал документ MILS Architectural Approach Supporting Trustworthiness of IIoT Solutions white paper
https://www.iiconsortium.org/pdf/MILS-Architectural-Approach-Supporting-Trustworthiness-of-IIoT-Solutions-Whitepaper.pdf Подход MILS к проектированию операционных систем и платформ используется там, где от приложений нужны повышенная безопасность (safety, security), надежность и устойчивость. В частности, на MILS основана KasperskyOS (а можно вспомнить еще операционки GreenHills с зашкаливавющим EAL, а еще PikeOS, LynxSecure и прочие).
Обзора операционок в документе нет (намеренно), но объяснение что же такое этот MILS и в чем конкретно его преимущества – на сегодняшний день самое подробное и внятное.
Раздел 4 содержит несколько практических сценариев использования MILS платформ: Railway Command and Control Systems, Secure Smart Grids, Resilient ATC Remote Tower Communications, Trusted Smart Phone for Enterprise and Personal Communications.