Conference paper Open Access

Applying MILS to multicore avionics systems

Parkinson, Paul J.

JSON-LD ( Export

  "description": "<p>The implementation of the Multiple Independent Levels of Security (MILS) software architecture on modern microprocessor architectures has become technically feasible in recent years. This allows MILS-based systems to host applications and data of multiple security classifications concurrently on a uniprocessor platform at affordable cost. In this paper, the potential requirements for the implementation of a separation kernel to support MILS systems on multicore processor architectures will be considered, and the design challenges associated with its potential implementation on the NXP (formerly Freescale) QorIQ\u2122 P4080 multicore processor will be discussed. Finally, the potential use of a MILS Multicore separation kernel in two use cases will be presented - a Cross-Domain System (CDS) network gateway, and a Multi-Level Secure (MLS) Integrated Modular Avionics (IMA) platform.</p>", 
  "license": "", 
  "creator": [
      "affiliation": "Wind River", 
      "@type": "Person", 
      "name": "Parkinson, Paul J."
  "headline": "Applying MILS to multicore avionics systems", 
  "image": "", 
  "datePublished": "2016-01-19", 
  "url": "", 
  "@type": "ScholarlyArticle", 
  "keywords": [
  "@context": "", 
  "identifier": "", 
  "@id": "", 
  "workFeatured": {
    "location": "Prague", 
    "@type": "Event", 
    "name": "International Workshop on MILS: Architecture and Assurance for Secure Systems"
  "name": "Applying MILS to multicore avionics systems"
All versions This version
Views 129133
Downloads 9898
Data volume 46.7 MB46.7 MB
Unique views 117121
Unique downloads 8585


Cite as