The Wind River VxWorks Cert 6.x for DO-178B course provides engineers with a fast, cost-effective way to acquire the skills necessary to develop safety-critical applications. The course covers VxWorks Cert 6, as well as the Wind River Workbench development suite that has been tailored for certified application development and debugging. Typical use cases in certified application development and debugging are explored.
Day 1
The DO-178B Standard
- Introduction to DO-178B
- Background and Definitions
- DO-178B and Software Safety
- DO-178B Processes and Objectives
- Software Verification
VxWorks Cert 6.6
- Getting Started with VxWorks Cert 6.6
- Rationale for VxWorks/Cert Libraries
- VxWorks Cert OS Design and Programming Considerations
- Certifiable API Subset
LAB: Getting Started
Debugging VxWorks Cert 6.6
- Supported Workbench Tools
- Source Code Browsing
- VxWorks Cert 6.6 Debug Configurations
- Use Cases Overview
LAB, Use Case 1: “Development” Build—Noncertified Kernel Mode
Day 2
VxWorks Cert File Systems
- VxWorks Cert File Systems Overview
- ROM File System Configuration and Build
- Highly Reliable File System Rationale
- Capabilities and Configuration of HRFS
LAB, Use Case 2: Certified Kernel with WDB Mode
LAB, Use Case 3: “Deployed” Build—Certified Kernel (Mode)*
- Not available with Wind River Simics or through Live
Remote delivery
Real-Time Processes
- Overview of the RTP Model
- Memory Partitioning and the MMU
- RTP Execution and Life Cycle
- Debugging RTPs
- Design Considerations
LAB: Real-time Proceses
Certifiable Network Stack
- Design Guidelines
- Stack Configuration
LAB: “I/O Application”—Networked Application
C++ in the VxWorks Cert 6 Environment
- Cert API Subset
- Memory Allocation
- Configuration and Build
Migrating to VxWorks Cert
- Application API Differences
- BSP Migration Overview