12 awards found
80NSSC25C0189
National Aeronautics and Space Administration
SBIR I ASSURED ISOLATION OF AI (AI^2) FOR HPSC PLATFORMS
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2025
FA875025CB073
Department of Defense
HIGH ASSURANCE CONTAINER ARCHITECTURE (HACA) FOR SECURE MULTI-DOMAIN APPLICATIONS
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2025
FA864925P0315
Department of Defense
TRANSITIONING LEGACY SPACE MISSION SOFTWARE FOR CYBER-HARDENING
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2025
W5170125CA072
Department of Defense
TOPIC A244-P037 REAL-TIME DENSITY TRACKING DISTRIBUTED KERNEL METHOD FOR REALIZING COLLABORATIVE AI AT EXTENDED RANGES
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2025
W5170125CA121
Department of Defense
SMALL BUSINESS INNOVATIVE RESEARCH (SBIR) PHASE II UNDER TOPIC A234-026
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2025
W5170125C0072
Department of Defense
SMALL BUSINESS INNOVATION RESERACH (SBIR) ARMY TOPIC# A244-045, "RISC-V HIGH ASSURANCE FPGA SOFTCORE ABERDEEN ARCHITECTURE."
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2025
N6833525C0049
Department of Defense
KICK-OFF BRIEFING MATERIALS & FWA CERT.
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2025
FA864924P0921
Department of Defense
HIGH BANDWIDTH RED/BLACK TIME-SENSITIVE NETWORKING ETHERNET SWITCH FOR SPACE PLATFORMS
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2024
W5170124C0048
Department of Defense
SBIR PHASE I TOPIC A234-026, PORTING RTK TO HIGH ASSURANCE KERNEL.
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2024
FA864924P0452
Department of Defense
DEVSECOPS ENABLEMENT FOR DUAL USE HIGH ASSURANCE SOFTWARE
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2024
IND16PC00107
Department of the Interior
LEVERAGING ASSURANCE ON AN SEL4-ENABLED SAFE & SECURE SOLDIER HELMET DISPLAY
NAICS: 541712 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT BIOTECHNOLOGY)FY2023
FA864923P0252
Department of Defense
DEVSECOPS ENABLEMENT VIA HIGH ASSURANCE SEL4 MICROKERNEL
NAICS: 541715 - RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY)FY2023