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.

• Later applied it to a statecharts description of an electrical power distribution system model of the B777

  • I can provide examples and papers

Previous slide

Next slide

Back to first slide

View graphic version