ledinot b172c3f8cd Add files via upload
The Air vehicle level Functional Hazard Analysis  (AFHA) identifies the Failure Conditions (FCs), their effects, and the severity classes of these effects. 
It is an input of many activities pertaining to the safety assessment process. In particular, it is requested for performing the Preliminary  Air vehicle level Safety Assessment (PASA).
The Failure Conditions are also requested when evaluating satisfiability of the Overarching Properties
2017-06-14 22:58:41 +02:00
2017-06-14 22:58:41 +02:00
2016-10-19 15:58:24 +02:00

RESSAC_Use_Case

A Collaborative Development Assurance Lab

Welcome to the RESSAC GitHub,

RESSAC is an open project devoted to experimenting new approaches to aeronautic system, software, and hardware development assurance. It originated from an FAA initiative named "Streamlining Development Assurance" (November 2015). It is hosted by IRT St Exupery (Toulouse FRANCE).

As of 01/10/2016 the specification of the use case is available in the UseCaseSpecification directory. The other folders are empty.

Description
No description provided
Readme 26 MiB
Languages
Rich Text Format 99.5%
Ada 0.4%
HTML 0.1%