On the Formal Verification of the TCAS Conflict Resolution Algorithms

Lygeros, John; Lynch, Nancy; Massachusetts Institute of Technology. Laboratory for Computer Science

Advanced Search

Select up to three search categories and corresponding keywords using the fields to the right. Refer to the Help section for more detailed instructions.

Search our Collections & Repository

Advanced Search
Custom Query

All these words:

For very narrow results

This exact word or phrase:

When looking for a specific result

Any of these words:

Best used for discovery & interchangable words

None of these words:

Recommended to be used in conjunction with other fields

Language:

Dates

Publication Date Range:

to

Document Data

Title:

Document Type:

Library

Collection:

Series:

People

Author:

Clear All

Query Builder

Query box

Clear All

For additional assistance using the Custom Query please check out our Help Page

i

On the Formal Verification of the TCAS Conflict Resolution Algorithms

1997-01-01
By Lygeros, John ; Lynch, Nancy

[PDF-154.64 KB]

English

Details You May Also Like

Details:

Creators:

Lygeros, John ; Lynch, Nancy

Lygeros, John ; Lynch, Nancy Less -
Corporate Creators:

Massachusetts Institute of Technology. Laboratory for Computer Science
Subject/TRT Terms:

[+]

Air Traffic Control Aviation Safety Conflict Detection Hybrid Systems Mathematical Models Resolution Advisories Safety Traffic Alert And Collision Avoidance System Validation
Resource Type:

Research Paper
Geographical Coverage:

United States
TRIS Online Accession Number:

00748699
Corporate Publisher:

University of California, Berkeley. Robotics and Intelligent Machines Laboratory. Air Traffic Management Systems Program
Abstract:

PostScript file. TCAS is an on-board protocol for detecting conflicts between aircraft and providing resolution advisories to the pilots. Because of its safety-critical role the TCAS software should ideally be "verified" before it can be deployed. The verifcation task is challenging, due to the complexity of the TCAS code and the hybrid nature of the system. We show how the essence of this very complicated problem can be captured by a relatively simple hybrid model, amenable to formal analysis. We then outline a methodology for establishing conditions under which the advisories issued by TCAS are safe.
Format:

PDF
Collection(s):

US Transportation Collection
Main Document Checksum:

[+]

urn:sha256:9263f003f204c9e2364ebdb95df4bb133f737f1e23e7e142438ecb40f143914a
Download URL:

https://rosap.ntl.bts.gov/view/dot/38144/dot_38144_DS1.pdf
File Type:

No Additional Files

More +

On the Formal Verification of the TCAS Conflict Resolution Algorithms

Details:

Supporting Files

You May Also Like