Honeywell is Supporting AFRL Automated Reasoning Software Assurance

Honeywell International Inc., Phoenix, Arizona, has been award a $7,777,093 cost-plus-fixed-fee contract to research, develop, integrate, validate and demonstrate Consistent Logical Automated Reasoning for Integrated System Software Assurance (CLARISSA) for development and assessment of assurance cases. This contract provides for the research and development of technology to automate generation of assurance cases from curated evidence. Work will be performed in Phoenix, Arizona, and is expected to be completed by March 12, 2024. This award is the result of a competitive acquisition and two offers were received. Fiscal year 2019 research, development, test and evaluation funds in the amount of $380,564 are being obligated at time of award. Air Force Research Laboratory, Rome, New York, is the contracting activity (FA8750-20-C-0512). (Awarded March 19, 2020)