Software Safety (SFT)

Course Description

Software requires special attention in system planning, architecture, design and test.  This course presents philosophies and methods of developing and analyzing software and highlights managing a software safety program.  Software design principles will be taught to create programs that are fault tolerant and acceptably safe.  Several software hazard analyses methods will be evaluated, including Fault Tree/Soft Tree, Software Sneak Analysis and Petri Nets.

Objectives: To provide an understanding of the nature of software hazards, root causes, and the methods by which these hazards may be prevented or discovered.  The course will also provide instruction in administrative methods and documentation needed to establish and manage a software safety program.  Providing evidence for a safety case or proof will also be covered.

Who Should Attend: System managers and engineers, system safety engineers and software engineers who are involved with developing systems that possess major software components and are responsible for the safety of such systems.  Attending the System Safety Engineering course and some understanding of software beforehand is highly recommended.

  • Dates
    30 May – 2 June 2017
    21 – 24 Aug. 2018
    21 -24 May 2018

  • Course No.
    SFT 17-2
    SFT 18-1
    SFT 18-2

Course Outline

  1. Software
    • Safety Overview
    • Definitions and Concepts
    • Design Requirements
    • Software Regulations/References
    • System Safety Team Organization
    • Risk Processing/Management
    • Risk by Agency
      • Hazard and Security
      • Catastrophic
      • Probability of Occurrence
    • Reliability Issues
    • Probability
    • Hazard Consideration/Analysis
    • Risk Assessment and Risk Levels
    • Program Documentation
    • Software Reliability/Risk
    • Software Engineering/Requirements
    • Software Safety Life Cycle Goals
    • Security Engineering
    • VDHL Synthesis
    • Error Classification and Types
    • Software Safety Requirements Traceability
    • Petri-Net Modeling
    • Software Safety Checklist
    • Preliminary Hazard Analysis
    • Software Language Analysis
    • Fault Tree Analysis
    • Formal Mathematical Models
    • Software Safety Testing
      • Testing Schemes/Strategies
    • Software Safety Reliability/Maintenance
  2. References
    • Software Safety: Why, What and How
    • Risks: Cumulative Index of Software Engineering Terms
    • Analyzing Safety and Fault Tolerance Using Time Petri-Nets
    • Software Sneak Analysis (SSA) Fact Sheets

Course Duration:  4.0 Days

Tuition: $1500 (July 2016 – June. 2017), $2000 (July 2017 – June. 2018