USA flag logo/image

An Official Website of the United States Government

SAT-CIRCA: Verifiable Real-Time Autonomy for Satellites

Award Information

Department of Defense
Award ID:
Program Year/Program:
2011 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Smart Information Flow Technologies, d/b/a SIFT
211 N 1st St. Suite 300 Minneapolis, MN 55401-1480
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2011
Title: SAT-CIRCA: Verifiable Real-Time Autonomy for Satellites
Agency: DOD
Contract: D11PC20204
Award Amount: $749,881.00


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.

Principal Investigator:

David Musliner
Senior Principal Research
(612) 325-9314

Business Contact:

Harry Funk
Vice President of Researc
(612) 339-7438
Small Business Information at Submission:

Smart Information Flow Technologies, d/b
211 N 1st St. Suite 300 Minneapolis, MN -

EIN/Tax ID: 411929753
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No