The Robust Software Engineering (RSE) group will perform an analysis of the Core Autonomous Safety Software (CASS) for Mike Aguilar, Office of the Chief Engineer. CASS is government-developed software available to approved third parties for inclusion in their Autonomous Flight Termination Systems (AFTS).
BACKGROUND: A CASS-based AFTS evaluates sensor measurements against mission rules to perform safety functions onboard a rocket (e.g., “continue flight”, “terminate flight”, or “disable AFTS”). CASS will be analyzed using the Inference Kernel for Open Static (IKOS) analyzers developed by Robust Software Engineering under the Airspace Operations and Safety Program (AOSP), Aeronautics Mission Directorate (ARMD) funding.
POINT OF CONTACT: Guillaume Brat, email@example.com