Definitive Contract 80NSSC21C0475
Award Date
8/3/21
Potential Completion Date
8/5/24
Potential Value
$750K
Federal Agency
Shared Services Center
Awardee
Runtime Verification Inc.
Ultimate Awardee
Not listed
NAICS Category
541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
PSC Category
AJ14 - General Science And Technology R&D Services; General Science And Technology; R&D Administrative Expenses
Federal Contract Vehicle
Set-Aside Type
Total Small Business
Extent Competed
Full and Open Competition after exclusion of sources
Major Defense Program
Not listed
Pricing Type
Firm Fixed Price
Place of Performance
Urbana, IL 61801, USA
Solicitation Procedures
Negotiated Proposal / Quote
Number Of Offers Received
500
Legislative Mandate
Not listed
National Interest Action
Not listed
Research Type
SBIR Program Phase II Action
Primary Consortia Member
Not listed
Similar Awards
This is a $124,942.00 Small Business Innovation Research (SBIR) Phase I contract awarded by the National Aeronautics and Space Administration (NASA) Shared Services Center to Runtime Verification Inc., a for-profit organization. The contract is for the development of a semantics-based verification toolset for Unmanned Aerial System (UAS) embedded software. The contract is a Definitive Contract with a Firm Fixed Price pricing type, and the period of performance is from the award date of August...
This is a $474,993.00 Firm Fixed Price contract awarded by the National Aeronautics and Space Administration (NASA) Shared Services Center to Runtime Verification Inc., a for-profit organization. The contract was awarded on September 29, 2017 and has a completion date of March 28, 2020. It is associated with the Small Business Innovation Research (SBIR) Program Phase III, which provides follow-on funding for the commercialization of SBIR-developed technologies. This contract is set aside for...
The U.S. National Aeronautics and Space Administration (NASA) awarded a Small Business Innovation Research (SBIR) Phase I contract to Optimal Synthesis Inc., a minority-owned small disadvantaged business located in Los Altos Hills, California. The $125,000.00 contract aims to develop a formal verification and validation approach for small-scale unmanned aerial vehicle (UAV) autopilots. The proposed solution models the UAV autopilots as hybrid systems, abstracts them into a finite state...
The National Aeronautics and Space Administration (NASA) Shared Services Center has awarded a $123,374 firm fixed-price Phase I Small Business Innovation Research (SBIR) contract to XL Scientific LLC, doing business as Verus Research, to develop the Verification and Re-Planning for Unmanned Aerial System (UAS) Safety (VEREUS) tool. VEREUS aims to automate the process of verifying that proposed UAS trajectories meet all risk and path constraints imposed, and to mitigate risks as necessary. The...
This is a Small Business Innovation Research (SBIR) Phase I contract awarded by the National Aeronautics and Space Administration (NASA) Shared Services Center to Dependable Computing LLC, a for-profit limited liability company. The contract, valued at $124,892.00, is for the development of low-cost, high-assurance autonomous capabilities for unmanned aircraft systems (UAS) through the application of formal methods to runtime assurance. The goal is to enable safer and more cost-effective UAS...
This is a $150,000 firm fixed price purchase order awarded by the National Aeronautics and Space Administration (NASA) to Aries Design Automation, LLC, a small business. The contract is for the design and formal verification of a fault-tolerant RISC-V processor core augmented to accelerate image and science data processing, under the Small Business Innovation Research (SBIR) Program Phase I. The award has a performance period ending on February 25, 2023. As a SBIR Phase I contract, this...
This is a $122,173 firm-fixed-price Small Business Innovation Research (SBIR) Phase I contract awarded by the National Aeronautics and Space Administration (NASA) to Windhover Labs LLC, a small disadvantaged business. The contract is for Windhover Labs to port NASA's Core Flight Software (CFS) to an unmanned aircraft system (UAS) platform and develop techniques and tools to lower the cost of flight software verification. This will enable wider adoption of UAS technology by providing a...
This contract was awarded by the National Aeronautics and Space Administration (NASA) to Barron Associates, Inc., a small business research and development company, under the Small Business Innovation Research (SBIR) program. Barron Associates proposes to develop a Runtime Assurance (RTA) system that provides in-flight protection to research aircraft testing advanced or experimental controllers. The RTA system monitors critical parameters and activates mitigation strategies to bring the aircraft...
This is a $899,884 Firm Fixed Price contract awarded by the Shared Services Center (a NASA organization) to University Technical Services, Inc., a woman-owned small business. The contract is for a Phase II Small Business Innovation Research (SBIR) project to develop automated vulnerability assessment and risk mitigation capabilities for future aviation systems safety. This SBIR award follows a previous Phase I award to the company. University Technical Services has also received other SBIR and...
This federal contract was awarded to Systems Technology, Inc. (STI), a technology company that provides engineering solutions for complex systems, by the National Aeronautics and Space Administration (NASA) Shared Services Center. The $949,920.00 Phase II Small Business Innovation Research (SBIR) contract supports the development of a comprehensive methodology and software toolbox, called "SAFER-UAS", to estimate the reliability of unmanned aerial systems (UAS) as a critical step...