| TCAS
specification |
|
|
|
|
|
|
|
|
|
|
| • | Irvine
Safety Group (Leveson et al.) |
||||||||
| – | Specified
in RSML as a research project |
||||||||
| – | FAA
adopted RSML version as official |
||||||||
| • | Specification
is about 400 pages long |
||||||||
| • | This
study uses: Version 6.00, March 1993 |
||||||||
| – | Not
the current FAA version |
||||||||
