Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966676909> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1966676909 endingPage "43" @default.
- W1966676909 startingPage "40" @default.
- W1966676909 abstract "To date, compilers used in the construction of FAA-certified software have not been specially qualified for use in safety-critical applications. This has resulted in costly test procedures that attempt to verify the correctness and achieve structural coverage of the object code program rather than the source program. The FAA has adapted the criteria set forth in the document RTCA DO-178B for the design, development, and verification of tools used in the construction of safety-critical software. Tools meeting those criteria can be qualified as code development tools, and their output can be used without additional verification. This paper describes the internals of a compiler for a subset of Ada that is designed to meet the qualification criteria. Use of the qualified compiler will reduce the test burden for certifying flight software at the highest levels of criticality." @default.
- W1966676909 created "2016-06-24" @default.
- W1966676909 creator A5004197018 @default.
- W1966676909 date "2002-12-08" @default.
- W1966676909 modified "2023-10-14" @default.
- W1966676909 title "The anatomy of an FAA-qualifiable Ada subset compiler" @default.
- W1966676909 cites W4206484987 @default.
- W1966676909 cites W4238792222 @default.
- W1966676909 doi "https://doi.org/10.1145/1066404.589460" @default.
- W1966676909 hasPublicationYear "2002" @default.
- W1966676909 type Work @default.
- W1966676909 sameAs 1966676909 @default.
- W1966676909 citedByCount "5" @default.
- W1966676909 countsByYear W19666769092018 @default.
- W1966676909 crossrefType "journal-article" @default.
- W1966676909 hasAuthorship W1966676909A5004197018 @default.
- W1966676909 hasConcept C115903868 @default.
- W1966676909 hasConcept C169590947 @default.
- W1966676909 hasConcept C17744445 @default.
- W1966676909 hasConcept C199360897 @default.
- W1966676909 hasConcept C199539241 @default.
- W1966676909 hasConcept C2777904410 @default.
- W1966676909 hasConcept C41008148 @default.
- W1966676909 hasConcept C46304622 @default.
- W1966676909 hasConcept C53942775 @default.
- W1966676909 hasConcept C55439883 @default.
- W1966676909 hasConcept C68366613 @default.
- W1966676909 hasConcept C9957790 @default.
- W1966676909 hasConceptScore W1966676909C115903868 @default.
- W1966676909 hasConceptScore W1966676909C169590947 @default.
- W1966676909 hasConceptScore W1966676909C17744445 @default.
- W1966676909 hasConceptScore W1966676909C199360897 @default.
- W1966676909 hasConceptScore W1966676909C199539241 @default.
- W1966676909 hasConceptScore W1966676909C2777904410 @default.
- W1966676909 hasConceptScore W1966676909C41008148 @default.
- W1966676909 hasConceptScore W1966676909C46304622 @default.
- W1966676909 hasConceptScore W1966676909C53942775 @default.
- W1966676909 hasConceptScore W1966676909C55439883 @default.
- W1966676909 hasConceptScore W1966676909C68366613 @default.
- W1966676909 hasConceptScore W1966676909C9957790 @default.
- W1966676909 hasIssue "1" @default.
- W1966676909 hasLocation W19666769091 @default.
- W1966676909 hasOpenAccess W1966676909 @default.
- W1966676909 hasPrimaryLocation W19666769091 @default.
- W1966676909 hasRelatedWork W1517926351 @default.
- W1966676909 hasRelatedWork W1936017528 @default.
- W1966676909 hasRelatedWork W2004605222 @default.
- W1966676909 hasRelatedWork W2134898533 @default.
- W1966676909 hasRelatedWork W2155757092 @default.
- W1966676909 hasRelatedWork W2192862863 @default.
- W1966676909 hasRelatedWork W2245390655 @default.
- W1966676909 hasRelatedWork W2369288331 @default.
- W1966676909 hasRelatedWork W3124740916 @default.
- W1966676909 hasRelatedWork W1602178951 @default.
- W1966676909 hasVolume "XXIII" @default.
- W1966676909 isParatext "false" @default.
- W1966676909 isRetracted "false" @default.
- W1966676909 magId "1966676909" @default.
- W1966676909 workType "article" @default.