Wind River Education Services Course Catalog

Wind River Education Services offers cost-effective training in various forms. Browse our course catalog below to plan and track a curriculum that will satisfy the training needs of your device software development engineers.

VxWorks MILS Platform 3.0 Essentials

Buy Now

Course Description

Course Results

Products Supported

Who Should Attend

Course Format

Please see course datasheet for further details here Buy Now

Course Details Summary

  • Duration: 4 Days
  • Course Information: View
  • Format: Lectures and Labs
  • Type: Instructor-led
  • Price/Schedule: View

The Wind River® VxWorks® MILS Platform 3.0 Essentials training workshop provides engineers with a fast, cost-effective way to acquire the skills necessary to deliver the security foundation that meets real-time operating system (RTOS) requirements for High Robustness (EAL6+) multilevel secure (MLS) systems.

After this course, participants will be able to perform the following:

  • Describe the Common Criteria, Multiple Independent Levels of Security (MILS) architecture, and high assurance security principles
  • Explain how Wind River VxWorks MILS Platform and high assurance security standards form the basis of a security-cer¬tified partitioned system, including networking support, XML configuration, and debugging
  • Accelerate the configuration, development, and deployment of MILS systems using the built-in XML development tools and Wind River Workbench
  • Configure, debug, build, and test secure MILS applications with VxWorks MILS Platform 3.x
  • Wind River VxWorks MILS Platform 3.0
  • Application developers utilizing the MILS architecture to create secure applications
  • System integrators utilizing VxWorks MILS Platform to create MILS systems

Day 1

Introduction to MILS

  • Security overview
  • Common criteria overview
  • Protection profiles
  • Separation Kernel Protection Profile (SKPP)
  • MILS overview
    • Components of the separation kernel
    • Separation kernel workflow
    • Time and space partitioning
  • DO-178 B/C certification overview
  • Security evaluation overview
  • Role-based development
    • DO-297 and ED-124

Getting Started

  • VxWorks MILS overview
  • Mapping of VxWorks MILS to SKPP
  • Virtual boards: guest operating systems
  • Development tools
  • Documentation and support
  • What’s new in VxWorks MILS 3.0
  • LAB: Getting started

VxWorks MILS System Architecture

  • MILS boot loader and trusted initialization
  • MILS kernel
    • Scheduling
    • Initialization function
    • Configuration data
  • MILS kernel debug infrastructure
  • Special virtual boards
  • Trusted delivery
  • LAB: System concepts

Day 2

Payloads and Booting Virtual Boards

Configuring and Building VxWorks Guest OS Images

  • Configuration and build overview
  • VxWorks Guest OS API
  • Workbench workflow
  • LAB: Configuring and building VxWorks Guest OS images
  • LAB: Configuring and building high assurance environment images

Day 3

Configuring and Building Linux Guest OS Images

  • Configuration and build overview
  • Workbench workflow
    • Configuration
    • Build properties
    • Building
  • Command-line workflow
  • Image delivery
  • LAB: Configuring and building Linux Guest OS images

Configuring and Integrating VxWorks MILS Systems

  • Configuration and integration overview
    • Putting the pieces together
  • Workbench workflow
    • Creating projects
    • Configuration
  • Configuring systems with XML
  • Build process
  • LAB: Configuration, integration, and build

Debugging: Applications and Virtual Board Bring-up

  • Workbench
  • MILS debug agent
  • Linux user-mode agent
  • JTAG
    • Early system debugging
    • Partition debugging
  • Partition object viewer
  • Source level debugger
  • LAB: Debugging

VxWorks MILS Network Stacks

  • General Network Stack (GNS)
  • High Assurance Network Stack (HANS)
    • Overview
    • Network Foundation Layer
    • High Assurance Protocol Stack
  • LAB: Configuring and building the GNS

Day 4

Configuring and Building the High Assurance Network Stack

  • Configuration and build overview
  • Workbench workflow
  • High Assurance Protocol Stack configuration
  • Network Foundation Layer configuration
  • LAB: Configuring and building the High Assurance Network Stack
  • LAB: Using the MILS debug agent with the High Assurance Network Stack (optional)

Migrating to VxWorks MILS 3.0

  • VxWorks MILS 2.0/2.1 to 3.0 migration

Prerequisite Courses

Prerequisite Skills

  • User-level familiarity with the host operating system on which the VxWorks MILS Platform 3.0 will be installed
  • One year C or C++ programming
  • Basic understanding of operating systems and debugging techniques
  • This four-day expert-led course consists of lectures and lab sessions.
  • Attendees use VxWorks MILS Platform 3.0 to gain experience with the topics presented.
  • Participants examine and exercise simulated network topologies in hands-on labs.
  • Participants receive individual guidance from an expert engineer who has extensive experience with Wind River technologies.