), mission-critical functionality, and stakeholder acceptance of residual risks, demonstrating that the software is safe, reliable, and mission-ready for crewed spaceflight operations.
Excerpt Include
SITE:PAT-082 - Software Certification in Human-Rated Missions Checklist
SITE:PAT-082 - Software Certification in Human-Rated Missions Checklist
nopanel
true
Div
id
tabs-2
2. Key Compliance Data Needs
2.1 Summary Table of Key Compliance Data Needs
Category
Key Data/Documentation
Requirements
System/Software Requirements Traceability,
Hazard Control Requirements
Design
Software Architecture,
Fault Containment,
Safeguard Integration
Development
Development Plans,
Fault Tolerance Implementation Logs
Verification & Validation
Test Results,
Initialization,
Recovery,
Redundancy,
IV&V Reports
Hazard Analysis
Hazard Reports,
Operator Action Validation,
Safing Procedures
Configuration Management
Baseline Documentation,
Change Logs
Operational Procedures
Control Sequences,
OCAD Validation,
Manual Safing Data
2.2 Key Compliance Data Needs
Software Requirements
High-level system/software requirements
Detailed software requirements (or whatever the developer used)
All known software safety constraints
Software bi-directional traceability data
Specifications for internal and external software interfaces definition and testing
Encryption protocols, authentication mechanisms, secure coding practices, and access control procedures.
Software Design
Description of software designed
Hardware design data on safety-critical subsystems
Data Dictionary: input/output data formats, telemetry parameters, and command sequences.
Software Development
All software analyses results
Completed Time-to-effect (TTE) analysis
Completed Fault Tree Analyses
Completed Failure Mode and Effects Analysis
Software process audit results
Developer software process training records
Software Verification and Validation (software testing)
Software test data,
safety-critical requirements test results,
fault Injection Test Results,
End-to-End Integration Testing results,
Penetration Testing Results (resilience testing and telemetry plans against unauthorized system access and cyberattacks),
test results and data showing command execution timing within acceptable,
test results and data confirming adequate system resource margins
Detailed description of the software test environments
software interfaces (internal and external) test results
Code test coverage data
Software static analysis results reports
Number and types of static analysis tools used.
Results of a Security Vulnerability Analysis: detected and resolved vulnerabilities in the software's security framework.
All of the Independent Verification and Validation (IV&V) assessments results
Data showing that the safety-critical software components meet complexity thresholds
Evidence that the code structural quality has low risks.
Hazards
Hazards and mitigation controls that include software
List of any unresolved hazards
CM
Processes used for version control, change tracking, and baseline management.
Identification of flight-ready software configurations,
Flight readiness and Operations
Clear understanding of the operational environment for the mission.
Operational procedures for updating the software and data
Any software related threats for the operational environment on the software operation
List of and access to all open software defects
List of and access to all open and closed high-risk software defects.
Stakeholder-approved sign-off on any unavoidable operational software related risks.
Evidence of adherence to validated development processes, coding guidelines, and testing protocols.
Deliverables required for regulatory certification
Software Version Description Document (VDD)
FRR Exit Criteria Sign-Off for software
Crew software user guides, operational procedures, and troubleshooting documentation.
Documentation showing mechanisms to handle errors, recover failures, and preserve system operation under degraded conditions.
Div
id
tabs-3
3. Safety Case for Human-Rated Software Certification
This safety case demonstrates that the software used in this human-rated mission adheres to rigorous safety, quality, and regulatory standards. Based on the evidence provided, the software is flight-ready and capable of supporting critical mission operations while ensuring the safety of the crew and spacecraft under both nominal and adverse conditions.
1. Requirements and Traceability
Argument: The software requirements are clearly defined, traceable, and aligned with safety-critical mission needs.
Evidence:
Comprehensive Software Requirements Specification (SRS) covering high-level mission-critical systems (e.g., navigation, propulsion, anomaly detection, life support, and abort operations).
Verified safety requirements (fault tolerance, redundancy, and safe initialization/termination).
Acceptable quality of detailed low-level safety-critical requirements, including specifics like algorithm designs and timing constraints.
A completed and validated Requirements Traceability Matrix (RTM) showing bi-directional traceability from requirements through design, code, and test results.
Reviewed system-level safety analyses to document "Must Work" (MWF) and "Must Not Work" (MNWF) requirements, prerequisite checks for hazardous commands, and mitigation strategies.
2. Software Design and Architecture
Argument: The software architecture is resilient, modular, and designed for fault tolerance and safety-critical operations.
Evidence:
Architecture documentation detailing modular fault isolation, redundancy, and resiliency mechanisms.
Block diagrams illustrating fault containment, fail-safe control paths, and separation of critical functions.
Documentation and analysis of safety-critical subsystems (e.g., propulsion, crew displays, navigation) with clearly defined responsibilities.
Verified Interface Control Documents (ICDs), ensuring compatibility between internal software, hardware systems, and external interactions.
Safety validation evidence for safeguards like fault containment, error detection, operator validation, integrity checks, and anomaly recovery processes.
Independent redundant system designs ensuring physical and logical separation to mitigate single points of failure.
Validation of fault-tolerant mechanisms, including cosmic radiation protection in CPU designs.
3. Hazard Analysis and Safety Evidence
Argument: All hazards associated with software functionality are identified, analyzed, and mitigated to acceptable levels of risk.
Evidence:
A complete Hazard Analysis Report (HAR) identifying software-driving hazards and the mitigation strategies in place.
Fault Tree Analysis (FTA) and Failure Mode and Effects Analysis (FMEA) showing robust fault prevention and recovery mechanisms or a completed System Theoretic Process Analysis (STPA) showing robust fault prevention and recovery mechanisms.
Time-to-effect (TTE) analyses ensuring hazardous conditions can be addressed by safing systems within operational thresholds.
Residual risk documentation showing resolution or acceptance of remaining risks by stakeholders.
4. Verification and Validation (V&V) Evidence
Argument: Rigorous testing, validation, and coverage analyses demonstrate software compliance with safety-critical requirements.
Evidence:
100% Statement Coverage.
100% Decision Coverage.
100% Modified Condition/Decision Coverage (MC/DC) for safety-critical components.
Unit testing, system integration testing, end-to-end validation, and operational flight simulations confirming that expected functional performance aligns with safety goals.
Validation of reused components (COTS, GOTS, OSS, MOTS) to ensure compatibility and reliable integration into human-rated environments.
Coverage analysis demonstrating:
Static analysis reports showing compliance with coding standards and identification/remediation of software defects.
Fault injection testing results validating responses to corrupted data, anomalies during power disruptions, and memory errors.
Worst-case response timing analysis confirming safing systems meet TTE requirements under degraded conditions.
5. Configuration Management and Change Tracking
Argument: Configuration management processes ensure version control and traceability for all software changes.
Evidence:
Documentation showing version-controlled baselines for flight-ready software, including configuration hashes and release notes.
Audit records verifying modifications, regression testing, impact analyses, and stakeholder approvals
6. Cybersecurity and Security Validation
Argument: The software architecture incorporates robust cybersecurity measures to mitigate threats in operation environments.
Penetration testing results validating resilience against cyberattacks and unauthorized system access during pre-launch and flight.
Vulnerability analysis reports confirming detection, resolution, and closure of security-related risks.
7. Defect Management and Residual Risks
Argument: All software defects have been resolved or mitigated to acceptable levels of residual risk.
Evidence:
Defect reports showing all open and closed defects categorized by severity and justifications for acceptance of residual risks.
Logs documenting defect resolutions and testing data validating the outcomes of mitigation measures.
Residual risk acceptance documentation signed off by stakeholders, with sufficient evidence showing safe system behavior despite unresolved minor risks.
8. Resource Utilization and Performance Metrics
Argument: The software demonstrates sufficient resource margins and acceptable performance under normal and worst-case conditions.