FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2536708091> ?p ?o ?g. }

• W2536708091 endingPage "112" @default.
• W2536708091 startingPage "85" @default.
• W2536708091 abstract "For safety-critical avionics, regulatory authorities (the Federal Aviation Administration [FAA], the Civil Aeronautics Authority [CAA] or the Department of Defense [DoD]) require software development standards, such as MIL-STD-2167 for military systems and RTCA DO-178B for civil aircraft. This chapter presents the experience in applying the methodology (i.e., discrete-state model checking of abstracted models) to an industrial size application: the National Aeronautics and Space Administration (NASA) Runway Safety Monitor (RSM) software. The Integrated Display System (IDS) design enables RSM to exploit existing data communications facilities, displays, global positioning system (GPS), ground surveillance system information, and data links. Since most air safety incidents occur on or near runways, the RSM plays a key role in accident avoidance. RSM is not intended to prevent incursions, but to detect them and alert the pilots. RSM monitors traffic in a zone surrounding the runway where the takeoff or landing can occur. Controlled Vocabulary Terms airports; avionics; global positioning system" @default.
• W2536708091 created "2016-10-28" @default.
• W2536708091 creator A5013165259 @default.
• W2536708091 creator A5014572316 @default.
• W2536708091 date "2012-11-29" @default.
• W2536708091 modified "2023-09-25" @default.
• W2536708091 title "Symbolic Model Checking for Avionics" @default.
• W2536708091 cites W1491214620 @default.
• W2536708091 cites W1492223772 @default.
• W2536708091 cites W1497571013 @default.
• W2536708091 cites W1502837501 @default.
• W2536708091 cites W1517793941 @default.
• W2536708091 cites W1521052220 @default.
• W2536708091 cites W1521615649 @default.
• W2536708091 cites W1525623009 @default.
• W2536708091 cites W1548465585 @default.
• W2536708091 cites W1569724714 @default.
• W2536708091 cites W1571497250 @default.
• W2536708091 cites W1590336223 @default.
• W2536708091 cites W1850048324 @default.
• W2536708091 cites W1881102326 @default.
• W2536708091 cites W1887335326 @default.
• W2536708091 cites W1980241472 @default.
• W2536708091 cites W1995151557 @default.
• W2536708091 cites W1996109622 @default.
• W2536708091 cites W2006228911 @default.
• W2536708091 cites W2043100293 @default.
• W2536708091 cites W2080267935 @default.
• W2536708091 cites W2080593426 @default.
• W2536708091 cites W2081553013 @default.
• W2536708091 cites W2089086379 @default.
• W2536708091 cites W2091769923 @default.
• W2536708091 cites W2107561541 @default.
• W2536708091 cites W2124834540 @default.
• W2536708091 cites W2135274583 @default.
• W2536708091 cites W2166011785 @default.
• W2536708091 cites W2911430074 @default.
• W2536708091 cites W4235527454 @default.
• W2536708091 cites W4241223029 @default.
• W2536708091 cites W4248733519 @default.
• W2536708091 cites W4300021588 @default.
• W2536708091 cites W59365162 @default.
• W2536708091 cites W2526106663 @default.
• W2536708091 doi "https://doi.org/10.1002/9781118459898.ch5" @default.
• W2536708091 hasPublicationYear "2012" @default.
• W2536708091 type Work @default.
• W2536708091 sameAs 2536708091 @default.
• W2536708091 citedByCount "1" @default.
• W2536708091 countsByYear W25367080912013 @default.
• W2536708091 crossrefType "book-chapter" @default.
• W2536708091 hasAuthorship W2536708091A5013165259 @default.
• W2536708091 hasAuthorship W2536708091A5014572316 @default.
• W2536708091 hasConcept C127413603 @default.
• W2536708091 hasConcept C146978453 @default.
• W2536708091 hasConcept C15792166 @default.
• W2536708091 hasConcept C166957645 @default.
• W2536708091 hasConcept C171146098 @default.
• W2536708091 hasConcept C178802073 @default.
• W2536708091 hasConcept C199360897 @default.
• W2536708091 hasConcept C201995342 @default.
• W2536708091 hasConcept C22212356 @default.
• W2536708091 hasConcept C2777717826 @default.
• W2536708091 hasConcept C2777904410 @default.
• W2536708091 hasConcept C41008148 @default.
• W2536708091 hasConcept C512918668 @default.
• W2536708091 hasConcept C60229501 @default.
• W2536708091 hasConcept C74448152 @default.
• W2536708091 hasConcept C76155785 @default.
• W2536708091 hasConcept C81155309 @default.
• W2536708091 hasConcept C95457728 @default.
• W2536708091 hasConceptScore W2536708091C127413603 @default.
• W2536708091 hasConceptScore W2536708091C146978453 @default.
• W2536708091 hasConceptScore W2536708091C15792166 @default.
• W2536708091 hasConceptScore W2536708091C166957645 @default.
• W2536708091 hasConceptScore W2536708091C171146098 @default.
• W2536708091 hasConceptScore W2536708091C178802073 @default.
• W2536708091 hasConceptScore W2536708091C199360897 @default.
• W2536708091 hasConceptScore W2536708091C201995342 @default.
• W2536708091 hasConceptScore W2536708091C22212356 @default.
• W2536708091 hasConceptScore W2536708091C2777717826 @default.
• W2536708091 hasConceptScore W2536708091C2777904410 @default.
• W2536708091 hasConceptScore W2536708091C41008148 @default.
• W2536708091 hasConceptScore W2536708091C512918668 @default.
• W2536708091 hasConceptScore W2536708091C60229501 @default.
• W2536708091 hasConceptScore W2536708091C74448152 @default.
• W2536708091 hasConceptScore W2536708091C76155785 @default.
• W2536708091 hasConceptScore W2536708091C81155309 @default.
• W2536708091 hasConceptScore W2536708091C95457728 @default.
• W2536708091 hasLocation W25367080911 @default.
• W2536708091 hasOpenAccess W2536708091 @default.
• W2536708091 hasPrimaryLocation W25367080911 @default.
• W2536708091 hasRelatedWork W1920318660 @default.
• W2536708091 hasRelatedWork W2015611621 @default.
• W2536708091 hasRelatedWork W2150583110 @default.
• W2536708091 hasRelatedWork W2536708091 @default.
• W2536708091 hasRelatedWork W3014210548 @default.
• W2536708091 hasRelatedWork W4212849336 @default.
• W2536708091 hasRelatedWork W4318212296 @default.

• next