FRINK Linked Data Fragments server

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

• W2328367032 abstract "to increase the capacity of the national airspace, either the separation standard between aircraft must be decreased, or some form of free flight must be a llowed. Either method raises the issue of maintaining safety in an already overtaxed system. In order to mitigate the workload placed on pilots and controllers, software aids such as conflict detection tools can be employed. However, these tools must be verified to be safe, before they can be employed with any degree of reliability. Furthermore, air traffic control, and aircraft conflict detection is a dual natured problem: discrete logic is being used to command and control vehicles that have inherently continuous dynamics. Identifying hazardous states in such a system and ensuring that these states are not reachable is an ongoing problem in any large system safety analysis. An exhaustive search of most complex process-control systems will encounter th e problem of state explosion; in the case of aircraft conflict detection, the state space is infinite. However, in this paper, we outline a more tractable approach to verification: the state explosion problem is minimized by requiring a search of only par t of the state space, as the hazard is not necessarily traced back to the initial state, only to a critical state from which an escape path to safe behavior exists. This path is then given priority in the control flow of the system by means of redesign. This method is demonstrated on a Medium Term Conflict Detection tool, and an actual hazard is identified and eliminated." @default.
• W2328367032 created "2016-06-24" @default.
• W2328367032 creator A5003284508 @default.
• W2328367032 creator A5084051792 @default.
• W2328367032 date "2003-06-22" @default.
• W2328367032 modified "2023-09-26" @default.
• W2328367032 title "Eliminating Hazards from a Medium Term Conflict Detection Tool" @default.
• W2328367032 cites W120333500 @default.
• W2328367032 cites W1498285565 @default.
• W2328367032 cites W1499853177 @default.
• W2328367032 cites W1504317179 @default.
• W2328367032 cites W1534067655 @default.
• W2328367032 cites W1540223539 @default.
• W2328367032 cites W1551406732 @default.
• W2328367032 cites W1728798265 @default.
• W2328367032 cites W2099687889 @default.
• W2328367032 cites W2117218135 @default.
• W2328367032 cites W2117834984 @default.
• W2328367032 cites W2165489953 @default.
• W2328367032 cites W3023191323 @default.
• W2328367032 doi "https://doi.org/10.2514/6.2003-5342" @default.
• W2328367032 hasPublicationYear "2003" @default.
• W2328367032 type Work @default.
• W2328367032 sameAs 2328367032 @default.
• W2328367032 citedByCount "3" @default.
• W2328367032 countsByYear W23283670322019 @default.
• W2328367032 crossrefType "proceedings-article" @default.
• W2328367032 hasAuthorship W2328367032A5003284508 @default.
• W2328367032 hasAuthorship W2328367032A5084051792 @default.
• W2328367032 hasConcept C105795698 @default.
• W2328367032 hasConcept C111919701 @default.
• W2328367032 hasConcept C112930515 @default.
• W2328367032 hasConcept C11413529 @default.
• W2328367032 hasConcept C121332964 @default.
• W2328367032 hasConcept C127413603 @default.
• W2328367032 hasConcept C132835097 @default.
• W2328367032 hasConcept C146978453 @default.
• W2328367032 hasConcept C154945302 @default.
• W2328367032 hasConcept C163258240 @default.
• W2328367032 hasConcept C166961238 @default.
• W2328367032 hasConcept C178790620 @default.
• W2328367032 hasConcept C185592680 @default.
• W2328367032 hasConcept C199360897 @default.
• W2328367032 hasConcept C200601418 @default.
• W2328367032 hasConcept C2775924081 @default.
• W2328367032 hasConcept C2777735758 @default.
• W2328367032 hasConcept C2778476105 @default.
• W2328367032 hasConcept C33923547 @default.
• W2328367032 hasConcept C41008148 @default.
• W2328367032 hasConcept C42475967 @default.
• W2328367032 hasConcept C43214815 @default.
• W2328367032 hasConcept C48103436 @default.
• W2328367032 hasConcept C49261128 @default.
• W2328367032 hasConcept C61797465 @default.
• W2328367032 hasConcept C62520636 @default.
• W2328367032 hasConcept C71924100 @default.
• W2328367032 hasConcept C72434380 @default.
• W2328367032 hasConceptScore W2328367032C105795698 @default.
• W2328367032 hasConceptScore W2328367032C111919701 @default.
• W2328367032 hasConceptScore W2328367032C112930515 @default.
• W2328367032 hasConceptScore W2328367032C11413529 @default.
• W2328367032 hasConceptScore W2328367032C121332964 @default.
• W2328367032 hasConceptScore W2328367032C127413603 @default.
• W2328367032 hasConceptScore W2328367032C132835097 @default.
• W2328367032 hasConceptScore W2328367032C146978453 @default.
• W2328367032 hasConceptScore W2328367032C154945302 @default.
• W2328367032 hasConceptScore W2328367032C163258240 @default.
• W2328367032 hasConceptScore W2328367032C166961238 @default.
• W2328367032 hasConceptScore W2328367032C178790620 @default.
• W2328367032 hasConceptScore W2328367032C185592680 @default.
• W2328367032 hasConceptScore W2328367032C199360897 @default.
• W2328367032 hasConceptScore W2328367032C200601418 @default.
• W2328367032 hasConceptScore W2328367032C2775924081 @default.
• W2328367032 hasConceptScore W2328367032C2777735758 @default.
• W2328367032 hasConceptScore W2328367032C2778476105 @default.
• W2328367032 hasConceptScore W2328367032C33923547 @default.
• W2328367032 hasConceptScore W2328367032C41008148 @default.
• W2328367032 hasConceptScore W2328367032C42475967 @default.
• W2328367032 hasConceptScore W2328367032C43214815 @default.
• W2328367032 hasConceptScore W2328367032C48103436 @default.
• W2328367032 hasConceptScore W2328367032C49261128 @default.
• W2328367032 hasConceptScore W2328367032C61797465 @default.
• W2328367032 hasConceptScore W2328367032C62520636 @default.
• W2328367032 hasConceptScore W2328367032C71924100 @default.
• W2328367032 hasConceptScore W2328367032C72434380 @default.
• W2328367032 hasLocation W23283670321 @default.
• W2328367032 hasOpenAccess W2328367032 @default.
• W2328367032 hasPrimaryLocation W23283670321 @default.
• W2328367032 hasRelatedWork W1992039009 @default.
• W2328367032 hasRelatedWork W2087805732 @default.
• W2328367032 hasRelatedWork W2249280737 @default.
• W2328367032 hasRelatedWork W2372022541 @default.
• W2328367032 hasRelatedWork W2479822494 @default.
• W2328367032 hasRelatedWork W3003895838 @default.
• W2328367032 hasRelatedWork W3032267446 @default.
• W2328367032 hasRelatedWork W3113470404 @default.
• W2328367032 hasRelatedWork W3125528210 @default.
• W2328367032 hasRelatedWork W3125950210 @default.
• W2328367032 isParatext "false" @default.
• W2328367032 isRetracted "false" @default.

• next