1. 15 Nov, 2017 4 commits
  2. 14 Nov, 2017 2 commits
  3. 10 Nov, 2017 1 commit
  4. 02 Nov, 2017 1 commit
  5. 26 Oct, 2017 4 commits
  6. 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
  7. 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
  8. 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
  9. 20 Jul, 2017 1 commit
  10. 17 Jul, 2017 1 commit
  11. 13 Jul, 2017 2 commits
  12. 12 Jul, 2017 1 commit
  13. 06 Jul, 2017 1 commit
  14. 05 Jul, 2017 1 commit
  15. 04 Jul, 2017 2 commits
  16. 29 Jun, 2017 1 commit
  17. 28 Jun, 2017 4 commits
  18. 27 Jun, 2017 3 commits
  19. 26 Jun, 2017 1 commit
  20. 23 Jun, 2017 1 commit
  21. 22 Jun, 2017 3 commits
    • Claire Dross's avatar
      Layer2_MMS_SW_SPARK add behavior for F_FC · c14ca6e6
      Claire Dross authored
      c14ca6e6
    • Claire Dross's avatar
      dcc31960
    • ledinot's avatar
      Add files via upload · 673d65e8
      ledinot authored
      This document provides a selection of regulatory safety objectives from CS 25 Amendment 18 (2016), the European airworthiness regulation for large aéroplanes  (FAR 25 in the US).. 
      It is the entry point to carry out the safety case on muXAV using the Overarching Properties and their satisfiability criteria.
      The document also provides the Accepted Means of Compliance associated to the selected CS paragraphs. It is intended to provide material supporting assessment of the OPs and criteria as a candidate AMC against CS/FAR 25.1309. and AMC 25.1309.
      673d65e8
  22. 20 Jun, 2017 2 commits