1. 13 Dec, 2017 3 commits
    • AP Porte's avatar
      dec 13th meeting · cf06e94c
      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.
      cf06e94c
    • AP Porte's avatar
      december meeting 13/12 · 027f0355
      AP Porte authored
      after exchange
      027f0355
    • fpothon's avatar
      Add files via upload · 57747a43
      fpothon authored
      57747a43
  2. 12 Dec, 2017 1 commit
  3. 07 Dec, 2017 1 commit
    • SylvanDissoubray's avatar
      Add files via upload · 06608876
      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.
      06608876
  4. 29 Nov, 2017 2 commits
  5. 16 Nov, 2017 6 commits
  6. 15 Nov, 2017 5 commits
  7. 14 Nov, 2017 2 commits
  8. 10 Nov, 2017 1 commit
  9. 02 Nov, 2017 1 commit
  10. 26 Oct, 2017 4 commits
  11. 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
  12. 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
  13. 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
  14. 20 Jul, 2017 1 commit
  15. 17 Jul, 2017 1 commit
  16. 13 Jul, 2017 2 commits
  17. 12 Jul, 2017 1 commit
  18. 06 Jul, 2017 1 commit
  19. 05 Jul, 2017 1 commit
  20. 04 Jul, 2017 2 commits
  21. 29 Jun, 2017 1 commit