The Wind River VxWorks Cert 6.x for IEC 61508 training workshop provides engineers with a fast, cost-effective way to learn to develop safety-critical applications. The course covers VxWorks Cert 6.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 IEC 61508 Standard
- Introduction to IEC 61508
- Background and Definitions
- IEC 61508 and Software Safety
- IEC 61508 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
A world leader in mobile and embedded software.