- 08 Jan, 2018 1 commit
-
-
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 6 commits
-
-
AP Porte authored
add a summary of last discussion of nov 16th meeting
-
AP Porte authored
-
HerveDelseny authored
-
HerveDelseny authored
-
AP Porte authored
-
HerveDelseny authored
-
- 15 Nov, 2017 5 commits
- 14 Nov, 2017 2 commits
- 10 Nov, 2017 1 commit
-
-
SylvanDissoubray authored
Working session APP/SD
-
- 02 Nov, 2017 1 commit
-
-
Anthony Leonardo Gracio authored
-
- 26 Oct, 2017 4 commits
-
-
fpothon authored
-
fpothon authored
-
CyrilleComar authored
big reorganization agreed during 2017-10-26
-
AP Porte authored
-
- 17 Oct, 2017 1 commit
-
-
AP Porte authored
SCADE Model for function F_MM - completed for viability checks before take off not completed for flight aspects
-
- 02 Oct, 2017 2 commits
-
-
Yannick Moy authored
Root type System.Dim.Mks is of type Long_Long_Float which is not supported in SPARK, on systems where this is a larger type than the IEEE-754 64bits floats. Redefine a local version of Mks package to use Long_Float as a root type instead.
-
Yannick Moy authored
Some units in types.ads are defined as floating-point types and others as signed integer types. Start using the dimension system in GNAT on floating-point units. Next step is to see if there is a benefit in using floating-point types instead of signed integer types for the input and output types, so that we can use the standard dimension system. Otherwise, we could use a signed integer type with the Dimension_System aspect as the root type for all these signed integer types.
-
- 25 Jul, 2017 1 commit
-
-
Emmanuel Ledinot authored
Description of the architecture at multi-system level (layer 0). Description of the incremental approach to architecture development. Fail-safe design rationale, considerations on fault tolerance and development assurance.
-
- 20 Jul, 2017 1 commit
-
-
Anthony Leonardo Gracio authored
-
- 17 Jul, 2017 1 commit
-
-
Claire Dross authored
-
- 13 Jul, 2017 1 commit
-
-
Claire Dross authored
-