Matches in SemOpenAlex for { <https://semopenalex.org/work/W3160368460> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3160368460 endingPage "71" @default.
- W3160368460 startingPage "53" @default.
- W3160368460 abstract "The complexity and flexibility of autonomous robotic systems necessitates a range of distinct verification tools. This presents new challenges not only for design verification but also for assurance approaches. Combining the distinct formal verification tools, while maintaining sufficient formal coherence to provide compelling assurance evidence is difficult, often being abandoned for less formal approaches. In this paper we demonstrate, through a case study, how a variety of distinct formal techniques can be brought together in order to develop a justifiable assurance case. We use the AdvoCATE assurance case tool to guide our analyses and to integrate the artifacts from the formal methods that we use, namely: fret, cocosim and Event-B. While we present our methodology as applied to a specific Inspection Rover case study, we believe that this combination provides benefits in maintaining coherent formal links across development and assurance processes for a wide range of autonomous robotic systems." @default.
- W3160368460 created "2021-05-24" @default.
- W3160368460 creator A5001487424 @default.
- W3160368460 creator A5040721287 @default.
- W3160368460 creator A5072535700 @default.
- W3160368460 creator A5073067432 @default.
- W3160368460 creator A5076259366 @default.
- W3160368460 creator A5082809845 @default.
- W3160368460 creator A5085109562 @default.
- W3160368460 date "2021-01-01" @default.
- W3160368460 modified "2023-10-10" @default.
- W3160368460 title "Integrating Formal Verification and Assurance: An Inspection Rover Case Study" @default.
- W3160368460 cites W127773936 @default.
- W3160368460 cites W1820726602 @default.
- W3160368460 cites W1970488655 @default.
- W3160368460 cites W1971486022 @default.
- W3160368460 cites W2011329314 @default.
- W3160368460 cites W2051342545 @default.
- W3160368460 cites W2095783673 @default.
- W3160368460 cites W2125047630 @default.
- W3160368460 cites W2125415493 @default.
- W3160368460 cites W2130427425 @default.
- W3160368460 cites W2142916266 @default.
- W3160368460 cites W2290664491 @default.
- W3160368460 cites W2503425026 @default.
- W3160368460 cites W2774981561 @default.
- W3160368460 cites W2804761755 @default.
- W3160368460 cites W2807488133 @default.
- W3160368460 cites W2811472820 @default.
- W3160368460 cites W2898636368 @default.
- W3160368460 cites W2972903877 @default.
- W3160368460 cites W3010737172 @default.
- W3160368460 cites W3080154729 @default.
- W3160368460 cites W3090264216 @default.
- W3160368460 cites W3092311360 @default.
- W3160368460 cites W3101648496 @default.
- W3160368460 cites W4233281287 @default.
- W3160368460 cites W4244819751 @default.
- W3160368460 cites W3107687528 @default.
- W3160368460 doi "https://doi.org/10.1007/978-3-030-76384-8_4" @default.
- W3160368460 hasPublicationYear "2021" @default.
- W3160368460 type Work @default.
- W3160368460 sameAs 3160368460 @default.
- W3160368460 citedByCount "14" @default.
- W3160368460 countsByYear W31603684602021 @default.
- W3160368460 countsByYear W31603684602022 @default.
- W3160368460 countsByYear W31603684602023 @default.
- W3160368460 crossrefType "book-chapter" @default.
- W3160368460 hasAuthorship W3160368460A5001487424 @default.
- W3160368460 hasAuthorship W3160368460A5040721287 @default.
- W3160368460 hasAuthorship W3160368460A5072535700 @default.
- W3160368460 hasAuthorship W3160368460A5073067432 @default.
- W3160368460 hasAuthorship W3160368460A5076259366 @default.
- W3160368460 hasAuthorship W3160368460A5082809845 @default.
- W3160368460 hasAuthorship W3160368460A5085109562 @default.
- W3160368460 hasBestOaLocation W31603684601 @default.
- W3160368460 hasConcept C105795698 @default.
- W3160368460 hasConcept C111498074 @default.
- W3160368460 hasConcept C115903868 @default.
- W3160368460 hasConcept C127413603 @default.
- W3160368460 hasConcept C199360897 @default.
- W3160368460 hasConcept C201995342 @default.
- W3160368460 hasConcept C2780598303 @default.
- W3160368460 hasConcept C33923547 @default.
- W3160368460 hasConcept C41008148 @default.
- W3160368460 hasConcept C75606506 @default.
- W3160368460 hasConceptScore W3160368460C105795698 @default.
- W3160368460 hasConceptScore W3160368460C111498074 @default.
- W3160368460 hasConceptScore W3160368460C115903868 @default.
- W3160368460 hasConceptScore W3160368460C127413603 @default.
- W3160368460 hasConceptScore W3160368460C199360897 @default.
- W3160368460 hasConceptScore W3160368460C201995342 @default.
- W3160368460 hasConceptScore W3160368460C2780598303 @default.
- W3160368460 hasConceptScore W3160368460C33923547 @default.
- W3160368460 hasConceptScore W3160368460C41008148 @default.
- W3160368460 hasConceptScore W3160368460C75606506 @default.
- W3160368460 hasLocation W31603684601 @default.
- W3160368460 hasOpenAccess W3160368460 @default.
- W3160368460 hasPrimaryLocation W31603684601 @default.
- W3160368460 hasRelatedWork W1524361563 @default.
- W3160368460 hasRelatedWork W1614816533 @default.
- W3160368460 hasRelatedWork W2072697836 @default.
- W3160368460 hasRelatedWork W2370841479 @default.
- W3160368460 hasRelatedWork W2401770164 @default.
- W3160368460 hasRelatedWork W2562928796 @default.
- W3160368460 hasRelatedWork W2605218250 @default.
- W3160368460 hasRelatedWork W2783678835 @default.
- W3160368460 hasRelatedWork W3091728393 @default.
- W3160368460 hasRelatedWork W61995002 @default.
- W3160368460 isParatext "false" @default.
- W3160368460 isRetracted "false" @default.
- W3160368460 magId "3160368460" @default.
- W3160368460 workType "book-chapter" @default.