Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912843523> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2912843523 endingPage "108" @default.
- W2912843523 startingPage "93" @default.
- W2912843523 abstract "This paper presents a software development process for safety-critical software components of cyber-physical systems. The process is called MINERVA, which stands for Mirrored Implementation Numerically Evaluated against Rigorously Verified Algorithms. The process relies on formal methods for rigorously validating code against its requirements. The software development process uses: (1) a formal specification language for describing the algorithms and their functional requirements, (2) an interactive theorem prover for formally verifying the correctness of the algorithms, (3) test cases that stress the code, and (4) numerical evaluation on these test cases of both the algorithm specifications and their implementations in code. The MINERVA process is illustrated in this paper with an application to geo-containment algorithms for unmanned aircraft systems. These algorithms ensure that the position of an aircraft never leaves a predetermined polygon region and provide recovery maneuvers when the region is inadvertently exited." @default.
- W2912843523 created "2019-02-21" @default.
- W2912843523 creator A5000166506 @default.
- W2912843523 creator A5016058241 @default.
- W2912843523 creator A5048656750 @default.
- W2912843523 date "2017-05-16" @default.
- W2912843523 modified "2023-09-24" @default.
- W2912843523 title "The MINERVA Software Development Process" @default.
- W2912843523 cites W1522573389 @default.
- W2912843523 cites W1540898056 @default.
- W2912843523 cites W1562456810 @default.
- W2912843523 cites W1598338394 @default.
- W2912843523 cites W1940831209 @default.
- W2912843523 cites W2009489720 @default.
- W2912843523 cites W2119717320 @default.
- W2912843523 cites W2120121922 @default.
- W2912843523 hasPublicationYear "2017" @default.
- W2912843523 type Work @default.
- W2912843523 sameAs 2912843523 @default.
- W2912843523 citedByCount "4" @default.
- W2912843523 countsByYear W29128435232017 @default.
- W2912843523 countsByYear W29128435232018 @default.
- W2912843523 countsByYear W29128435232019 @default.
- W2912843523 countsByYear W29128435232020 @default.
- W2912843523 crossrefType "proceedings-article" @default.
- W2912843523 hasAuthorship W2912843523A5000166506 @default.
- W2912843523 hasAuthorship W2912843523A5016058241 @default.
- W2912843523 hasAuthorship W2912843523A5048656750 @default.
- W2912843523 hasConcept C111498074 @default.
- W2912843523 hasConcept C11413529 @default.
- W2912843523 hasConcept C115903868 @default.
- W2912843523 hasConcept C180152950 @default.
- W2912843523 hasConcept C186846655 @default.
- W2912843523 hasConcept C199360897 @default.
- W2912843523 hasConcept C26713055 @default.
- W2912843523 hasConcept C2777904410 @default.
- W2912843523 hasConcept C33054407 @default.
- W2912843523 hasConcept C41008148 @default.
- W2912843523 hasConcept C529173508 @default.
- W2912843523 hasConcept C55439883 @default.
- W2912843523 hasConcept C75606506 @default.
- W2912843523 hasConcept C98045186 @default.
- W2912843523 hasConceptScore W2912843523C111498074 @default.
- W2912843523 hasConceptScore W2912843523C11413529 @default.
- W2912843523 hasConceptScore W2912843523C115903868 @default.
- W2912843523 hasConceptScore W2912843523C180152950 @default.
- W2912843523 hasConceptScore W2912843523C186846655 @default.
- W2912843523 hasConceptScore W2912843523C199360897 @default.
- W2912843523 hasConceptScore W2912843523C26713055 @default.
- W2912843523 hasConceptScore W2912843523C2777904410 @default.
- W2912843523 hasConceptScore W2912843523C33054407 @default.
- W2912843523 hasConceptScore W2912843523C41008148 @default.
- W2912843523 hasConceptScore W2912843523C529173508 @default.
- W2912843523 hasConceptScore W2912843523C55439883 @default.
- W2912843523 hasConceptScore W2912843523C75606506 @default.
- W2912843523 hasConceptScore W2912843523C98045186 @default.
- W2912843523 hasLocation W29128435231 @default.
- W2912843523 hasOpenAccess W2912843523 @default.
- W2912843523 hasPrimaryLocation W29128435231 @default.
- W2912843523 hasRelatedWork W103786485 @default.
- W2912843523 hasRelatedWork W1521424097 @default.
- W2912843523 hasRelatedWork W1595999523 @default.
- W2912843523 hasRelatedWork W1836717328 @default.
- W2912843523 hasRelatedWork W1911997723 @default.
- W2912843523 hasRelatedWork W2030655146 @default.
- W2912843523 hasRelatedWork W2089204618 @default.
- W2912843523 hasRelatedWork W2123817584 @default.
- W2912843523 hasRelatedWork W2377845476 @default.
- W2912843523 hasRelatedWork W2507088792 @default.
- W2912843523 hasRelatedWork W2628876113 @default.
- W2912843523 hasRelatedWork W2736111001 @default.
- W2912843523 hasRelatedWork W2763992091 @default.
- W2912843523 hasRelatedWork W2796400167 @default.
- W2912843523 hasRelatedWork W2888990196 @default.
- W2912843523 hasRelatedWork W3207537580 @default.
- W2912843523 hasRelatedWork W346883203 @default.
- W2912843523 hasRelatedWork W565232785 @default.
- W2912843523 hasRelatedWork W747351012 @default.
- W2912843523 hasRelatedWork W96861684 @default.
- W2912843523 isParatext "false" @default.
- W2912843523 isRetracted "false" @default.
- W2912843523 magId "2912843523" @default.
- W2912843523 workType "article" @default.