Aerospace systems are becoming more dependent on software for safety critical functions such as conflict detection. The notion of intent is rarely ever addressed in software decision aiding and alerting tools such as conflict detection devices. Traditional modelling techniques for specifying and verifying safety properties of software systems rarely allow for a framework in which to specify intent. Since intent is a continuously changing quantity, a hybrid model of the aircraft conflict detection scheme is necessary in order to incorporate intent. An aircraft conflict detection scheme is used to illustrate the advantages of including intent information in the conflict detection model. A comparison of the hazard analyses based on two hybrid models, one including intent information, and the other without intent information illustrates that using intent information can reduce false alarms. However, the issue of determining aircraft conformance becomes the limiting factor in this scheme.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Using intent information to investigate the relationship between missed detections and false alarms in conflict detection verification


    Contributors:
    Neogi, N. (author)


    Publication date :

    2003-01-01


    Size :

    601108 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English