Our approach at UW—try it!

• Applied model checking to the specification of TCAS II

  • Traffic Alert and Collision Avoidance System
    • In use on U.S. commercial aircraft
    • http://www.faa.gov/and/and600/and620/newtcas.htm
  • FAA adopted specification
  • Initial design and development by Leveson et al.

• Joint with Anderson, Beame, Chan, Modugno, Reese

Previous slide

Next slide

Back to first slide

View graphic version