/*****************************************************************************/
/*                 Functional Safety Suite Example                           */
/*              Copyright © Thomas Brunnengräber 2014                        */
/*                                                                           */
/* Project: FTA_intro                                                        */
/* Version: 2014-05-30                                                       */
/*****************************************************************************/

The project "FTA_intro" demonstrates the basic capabilities of 
Functional Safety Suite.

The fault tree "subtree" demonstrates:
- the usage of common-cause-contributions
- the usage of suffixes of basic events
- gates of type 'AND' and 'OR' and 'inhibit'
- event models 'operational non repairable', 'operational repairable' and
  'standby repairable'

The fault tree "toptree" demonstrates:
- gates of type 'transfer-in' and 'inhibit'
- event models 'cyclic' and 'immediate'

The fault tree "identic" demonstrates:
- handling of identic events

The fault trees "circle_transfer1" and "circle_transfer2" demonstrate:
- detection of circle references
- a transfer-in gate can also refer to non-top gates
