1. 16 Nov, 2017 3 commits
  2. 15 Nov, 2017 5 commits
  3. 14 Nov, 2017 2 commits
  4. 10 Nov, 2017 1 commit
  5. 02 Nov, 2017 1 commit
  6. 26 Oct, 2017 4 commits
  7. 17 Oct, 2017 1 commit
    • AP Porte's avatar
      Add files via upload · e96ebf48
      AP Porte authored
      SCADE Model for function F_MM
       - completed for viability checks before take off
      not completed for flight aspects
      e96ebf48
  8. 02 Oct, 2017 2 commits
    • Yannick Moy's avatar
      Layer2_MMS_SW_SPARK: fix use of standard dimensioned types · c611f718
      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.
      c611f718
    • Yannick Moy's avatar
      Layer_2_MMS_SW_SPARK: use dimension system for floating-point units · 3df4ef5c
      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.
      3df4ef5c
  9. 25 Jul, 2017 1 commit
    • Emmanuel Ledinot's avatar
      Add files via upload · 522b3b22
      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.
      522b3b22
  10. 20 Jul, 2017 1 commit
  11. 17 Jul, 2017 1 commit
  12. 13 Jul, 2017 2 commits
  13. 12 Jul, 2017 1 commit
  14. 06 Jul, 2017 1 commit
  15. 05 Jul, 2017 1 commit
  16. 04 Jul, 2017 2 commits
  17. 29 Jun, 2017 1 commit
  18. 28 Jun, 2017 4 commits
  19. 27 Jun, 2017 3 commits
  20. 26 Jun, 2017 1 commit
  21. 23 Jun, 2017 1 commit
  22. 22 Jun, 2017 1 commit