Matches in SemOpenAlex for { <https://semopenalex.org/work/W63571025> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W63571025 startingPage "0" @default.
- W63571025 abstract "Software failure are noted for their blowing large sums of money and sometimes even human life, in particular in the area of safety critical mission software. The most well-known desaster happened in 1996 when Ariane 501 exploded shortly after launch. The least it did was to cost the European space program half a billion US$ due to an overflow in an arithmetic conversion. The Automated Software Engineering Group at the NASA Ames Research Center has developed C Global Surveyor (CGS), a static analysis tool based on abstract interpretation. It particularly concentrates on runtime errors that are hard to find during development such as out-of-bound array accesses, acesses to non-initialised variables, and de-references of null pointers. CGS proved to analyse large, pointer intensive and heavily multithreaded code (up to 280 KLoC) in a couple of hours with a constant precision of 80%. It is used to successfully analyse mission-critical flight software of NASA's Path-Finder (MPF) and Deep Space 1 (DS1) legacy as well as software of the Mars Exploration Rover (MER) mission (650 KLoC) and other JPL-based missions. However, the abstract interpretation techniques on which CGS is based, need to be augmented by complimentary program analysis techniques in order to enhance CGS and support the developer when analysing very large systems. As a first step, we included the construction of control flow graphs that represent the programs to be analysed. It is a first step towards the application of more advanced techniques such as program slicing." @default.
- W63571025 created "2016-06-24" @default.
- W63571025 creator A5074763371 @default.
- W63571025 date "2006-01-01" @default.
- W63571025 modified "2023-09-23" @default.
- W63571025 title "Extending C Global Surveyor" @default.
- W63571025 cites W2008860182 @default.
- W63571025 cites W2009288822 @default.
- W63571025 cites W2043100293 @default.
- W63571025 cites W2293624369 @default.
- W63571025 cites W303139982 @default.
- W63571025 cites W53653091 @default.
- W63571025 hasPublicationYear "2006" @default.
- W63571025 type Work @default.
- W63571025 sameAs 63571025 @default.
- W63571025 citedByCount "1" @default.
- W63571025 crossrefType "proceedings-article" @default.
- W63571025 hasAuthorship W63571025A5074763371 @default.
- W63571025 hasConcept C111919701 @default.
- W63571025 hasConcept C115903868 @default.
- W63571025 hasConcept C121684516 @default.
- W63571025 hasConcept C127413603 @default.
- W63571025 hasConcept C150202949 @default.
- W63571025 hasConcept C154945302 @default.
- W63571025 hasConcept C201995342 @default.
- W63571025 hasConcept C2776190703 @default.
- W63571025 hasConcept C2777904410 @default.
- W63571025 hasConcept C41008148 @default.
- W63571025 hasConceptScore W63571025C111919701 @default.
- W63571025 hasConceptScore W63571025C115903868 @default.
- W63571025 hasConceptScore W63571025C121684516 @default.
- W63571025 hasConceptScore W63571025C127413603 @default.
- W63571025 hasConceptScore W63571025C150202949 @default.
- W63571025 hasConceptScore W63571025C154945302 @default.
- W63571025 hasConceptScore W63571025C201995342 @default.
- W63571025 hasConceptScore W63571025C2776190703 @default.
- W63571025 hasConceptScore W63571025C2777904410 @default.
- W63571025 hasConceptScore W63571025C41008148 @default.
- W63571025 hasLocation W635710251 @default.
- W63571025 hasOpenAccess W63571025 @default.
- W63571025 hasPrimaryLocation W635710251 @default.
- W63571025 hasRelatedWork W106830563 @default.
- W63571025 hasRelatedWork W133260727 @default.
- W63571025 hasRelatedWork W1535300117 @default.
- W63571025 hasRelatedWork W1985809389 @default.
- W63571025 hasRelatedWork W2005835674 @default.
- W63571025 hasRelatedWork W2007121005 @default.
- W63571025 hasRelatedWork W2039661539 @default.
- W63571025 hasRelatedWork W2093568763 @default.
- W63571025 hasRelatedWork W2107967474 @default.
- W63571025 hasRelatedWork W2122858966 @default.
- W63571025 hasRelatedWork W2247790717 @default.
- W63571025 hasRelatedWork W2293286720 @default.
- W63571025 hasRelatedWork W2375131861 @default.
- W63571025 hasRelatedWork W2507911315 @default.
- W63571025 hasRelatedWork W2824473403 @default.
- W63571025 hasRelatedWork W33757942 @default.
- W63571025 hasRelatedWork W48604291 @default.
- W63571025 hasRelatedWork W70225202 @default.
- W63571025 hasRelatedWork W2182579967 @default.
- W63571025 hasRelatedWork W2929830939 @default.
- W63571025 isParatext "false" @default.
- W63571025 isRetracted "false" @default.
- W63571025 magId "63571025" @default.
- W63571025 workType "article" @default.