Applying MILS to multicore avionics systems

Paul J. Parkinson. Applying MILS to multicore avionics systems. In Sergey Tverdyshev, editor, International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016. Zenodo, 2016. [doi]

Abstract

Abstract is missing.