RESSAC/RESSAC_Use_Case
1
0
Fork 0
mirror of http://172.16.200.102/RESSAC/RESSAC_Use_Case.git synced 2025-11-30 21:27:58 +01:00
Code Issues Projects Releases Wiki Activity
78 Commits 2 Branches 0 Tags
552441ae70b3d21bde3d775e90c114d67c90b6ae
Commit Graph

78 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Anthony Leonardo Gracio
65a77f9967 List the entities in Ada specification files 2017-06-13 12:44:23 +02:00
ledinot
74aa074811 Add files via upload 2017-05-15 08:53:03 +02:00
ledinot
50ddf011ad Add files via upload 2017-05-15 08:51:55 +02:00
ledinot
0d433e4c71 Add files via upload 2017-05-15 08:50:06 +02:00
CyrilleComar
6a70babfec add READMEs in new directories 2017-04-25 16:23:42 +02:00
CyrilleComar
d54ff2a3a9 organization changes 
create directories for each layer of the development assurance process
 2017-04-25 16:02:05 +02:00
fpothon
5a9dc2bdaa Add files via upload 2017-03-18 22:06:49 +01:00
fpothon
431283b8ad Add files via upload 2017-01-10 17:39:28 +01:00
fpothon
5a6650bf81 Process Definition Draft 2 
Updated based on meeting discussion,  Anne-Perrine and Alexandre comments
 2016-12-16 11:54:17 +01:00
fpothon
0c26279c88 Delete RESSAC_Process_Definition_Document draft 0.docx 2016-11-14 15:20:25 +01:00
fpothon
63164b49fc Add files via upload 2016-11-14 15:19:36 +01:00
anneperrineporte
3777e9020c Revert "1st attempts of modelization" 
This reverts commit 13d59d126d.
 2016-11-08 12:04:45 +01:00
anneperrineporte
1bf80ed536 Revert "Revert "1st attempts of modelization"" 
This reverts commit 7e0b548698.
 2016-11-08 12:04:37 +01:00
anneperrineporte
01028de251 Merge branch 'master' of https://github.com/AdaCore/RESSAC_Use_Case 2016-11-08 11:31:54 +01:00
fpothon
3c0e003fc6 Add files via upload 2016-11-07 18:07:47 +01:00
fpothon
fef6de0682 Add files via upload 
First draft of the specification at AV level (step 1)
 2016-11-03 14:39:58 +01:00
anneperrineporte
aaf3c3ffd0 Reviews on specification 
- 1st sheet : remarks
- 2nd sheet :  interfaces issues
 2016-10-19 17:07:59 +02:00
ledinot
d5554a58f8 Update README.md 2016-10-19 15:58:24 +02:00
ledinot
29dc350212 Update README.md 2016-10-19 15:53:25 +02:00
DuncBrown
dcb34886d2 Fixed some typos (With tracked changes) 2016-10-19 15:40:59 +02:00
anneperrineporte
49a2a0927a remarks on specification 
document with remarks on specification documents
- 1 sheet on document "OP oriented"
- 1 continuing remarks on last version
- 1 sheet with analysis of interfaces : inconcistencies and missing
elements
 2016-10-19 15:22:18 +02:00
anneperrineporte
7e0b548698 Revert "1st attempts of modelization" 
This reverts commit b5bcb8fa80ac69a350455f930cf5f57397829812.
 2016-10-19 15:20:21 +02:00
anneperrineporte
13d59d126d 1st attempts of modelization 
system modelization  with verification of interfaces
 2016-10-19 15:20:20 +02:00
DuncBrown
1339fe1938 RR Logo Change 2016-10-19 15:08:24 +02:00
CyrilleComar
a63dbbf307 fix a few typos 
in particular "e.g " into e.g. " and "i.e " into "i.e. "
 2016-09-22 13:04:48 +02:00
Olivier Ramonat
38f2d8402c First basic layout and initial documents 2016-09-21 14:28:56 +02:00
Olivier Ramonat
1409a3e19a Initial commit 2016-09-21 13:01:51 +02:00