OSADL Project: Safety Critical Linux

Safety Critical Linux - Working Group Proposal by Nicholas Mc Guire

Safety Critical Linux

Working Group Proposal

Prof. Nicholas Mc Guire
Distributed & Embedded Systems Lab
Lanzhou University, SISE, P.R. China July 15, 2007
OSADL Safety Coordinator

• Abstract
• Introduction
• Problem Statement
  • Safety Case
    • Modular Safety Case
  • Related Technologies
    • real-time Technologies
    • Virtualization
  
  
• Technical Relevance
• Industrial Demand
• Organizational Structure
  • Initial Kickoff Group
  
  
• Constraints
  • Technical Constraints
  • Non-Technical Constraints
  
  
• Initial Phase Deliverables
• Time Line
• Concluding Remarks
• List of Acronyms
• Bibliography
• About this document ...