ada/RESSAC_Use_Case
0
0
Fork 0
mirror of https://github.com/AdaCore/RESSAC_Use_Case.git synced 2026-02-12 12:42:59 -08:00
Code Issues Packages Projects Releases Wiki Activity
159 Commits 2 Branches 0 Tags
master
Commit Graph

159 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
ThalesAV
8d157a60bd Delete A Structured Assurance Case for COTS AEH-3.pdf 2018-07-17 13:41:57 +02:00
ThalesAV
ff0d760904 Delete A Structured Assurance Case for COTS AEH-2.pdf 2018-07-17 13:41:41 +02:00
Emmanuel Ledinot
bdabadb32e Add files via upload 
First release of a Simulink model (WATERS Challenge workshop, Barcelona July 3rd, 2018).
 2018-07-02 08:53:37 +02:00
ThalesAV
179b439c47 Add files via upload 2018-05-28 10:45:53 +02:00
ThalesAV
0bbaf9363e Add files via upload 2018-04-25 10:17:34 +02:00
ThalesAV
aa5687b360 Delete A Structured Assurance Case for COTS AEH-1.pdf 2018-04-25 10:15:17 +02:00
ThalesAV
dac0af6dfc Add files via upload 2018-04-24 18:07:58 +02:00
pfarail
ef27268d42 New form 
application of IRT form and Open source license
 2018-04-17 09:20:41 +02:00
pfarail
c5955b8af6 New form 
application of IRT form and Open source license
 2018-04-17 09:20:22 +02:00
pfarail
023cb41694 New form 
application of IRT form and Open source license
 2018-04-17 09:20:08 +02:00
pfarail
7e34d5d3b5 New form 
application of IRT form and Open source license
 2018-04-17 09:19:48 +02:00
pfarail
9f76569bbe New form 
application of IRT form and Open source license
 2018-04-17 09:19:31 +02:00
pfarail
fa291140c1 New IRT form 
application of IRT form and Open source license
 2018-04-17 09:19:11 +02:00
pfarail
f1d7b6bcba relocation old version 
Relocated to OLD folder
 2018-04-17 09:18:15 +02:00
pfarail
548bc4a139 Relocation old version 
Relocated to OLD folder
 2018-04-17 09:17:58 +02:00
pfarail
cc471e70ff Relocation old version 
Relocated to OLD folder
 2018-04-17 09:17:45 +02:00
pfarail
b224a08f58 Relocated old version 
relocated to OLD folder
 2018-04-17 09:17:20 +02:00
pfarail
6326eeda35 Reloation of old version 
Relocated to OLD folder
 2018-04-17 09:16:41 +02:00
pfarail
a3e4958c58 Relocation old version 
Relocated to Old folder
 2018-04-17 09:16:19 +02:00
pfarail
4273d702ab Creation of the folder 
Folder which receives old versions of document
 2018-04-17 09:15:17 +02:00
Emmanuel Ledinot
f8cbba348d Add files via upload 
Enhancement of scenario definition (quantification of parameters, timelines etc.)
Safety zones on some parameters.
Comprehensive list of the failure modes.
 2018-04-03 23:01:12 +02:00
Emmanuel Ledinot
d8516e1d29 Delete RESSAC_muXAV_OperationalSpecificationAndScenarios.docx 
Upgrade of the specification and renaming of the file
 2018-04-03 20:56:38 +00:00
pfarail
a18421bf0d Delete Case study Multisystem Integration.doc 
Error in the name of the document for the new version
 2018-03-29 11:32:50 +00:00
Emmanuel Ledinot
d4c9311445 Add files via upload 
A process pattern to address tiers of decomposition.
Illustrated on muXAV, when the multi-system specification is decomposed into system specifications.
Focus on  functional safety assurance.
 2018-03-03 16:03:57 +01:00
ThalesAV
a4026cc89c Add files via upload 2018-02-26 13:57:05 +01:00