SAT-CIRCA: Verifiable Real-Time Autonomy for Satellites

Award Information
Agency:
Department of Defense
Branch
n/a
Amount:
$749,881.00
Award Year:
2011
Program:
SBIR
Phase:
Phase II
Contract:
D11PC20204
Award Id:
n/a
Agency Tracking Number:
09SB3-0099
Solicitation Year:
2011
Solicitation Topic Code:
SB093-006
Solicitation Number:
2011.3
Small Business Information
211 N 1st St., Suite 300, Minneapolis, MN, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
103477993
Principal Investigator:
DavidMusliner
Senior Principal Research
(612) 325-9314
musliner@sift.info
Business Contact:
HarryFunk
Vice President of Researc
(612) 339-7438
hfunk@sift.info
Research Institute:
Stub




Abstract
SIFT proposes to build SAT-CIRCA: an integrated, verifiable architecture for real-time satellite response planning and execution. In previous research, we have developed the Cooperative Intelligent Real-time Control Architecture (CIRCA), including a planning system uniquely capable of reasoning about adversarial domains, building reactive real-time plans for those domains, and using formal verification techniques to prove that its plans will guarantee system safety while also making best efforts to achieve mission goals. In Phase 1, we have demonstrated the feasibility of integrating the CIRCA reaction planning system with NASA's most advanced technologies for verifiable onboard plan execution, the Plan Execution Interchange Language (PLEXIL) and the Universal Executive (UE). Together, PLEXIL and the UE provide a platform that will implement CIRCA's guarantees. SAT-CIRCA will use CIRCA's reaction planner to build plans in PLEXIL and execute them using the UE, thus guaranteeing that the UE will enforce the guarantees that CIRCA planned. SAT-CIRCA will be the first onboard autonomous satellite system capable of reasoning about its hazardous environment and guaranteeing to keep the system safe if at all possible.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government