Answers are grounded in this paper and cite their sources.
Security concerns become increasingly important in safe-ty-critical industrial cyberphysical systems. Different options for security certification exist. We describe a Common Criteria certification for a MILS separation kernel, and IEC 62443 analysis and certifications for the smart grid, railway and subway pilots using the MILS approach in the research project certMILS.
No takes yet. Share an insight, caveat, or question.
Hohenegger et al. (2021) studied this question.