Click here to request a quotation or more information.
| 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
|
Click here to request a quotation or more information.
We provide the certification interface and coordination services for the following:
- The generation of the Automated Distribution Requirements Listing (ADRL)
- Support for:
- Systems-of-systems
- End Crypto Units (ECUs)
- Modules
- Chips
Click here to request a quotation or more information.
Our FPGA/ASIC design and consulting services include:
- DoD Trusted Foundry compatible IP core design and development available.
- Advanced, reliable solutions from experienced engineers with a track record of complex FPGA/ASIC designs
- From concept, to specifications writing, high level FPGA/ASIC designs, development, integration, and verification
- Active tamper design to meet low power and cost requirements
- Full support for TEMPEST certification


Click here to request a quotation or more information.
Our software development, systems architecture, and engineering capabilities, combined with our experience make Arkham Technology a good choice for the development of mission critical applications and processes. We provide support for:
- UML (Unified Modeling Language) model-driven design for security analysis
- Access control and user interface development
- Firmware, bootstrap, and ROM code programming
Software Code Analysis (SCA), per NSA guidelines