Matches in SemOpenAlex for { <https://semopenalex.org/work/W3120051544> ?p ?o ?g. }
- W3120051544 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." @default.
- W3120051544 created "2021-01-18" @default.
- W3120051544 creator A5035439474 @default.
- W3120051544 creator A5041459160 @default.
- W3120051544 creator A5062437401 @default.
- W3120051544 date "2021-01-04" @default.
- W3120051544 modified "2023-09-27" @default.
- W3120051544 title "Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering" @default.
- W3120051544 cites W1095433634 @default.
- W3120051544 cites W1481897854 @default.
- W3120051544 cites W1967708626 @default.
- W3120051544 cites W2003080311 @default.
- W3120051544 cites W2026629052 @default.
- W3120051544 cites W2033718781 @default.
- W3120051544 cites W2043439476 @default.
- W3120051544 cites W2066869518 @default.
- W3120051544 cites W2103074760 @default.
- W3120051544 cites W2105572062 @default.
- W3120051544 cites W2107257043 @default.
- W3120051544 cites W2118983177 @default.
- W3120051544 cites W2119715404 @default.
- W3120051544 cites W2142949066 @default.
- W3120051544 cites W2321051041 @default.
- W3120051544 cites W2325456451 @default.
- W3120051544 cites W2606229664 @default.
- W3120051544 cites W2724909085 @default.
- W3120051544 cites W2889359337 @default.
- W3120051544 cites W2910888946 @default.
- W3120051544 cites W1514157852 @default.
- W3120051544 doi "https://doi.org/10.2514/6.2021-1122" @default.
- W3120051544 hasPublicationYear "2021" @default.
- W3120051544 type Work @default.
- W3120051544 sameAs 3120051544 @default.
- W3120051544 citedByCount "2" @default.
- W3120051544 countsByYear W31200515442021 @default.
- W3120051544 countsByYear W31200515442023 @default.
- W3120051544 crossrefType "proceedings-article" @default.
- W3120051544 hasAuthorship W3120051544A5035439474 @default.
- W3120051544 hasAuthorship W3120051544A5041459160 @default.
- W3120051544 hasAuthorship W3120051544A5062437401 @default.
- W3120051544 hasBestOaLocation W31200515442 @default.
- W3120051544 hasConcept C111919701 @default.
- W3120051544 hasConcept C115901376 @default.
- W3120051544 hasConcept C121704057 @default.
- W3120051544 hasConcept C127413603 @default.
- W3120051544 hasConcept C132835097 @default.
- W3120051544 hasConcept C146978453 @default.
- W3120051544 hasConcept C151730666 @default.
- W3120051544 hasConcept C178790620 @default.
- W3120051544 hasConcept C185592680 @default.
- W3120051544 hasConcept C200601418 @default.
- W3120051544 hasConcept C201995342 @default.
- W3120051544 hasConcept C2779343474 @default.
- W3120051544 hasConcept C2779968344 @default.
- W3120051544 hasConcept C2780864053 @default.
- W3120051544 hasConcept C29829512 @default.
- W3120051544 hasConcept C38652104 @default.
- W3120051544 hasConcept C41008148 @default.
- W3120051544 hasConcept C49261128 @default.
- W3120051544 hasConcept C78519656 @default.
- W3120051544 hasConcept C86803240 @default.
- W3120051544 hasConcept C98045186 @default.
- W3120051544 hasConceptScore W3120051544C111919701 @default.
- W3120051544 hasConceptScore W3120051544C115901376 @default.
- W3120051544 hasConceptScore W3120051544C121704057 @default.
- W3120051544 hasConceptScore W3120051544C127413603 @default.
- W3120051544 hasConceptScore W3120051544C132835097 @default.
- W3120051544 hasConceptScore W3120051544C146978453 @default.
- W3120051544 hasConceptScore W3120051544C151730666 @default.
- W3120051544 hasConceptScore W3120051544C178790620 @default.
- W3120051544 hasConceptScore W3120051544C185592680 @default.
- W3120051544 hasConceptScore W3120051544C200601418 @default.
- W3120051544 hasConceptScore W3120051544C201995342 @default.
- W3120051544 hasConceptScore W3120051544C2779343474 @default.
- W3120051544 hasConceptScore W3120051544C2779968344 @default.
- W3120051544 hasConceptScore W3120051544C2780864053 @default.
- W3120051544 hasConceptScore W3120051544C29829512 @default.
- W3120051544 hasConceptScore W3120051544C38652104 @default.
- W3120051544 hasConceptScore W3120051544C41008148 @default.
- W3120051544 hasConceptScore W3120051544C49261128 @default.
- W3120051544 hasConceptScore W3120051544C78519656 @default.
- W3120051544 hasConceptScore W3120051544C86803240 @default.
- W3120051544 hasConceptScore W3120051544C98045186 @default.
- W3120051544 hasLocation W31200515441 @default.
- W3120051544 hasLocation W31200515442 @default.
- W3120051544 hasOpenAccess W3120051544 @default.
- W3120051544 hasPrimaryLocation W31200515441 @default.
- W3120051544 hasRelatedWork W2005303973 @default.
- W3120051544 hasRelatedWork W2007949621 @default.
- W3120051544 hasRelatedWork W2043000378 @default.
- W3120051544 hasRelatedWork W2384981061 @default.
- W3120051544 hasRelatedWork W2391354476 @default.
- W3120051544 hasRelatedWork W2528005336 @default.
- W3120051544 hasRelatedWork W2543698678 @default.
- W3120051544 hasRelatedWork W3047705479 @default.
- W3120051544 hasRelatedWork W3149345112 @default.
- W3120051544 hasRelatedWork W3170290573 @default.
- W3120051544 isParatext "false" @default.
- W3120051544 isRetracted "false" @default.
- W3120051544 magId "3120051544" @default.