Safety-Critical Software Development Workshop from Tonex, Inc.

Safety-Critical Software Development Workshop

The "Safety-Critical Software Development Workshop" teaches principles of developing high-assurance code for life- or mission-critical systems. Topics include formal verification, fail-safe design, and rigorous testing. Cybersecurity is addressed through secure lifecycle practices that prevent vulnerabilities from compromising system safety in fields such as aviation, automotive, and medical devices.

Course Overview

Overall Proficiency Level

2 - Intermediate

Course Catalog Number

T101

Course Prerequisites

None

Training Purpose

Functional Development

Management Development

Specific Audience

All

Delivery Method

Online, Self-Paced

Online, Self-Paced

Learning Objectives

Understand the principles of safety-critical software development.
Apply industry standards and best practices for high-integrity software.
Perform hazard analysis and risk assessment for software systems.
Implement verification and validation techniques for safety-critical software.
Ensuring software safety directly contributes to cybersecurity by preventing vulnerabilities that could be exploited to cause harm or system failure.

Framework Connections

The materials within this course focus on the NICE Framework Task, Knowledge, and Skill statements identified within the indicated NICE Framework component(s):

Competency Areas

Work Roles

Feedback

If you would like to provide feedback on this course, please e-mail the NICCS team at NICCS@mail.cisa.dhs.gov. Please keep in mind that NICCS does not own this course or accept payment for course entry. If you have questions related to the details of this course, such as cost, prerequisites, how to register, etc., please contact the course training provider directly. You can find course training provider contact information by following the link that says “Visit course page for more information...” on this page.