Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385730104> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4385730104 abstract "The Vehicle System Manager (VSM) is the highest-level software control system in the Gateway hierarchical Autonomous System Management Architecture. The VSM provides four function categories: Mission Management and Timeline Execution, Resource Management, Fault Management, Vehicle Control and Operation. VSM provides various levels of automation ranging from fully autonomous operations with no flight crew and minimal ground monitoring to advisory automation when Gateway is crewed and has full ground monitoring. Trustworthiness is achieved via verified specification, comprehensive development verification, and real-time verification using assume-guarantee contracts. Development verification includes semantic verification of the data model via peer review and testing and assume-guarantee contracts implemented using the PlusCal/TLA+ environment. VSM also uses runtime assume-guarantee contracts, implemented in R2U2 via a runtime monitor that feeds the necessary telemetry data to R2U2 and which receives and responds to the R2U2 verdict stream. The full lifecycle verification approach and use of assume-guarantee contracts provides increased trustworthiness to VSM. Preliminary results provide encouragement that VSM can be both autonomous and trustworthy." @default.
- W4385730104 created "2023-08-11" @default.
- W4385730104 creator A5001000229 @default.
- W4385730104 creator A5023207173 @default.
- W4385730104 creator A5033720999 @default.
- W4385730104 date "2023-07-01" @default.
- W4385730104 modified "2023-09-25" @default.
- W4385730104 title "Trustworthy Autonomy for Gateway Vehicle System Manager" @default.
- W4385730104 cites W2097331548 @default.
- W4385730104 cites W2238768211 @default.
- W4385730104 cites W3045529937 @default.
- W4385730104 cites W3119205342 @default.
- W4385730104 cites W4312266628 @default.
- W4385730104 doi "https://doi.org/10.1109/scc57168.2023.00018" @default.
- W4385730104 hasPublicationYear "2023" @default.
- W4385730104 type Work @default.
- W4385730104 citedByCount "0" @default.
- W4385730104 crossrefType "proceedings-article" @default.
- W4385730104 hasAuthorship W4385730104A5001000229 @default.
- W4385730104 hasAuthorship W4385730104A5023207173 @default.
- W4385730104 hasAuthorship W4385730104A5033720999 @default.
- W4385730104 hasConcept C111498074 @default.
- W4385730104 hasConcept C11413529 @default.
- W4385730104 hasConcept C115901376 @default.
- W4385730104 hasConcept C115903868 @default.
- W4385730104 hasConcept C127413603 @default.
- W4385730104 hasConcept C149635348 @default.
- W4385730104 hasConcept C41008148 @default.
- W4385730104 hasConcept C78519656 @default.
- W4385730104 hasConcept C79403827 @default.
- W4385730104 hasConceptScore W4385730104C111498074 @default.
- W4385730104 hasConceptScore W4385730104C11413529 @default.
- W4385730104 hasConceptScore W4385730104C115901376 @default.
- W4385730104 hasConceptScore W4385730104C115903868 @default.
- W4385730104 hasConceptScore W4385730104C127413603 @default.
- W4385730104 hasConceptScore W4385730104C149635348 @default.
- W4385730104 hasConceptScore W4385730104C41008148 @default.
- W4385730104 hasConceptScore W4385730104C78519656 @default.
- W4385730104 hasConceptScore W4385730104C79403827 @default.
- W4385730104 hasLocation W43857301041 @default.
- W4385730104 hasOpenAccess W4385730104 @default.
- W4385730104 hasPrimaryLocation W43857301041 @default.
- W4385730104 hasRelatedWork W1519398290 @default.
- W4385730104 hasRelatedWork W2015197026 @default.
- W4385730104 hasRelatedWork W2056851291 @default.
- W4385730104 hasRelatedWork W2104185553 @default.
- W4385730104 hasRelatedWork W2150427590 @default.
- W4385730104 hasRelatedWork W2338700700 @default.
- W4385730104 hasRelatedWork W2363207358 @default.
- W4385730104 hasRelatedWork W2363789696 @default.
- W4385730104 hasRelatedWork W2374512474 @default.
- W4385730104 hasRelatedWork W3164102603 @default.
- W4385730104 isParatext "false" @default.
- W4385730104 isRetracted "false" @default.
- W4385730104 workType "article" @default.