- 08 Feb, 2018 2 commits
- 30 Jan, 2018 1 commit
-
-
fpothon authored
-
- 19 Jan, 2018 2 commits
-
-
HerveDelseny authored
File renamed in Case Study FPGA Development
-
MiguelDeAlmeida authored
-
- 11 Jan, 2018 9 commits
-
-
MiguelDeAlmeida authored
-
MiguelDeAlmeida authored
-
ThalesAV authored
-
ThalesAV authored
-
ThalesAV authored
-
AP Porte authored
-
ThalesAV authored
-
ThalesAV authored
-
ThalesAV authored
-
- 10 Jan, 2018 3 commits
-
-
fpothon authored
-
CyrilleComar authored
this is for external communication purposes.
-
CyrilleComar authored
move README to new organization
-
- 09 Jan, 2018 1 commit
-
-
AP Porte authored
-
- 08 Jan, 2018 8 commits
-
-
Emmanuel Ledinot authored
-
Emmanuel Ledinot authored
-
Emmanuel Ledinot authored
-
Emmanuel Ledinot authored
-
Anthony Leonardo Gracio authored
-
Anthony Leonardo Gracio authored
In particular define more precisely what are the SPARK global contracts and specify which errors can be found (and how) during the different phases of the project (software requirements development, etc.).
-
Anthony Leonardo Gracio authored
-
AP Porte authored
-
- 29 Dec, 2017 1 commit
-
-
fpothon authored
-
- 15 Dec, 2017 1 commit
-
-
fpothon authored
-
- 14 Dec, 2017 4 commits
-
-
AP Porte authored
advanced in group on - inputs/outputs of system processes, in the synthesis table; to move to the sections - information in the software development processes
-
MiguelDeAlmeida authored
-
HerveDelseny authored
Context part, scheme, and 1st activity have been reviewed and improved => next step consists in continuing description of the other activities in the same way.
-
AP Porte authored
move error classes and means from synthesis table defined in group on dec 13th into the sections; remains to define inputs/outputs
-
- 13 Dec, 2017 3 commits
-
-
AP Porte authored
added a synthesis table for system definition to cover all activities and the error classes they introduce, to clarify need to add in each chapter - inputs/outputs of each activity - details of each activity - complete the error classes of each activity from the synthesis table synthesis table to remove from document when activities descriptions are complete.
-
AP Porte authored
after exchange
-
fpothon authored
-
- 12 Dec, 2017 1 commit
-
-
fpothon authored
-
- 07 Dec, 2017 1 commit
-
-
SylvanDissoubray authored
An initial version of SysML SCADE Architect MMS Architecture DRAFT. This report will be merged into RESSAC_muXAV_SystemRQ_MMS_SW_Incr1.doc.
-
- 29 Nov, 2017 2 commits
-
-
HerveDelseny authored
-
HerveDelseny authored
-
- 16 Nov, 2017 1 commit
-
-
AP Porte authored
add a summary of last discussion of nov 16th meeting
-