Matches in SemOpenAlex for { <https://semopenalex.org/work/W2317042985> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2317042985 abstract "Exhaustive test of complex and autonomous systems is intractable and cost prohibitive; however, incorporating formal methods analysis throughout the system design process provides a means to identify faults as they are introduced and drastically reduce the overall system development cost. Software errors on fielded spacecraft have resulted in catastrophic faults that could have been prevented had formal methods been applied to the system design. In this research, formal methods, such as model checking and limited theorem proving, are applied to the requirements, architecture, and model development phases of the design process of a reaction wheel attitude control system for a 6U CubeSat. The results show that while feasible, several gaps exist in the capability of formal methods analysis tools. The tools are capable of expressing and analyzing some of the properties of the system, but more work is needed to properly address inherent nonlinearities in complex systems." @default.
- W2317042985 created "2016-06-24" @default.
- W2317042985 creator A5014360702 @default.
- W2317042985 creator A5047377490 @default.
- W2317042985 creator A5065172913 @default.
- W2317042985 creator A5066275166 @default.
- W2317042985 creator A5069042814 @default.
- W2317042985 creator A5083278176 @default.
- W2317042985 creator A5091415152 @default.
- W2317042985 date "2015-08-28" @default.
- W2317042985 modified "2023-09-27" @default.
- W2317042985 title "Evaluation of Formal Methods Tools Applied to a 6U CubeSat Attitude Control System" @default.
- W2317042985 cites W1481897854 @default.
- W2317042985 cites W1552280794 @default.
- W2317042985 cites W1984936841 @default.
- W2317042985 cites W2125415493 @default.
- W2317042985 doi "https://doi.org/10.2514/6.2015-4529" @default.
- W2317042985 hasPublicationYear "2015" @default.
- W2317042985 type Work @default.
- W2317042985 sameAs 2317042985 @default.
- W2317042985 citedByCount "7" @default.
- W2317042985 countsByYear W23170429852016 @default.
- W2317042985 countsByYear W23170429852017 @default.
- W2317042985 countsByYear W23170429852018 @default.
- W2317042985 countsByYear W23170429852019 @default.
- W2317042985 countsByYear W23170429852021 @default.
- W2317042985 countsByYear W23170429852023 @default.
- W2317042985 crossrefType "proceedings-article" @default.
- W2317042985 hasAuthorship W2317042985A5014360702 @default.
- W2317042985 hasAuthorship W2317042985A5047377490 @default.
- W2317042985 hasAuthorship W2317042985A5065172913 @default.
- W2317042985 hasAuthorship W2317042985A5066275166 @default.
- W2317042985 hasAuthorship W2317042985A5069042814 @default.
- W2317042985 hasAuthorship W2317042985A5083278176 @default.
- W2317042985 hasAuthorship W2317042985A5091415152 @default.
- W2317042985 hasConcept C115903868 @default.
- W2317042985 hasConcept C127413603 @default.
- W2317042985 hasConcept C133731056 @default.
- W2317042985 hasConcept C146978453 @default.
- W2317042985 hasConcept C154945302 @default.
- W2317042985 hasConcept C155710575 @default.
- W2317042985 hasConcept C19269812 @default.
- W2317042985 hasConcept C200601418 @default.
- W2317042985 hasConcept C201995342 @default.
- W2317042985 hasConcept C2775924081 @default.
- W2317042985 hasConcept C2775936636 @default.
- W2317042985 hasConcept C41008148 @default.
- W2317042985 hasConcept C75606506 @default.
- W2317042985 hasConceptScore W2317042985C115903868 @default.
- W2317042985 hasConceptScore W2317042985C127413603 @default.
- W2317042985 hasConceptScore W2317042985C133731056 @default.
- W2317042985 hasConceptScore W2317042985C146978453 @default.
- W2317042985 hasConceptScore W2317042985C154945302 @default.
- W2317042985 hasConceptScore W2317042985C155710575 @default.
- W2317042985 hasConceptScore W2317042985C19269812 @default.
- W2317042985 hasConceptScore W2317042985C200601418 @default.
- W2317042985 hasConceptScore W2317042985C201995342 @default.
- W2317042985 hasConceptScore W2317042985C2775924081 @default.
- W2317042985 hasConceptScore W2317042985C2775936636 @default.
- W2317042985 hasConceptScore W2317042985C41008148 @default.
- W2317042985 hasConceptScore W2317042985C75606506 @default.
- W2317042985 hasLocation W23170429851 @default.
- W2317042985 hasOpenAccess W2317042985 @default.
- W2317042985 hasPrimaryLocation W23170429851 @default.
- W2317042985 hasRelatedWork W2004052203 @default.
- W2317042985 hasRelatedWork W2011663619 @default.
- W2317042985 hasRelatedWork W2028180020 @default.
- W2317042985 hasRelatedWork W2080184424 @default.
- W2317042985 hasRelatedWork W2316431024 @default.
- W2317042985 hasRelatedWork W2770782428 @default.
- W2317042985 hasRelatedWork W3001399992 @default.
- W2317042985 hasRelatedWork W3011564991 @default.
- W2317042985 hasRelatedWork W4283359832 @default.
- W2317042985 hasRelatedWork W4312638800 @default.
- W2317042985 isParatext "false" @default.
- W2317042985 isRetracted "false" @default.
- W2317042985 magId "2317042985" @default.
- W2317042985 workType "article" @default.