Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering

Type
Conference Paper

Authors
Hobbs, Kerianne L.
Collins, Alexander R.
Feron, Eric

KAUST Department
Computer, Electrical and Mathematical Science and Engineering (CEMSE) Division

Online Publication Date
2021-01-04

Print Publication Date
2021-01-11

Date
2021-01-04

Abstract
As space continues to become more congested, automated techniques for spacecraft maneuvering become increasingly attractive for tasks such as collision avoidance, rendezvous and proximity operations, and station keeping. This work uses hazard analysis to elicit requirements for an autonomous spacecraft controller. Spacecraft maneuvers today are planned by human operators and conducted days to hours in advance. This represents a risk averse climate that is hesitant to rely on automation. In the absence of regulations governing automated maneuvering, a risk-based approach is a promising technique. First, top-down accidents, hazards, and safety constraints are identified. Second, a functional control model for an automatic collision avoidance system on a spacecraft in the context of a theoretical Space Traffic Management system is constructed using System Theoretic Accident Models and Processes (STAMP). Third, unsafe control actions, scenarios, and mitigating requirements are identified using Systems Theoretic Process Analysis (STPA). These requirements form the foundation for the development of automatic control designs for spacecraft. Finally, the safety constraints are formally specified as high level requirements as a path towards formal analysis of the system.

Citation
Hobbs, K. L., Collins, A. R., & Feron, E. M. (2021). Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering. AIAA Scitech 2021 Forum. doi:10.2514/6.2021-1122

Acknowledgements
The authors would like to thank Dr. Chris "Chrispy" Petersen, Dr. Sean Phillips, Dr. R. Scott Erwin, Dr. Kendra Lang, Ms. Michelle Simon, and Dr. Daren McKnight for feedback and opportunities to present this information to others in the spacecraft community for feedback.

Publisher
American Institute of Aeronautics and Astronautics (AIAA)

Conference/Event Name
AIAA Science and Technology Forum and Exposition, AIAA SciTech Forum 2021

DOI
10.2514/6.2021-1122

Additional Links
https://arc.aiaa.org/doi/10.2514/6.2021-1122

Permanent link to this record