- 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 2 commits
-
-
Claire Dross authored
-
Claire Dross authored
-
- 12 Jul, 2017 1 commit
-
-
Claire Dross authored
-
- 06 Jul, 2017 1 commit
-
-
Claire Dross authored
-
- 05 Jul, 2017 1 commit
-
-
Claire Dross authored
-
- 04 Jul, 2017 2 commits
-
-
Claire Dross authored
-
Anthony Leonardo Gracio authored
-
- 29 Jun, 2017 1 commit
-
-
Claire Dross authored
-
- 28 Jun, 2017 3 commits
-
-
Anthony Leonardo Gracio authored
-
Anthony Leonardo Gracio authored
-
Claire Dross authored
-