High-Grade System Analysis
|
- Fail-Safe Design Analysis (FSDA)
- Nuclear Surety Launch Action Analysis
|
| Independent Verification and Validation (IV&V) |
- IV&V of Complex Electronic Hardware (CEH) including FPGA and ASIC HDL (Verilog, VHDL, etc.) for efforts requiring high-grade mission assurance, such as Type 1 Certification, DO-254, FIPS 140, etc.
- Nuclear Safety Cross Check Analysis (NSCCA)
- High-Assurance Software Analysis (FlawFinder, lint,...) for efforts requiring high-grade mission assurance, such as Type 1 Certification, DO-178, etc.
|
| Requirements Traceability and Verification |
- Information Assurance Security Requirements Directive (IASRD)
- Theory of Compliance (TOC)
- Security Verification / Cryptographic Verification (SV/CV) Test Planning and Execution
- Interface Control Document (ICD)
- System/Subsystem Specifications (SSS)
- Prime Item Development Specifications (PIDS)
- Design Verification Testing (DVT)
|
| Best Practices & Standards |
- MIL-STD-130 UID Marking and Registration
- TEMPEST Control Planning
|
| Enterprise Architecture Modeling |
- DoD Architecture Framework (DODAF) Views
- Modeling, Analysis and Design with UML/SysML
|
CUSTOM 
