Services

Arkham Technology are experts in NSA Type 1 Certification. We provide a comprehensive set of design, engineering, and support services

  • Systems Engineering
  • Information Assurance
  • FPGA/ASIC Designs
  • Mission Critical Software

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

FPGA 2FPGA DSP

 

 

 

 

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