TCAS specification
Irvine Safety Group (Leveson et al.)
- Specified in RSML as a research project
- RSML is in the Statecharts family of hierarchical state machine description languages
- 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