ledinot 673d65e88d Add files via upload
This document provides a selection of regulatory safety objectives from CS 25 Amendment 18 (2016), the European airworthiness regulation for large aéroplanes  (FAR 25 in the US).. 
It is the entry point to carry out the safety case on muXAV using the Overarching Properties and their satisfiability criteria.
The document also provides the Accepted Means of Compliance associated to the selected CS paragraphs. It is intended to provide material supporting assessment of the OPs and criteria as a candidate AMC against CS/FAR 25.1309. and AMC 25.1309.
2017-06-22 09:09:33 +02:00
2017-06-22 09:09:33 +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%