By Topic

A comparison of discrete and hybrid models of an aircraft conflict detection algorithm

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
N. Neogi ; Dept. of Aeronauacs & Astronaut., UIUC, Urbana, IL, USA ; K. Marais

Aerospace systems are becoming more dependent on software for functions such as command and control. Software introduces many new interactions with other system components that are difficult to predict in their entirety. Traditional discrete modeling techniques for verifying safety properties of software systems do not always detect all undesirable behavior in hybrid systems. Modeling languages that are both continuous and discrete are better at encapsulating previously undetected interactions. An aircraft conflict detection scheme is used to illustrate the advantages of including continuous components in the system model. The system is first modeled in SpecTRM-RL, a discrete modeling language. Next, the example is modeled in an extended version of the SpecTRM-RL that allows discrete and continuous modeling. A comparison of the hazard analyses based on the two models shows that modeling both discrete and continuous behavior of the system aids in conflict detection by reducing the false alarm rate.

Published in:

Digital Avionics Systems Conference, 2002. Proceedings. The 21st  (Volume:1 )

Date of Conference: