Runtime Software Verification for Non-Standard Compute Infrastructure
ID: N241-038Type: BOTH
Overview

Topic

Runtime Software Verification for Non-Standard Compute Infrastructure

Agency

Department of DefenseN/A

Program

Type: SBIRPhase: BOTHYear: 2024

Topic Link

https://www.sbir.gov/node/2479757

Additional Information

https://www.defensesbirsttr.mil/SBIR-STTR/Opportunities/
Timeline
    Description

    The Department of Defense (DOD) is seeking proposals for their SBIR 24.1 BAA solicitation. The specific topic of the solicitation is "Runtime Software Verification for Non-Standard Compute Infrastructure" and is under the branch of the Navy. The objective of this solicitation is to develop an automated software runtime verification capability for combat management systems running on US Navy ship computer hardware. The goal is to identify unexpected errors before they result in system failure, improving the resilience and reliability of platforms and the safety of personnel. The solution should be able to detect early indicators and warnings of software component errors or failures in combinations of software and computing infrastructure that cannot be anticipated and tested prior to release. The solution should also support extensibility to other combat management systems. The project will be conducted in three phases, with Phase I focusing on developing a concept, Phase II on developing and delivering a prototype solution, and Phase III on transitioning the technology to Navy use. The work under this effort may be classified under Phase II. The solicitation is closed, and more information can be found on the DOD SBIR website.

    Files
    No associated files provided.
    Similar Opportunities
    DOD SBIR 24.4 Annual - Tactical Implementation of Quantum Hardening
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the topic "Tactical Implementation of Quantum Hardening" as part of its SBIR program. The objective is to develop a tactical implementation of quantum hardening for Army systems on a tactical network to identify vulnerabilities, remove or remediate them, and maintain security against quantum cyber threats. The Army is interested in software that can future-proof Army networks related to quantum computing vulnerabilities. The ideal solution is a holistic suite of quantum-resistant security applications that can assess cryptographic security, implement quantum-resistant algorithms, and provide a crypto-agile framework to protect sensitive data. The project will involve analyzing Army networks, prioritizing critical networks, and transitioning to a quantum-safe architecture. The performer will prototype a software suite at technology readiness level 6, demonstrated in relevant environments. The project will have a Phase I and Phase II, with Phase II delivering a prototype for further Army evaluation. The performer will have access to a lab with tactical network capabilities and associated devices for iteration. The project will also include demonstrations at NetModX events in 2024 and 2025. Awardees may be eligible for a Phase IIb award after completing Phase II. Phase III will focus on commercialization objectives. The project is open for proposals until March 31, 2025. For more information, visit the solicitation agency URL: link.
    DOD SBIR 24.4 Annual - Direct to Phase II: Next-generation Autonomy for Unmanned Maritime Vehicles (UMVs)
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the topic of "Direct to Phase II: Next-generation Autonomy for Unmanned Maritime Vehicles (UMVs)" as part of the SBIR program. The Navy is specifically interested in developing next-generation autonomy that will increase the capability and scope of utility of UMVs while decreasing the level of remote human operator involvement. The goal is to enable UMVs to perform complex tasks with little to no human intervention, handle dynamic and harsh maritime environments, support diverse missions and tasks, and cooperate autonomously with other UMVs. The technology should operate with low-bandwidth and intermittent communication and be robust to uncertain and inaccurate perception information. The project will involve the development of algorithms and software, simulation-based testing, and in-water testing with physical-small scale models. The Phase II period of performance is anticipated to be four years. Successful completion of the project could lead to the transition of the Next-generation Autonomy software to the acquisition program for use within its architecture.
    DOD SBIR 24.4 Annual - Ensuring Sensor Data Security and Integrity
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the topic "Ensuring Sensor Data Security and Integrity" as part of its SBIR program. The objective of this topic is to develop a platform that secures sensor data at the individual record level and supports experimentation to advance technology for DoD and Army Data Strategy VAULTIS goals. The platform should be cost-effective, flexible, and implemented through an Application Programming Interface (API) with no data size limitation. It should also ensure the integrity of sensor data throughout its lifecycle and incorporate attributes such as encryption, immutable data storage, audit and logging, and tamper-proof chain of custody. The Army aims to become more data-centric and capable of conducting operations in contested environments. The project will be conducted in two phases, with Direct to Phase II (DP2) proposals accepted for a cost of up to $2,000,000 for an 18-month period of performance. The contractor will be responsible for integrating, testing, demonstrating, and delivering a lightweight and scalable prototype data provenance solution. The solution should secure all sensor data at the individual record level and include database, replication, data audit, and encryption in a single integrated solution. It should also incorporate knowledge graphs, analytic visualization tools, and support data analysis. The use of blockchain technology is highlighted as a potential dual-use application for protecting sensor data fidelity in various sectors such as healthcare, critical infrastructure, smart homes, and autonomous vehicles. The project references the Army's data plan and strategic goals for 2040. The deadline for proposal submission is March 31, 2025. For more information, visit the solicitation link provided: DOD SBIR 24.4 Annual.
    DOD SBIR 24.4 Annual - xTech Search 8 SBIR Finalist Open Topic Competition
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the xTech Search 8 SBIR Finalist Open Topic Competition. The objective of this solicitation is to find novel and disruptive concepts and technology solutions with dual-use capabilities that can address the Army's current needs and apply to current Army concepts. The technology areas of interest include Electronics, Human Systems, and Sensors. The Army is particularly interested in technologies related to Artificial Intelligence/Machine Learning, Advanced Materials, Advanced Manufacturing, Autonomy, Cyber, Human Performance, Immersive, Network Technologies, Position, Navigation and Timing (PNT), Power, Software Modernization, and Sensors. The Phase I of the project requires a feasibility study and concept plans, while Phase II involves producing prototype solutions for evaluation by soldiers. Phase III focuses on the maturation of the technology and commercialization. The solicitation is open until March 31, 2025. For more information, visit the solicitation agency website.
    DOD SBIR 24.4 Annual - xTech Search 8 SBIR Finalist Open Topic Competition
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the xTech Search 8 SBIR Finalist Open Topic Competition. The objective of this solicitation is to find novel and disruptive concepts and technology solutions with dual-use capabilities that can address the Army's current needs and apply to current Army concepts. The technology areas of interest include Electronics, Human Systems, and Sensors. The Army is particularly interested in technologies related to Artificial Intelligence/Machine Learning, Advanced Materials, Advanced Manufacturing, Autonomy, Cyber, Human Performance, Immersive, Network Technologies, Position, Navigation and Timing (PNT), Power, Software Modernization, and Sensors. The Phase I of the project requires a feasibility study and concept plans, while Phase II involves producing prototype solutions that can be easily operated by soldiers. Phase III focuses on the maturation of the technology and its transition to TRL 6/7, as well as further development and commercialization. The solicitation is open until March 31, 2025. For more information, visit the solicitation agency website.
    DOD SBIR 24.4 Annual - A/I Enabled ARP, Select, and Monitor
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the topic "A/I Enabled ARP, Select, and Monitor" as part of its SBIR program. The objective of this solicitation is to develop and deliver an Artificial Intelligence (AI)-enabled system to modernize and automate the Army's acquisition process, starting with the development of an Acquisition Requirements Package (ARP). The proposed system aims to alleviate current problems in the Army acquisition community, such as inconsistent results, lengthy and inefficient ARP development, and limited tools available to the workforce. The technology will use AI/ML to assist program managers in building ARP, conducting source selection activities, and monitoring contracts post-award. The Phase I of this project is only accepting Direct to Phase II (DP2) proposals with a cost of up to $2,000,000 for a 24-month period of performance. The Phase II effort is expected to deliver a basic AI capability to guide ARP development, with potential for expansion to other types of acquisitions. The Phase III dual-use applications include the use of Contract Management Software (CMS) technologies in various sectors such as healthcare, manufacturing, retail, IT and telecom, transportation and logistics, government, and financial services. The deadline for proposal submission is March 31, 2025. For more information, visit the solicitation agency's website here.
    DOD SBIR 24.4 Annual - Advanced Enabling High-Speed Technologies
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the topic of "Advanced Enabling High-Speed Technologies" in their SBIR 24.4 Annual solicitation. The Defense Advanced Research Projects Agency (DARPA) is specifically interested in technologies related to additive manufacturing techniques, materials, propulsion combined cycles, and hot structures. They are also looking for advancements in the understanding and characterization of novel fluid dynamics that enhance propulsion performance. The objective is to achieve coherence between a cooperating set of commodity devices, resulting in increased thrust to weight, fuel efficiencies, and propellant mass fractions. This solicitation is open for Phase II proposals only, and Phase I proposals will not be accepted or reviewed. Phase II will involve designing and evaluating enabling technologies at the system and subsystem level, as well as advancing modeling and simulation tools. Physical hardware proposals should include development, installation, integration, demonstration, and/or test and evaluation of the proposed prototype system. Software or advanced tool development proposals should have a development approach anchored in the physics of the problem and ways to validate the software against existing test data. The Phase II effort consists of a base period of 12 months and an option period of 12 months. Phase III of this project will focus on transition and commercialization of the developed technologies. The proposer is required to obtain funding from private sector or non-SBIR Government sources to develop the prototype software into a viable product or non-R&D service for sale in military or private sector markets. The technologies developed under this topic will have applications in both commercial and military sectors, including commercial transportation, high-speed delivery, and responsiveness to fluidic environments. For more information and to submit proposals, interested parties can visit the DOD SBIR 24.4 Annual topic page on the SBIR website (https://www.sbir.gov/node/2492697). The solicitation is currently open, and the application due date is March 31, 2025.
    DOD SBIR 24.4 Annual - xTechScalable AI
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the topic of "xTechScalable AI" as part of the SBIR program. The Army branch is specifically interested in novel and disruptive concepts and technology solutions that can address the vulnerabilities of current machine learning pipelines and models. The goal is to develop comprehensive security models that can defend against universal AI threat vectors and are scalable to rapidly evolving threats. The Army is particularly interested in proposals that focus on systematic testing and evaluation methods, trusted and secure validation and verification strategies, continuous monitoring capabilities, improved transparency and assurance of code and data, and improved telemetry capabilities. The Army will prioritize submissions from winners of the xTechScalable AI prize competition. The project will involve a Direct to Phase II submission, followed by the production of prototype solutions that are easy to operate by soldiers. Phase III will focus on maturing the technology to TRL 6/7 and producing prototypes for further development and commercialization. The deadline for proposal submission is March 31, 2025. For more information and to submit a proposal, visit the solicitation agency's website at [solicitationagencyurl].
    DOD SBIR 24.4 Annual - xTechScalable AI
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the topic "xTechScalable AI" as part of the SBIR program. The Army branch is specifically interested in novel and disruptive concepts and technology solutions that can address the vulnerabilities of current machine learning pipelines and models. The goal is to develop comprehensive security models capable of defending against universal AI threat vectors. The Army is prioritizing proposals that focus on systematic testing and evaluation methods, trusted and secure validation and verification strategies, continuous monitoring capabilities, improved transparency and assurance of code and data, and improved telemetry capabilities. The Army will use the xTechScalable AI prize competition to identify small businesses that meet the criteria for award, and only winners of the competition will be eligible to submit a proposal under this topic. The project will have three phases: Phase I involves submitting a Direct to Phase II (DP2) proposal, Phase II involves producing prototype solutions for evaluation by soldiers, and Phase III involves completing the maturation of the technology and producing prototypes for further development and commercialization. The deadline for proposal submission is March 31, 2025. For more information and to submit a proposal, visit the solicitation agency's website at [solicitationagencyurl].
    DOD SBIR 24.4 Annual - xTechScalable AI 2
    Active
    Department of Defense
    The Department of Defense (DOD) is seeking proposals for the xTechScalable AI 2 topic. This solicitation focuses on two main areas: Scalable Tools for Automated AI Risk Management and Algorithmic Analysis: The Army is looking for automated tools to evaluate and mitigate risk against an AI Risk Management Framework (RMF) to ensure trusted and validated AI models. The tools should be able to evaluate multiple dimensions of AI risk, classify and quantify AI risk, and propose mitigation options. The Army is particularly interested in tools that can accept risk-related inputs from multiple data sources and modalities and have standardized evaluation methods and mitigation strategies. Scalable Techniques for Robust Testing and Evaluation (T&E) of AI Operations Pipelines: The Army needs a robust and automated T&E approach for AI Operations Pipelines. This includes evaluating data integrity, data labeling methodologies, and model training. The Army is interested in tools that can identify and evaluate data integrity, assess the quality and accuracy of labels applied to training datasets, and evaluate model performance in terms of resource consumption, robustness, scalability, and privacy and security. The Phase I proposals can receive up to $250,000 for a 6-month period, while Direct to Phase II proposals can receive up to $2,000,000 for an 18-month period. Phase II involves producing prototype solutions that will be evaluated by soldiers, and Phase III focuses on maturing the technology and producing prototypes for further development and commercialization. The xTechScalable AI 2 prize competition will be used to identify small businesses eligible to submit proposals under this topic. The full solicitation can be found at this link.