RESSAC_Use_Case

mirror of http://172.16.200.102/RESSAC/RESSAC_Use_Case.git synced 2025-11-30 22:57:58 +01:00

Files

Anthony Leonardo Gracio a069f7a017 Merge pull request #21 from JoseRuizAdaCore/patch-1

Fix typos

2017-06-28 15:08:31 +02:00

DESIGN.txt

Fix typos

2017-06-27 12:47:27 +02:00

external.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_el-data.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_el-input.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_el-output.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_el.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-data.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_cm-input.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_cm-output.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_cm.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_em-data.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_em-input.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_em-output.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_em.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_fc-behavior-guarantees.adb

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_fc-behavior-guarantees.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_fc-behavior.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_fc-data.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_fc-input.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_fc-output.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_fc.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_mm-behavior-guarantees.adb

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_mm-behavior-guarantees.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_mm-behavior.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_mm-data.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-f_mm-input.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_mm-output.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_mm-state.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-f_mm.ads

Layer2_MMS_SW_SPARK behavioural specification of F_FC

2017-06-27 18:02:55 +02:00

mms-f_pt-input.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt-output.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-f_pt.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-input.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms-output.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

mms.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

README.md

add READMEs in new directories

2017-04-25 16:23:42 +02:00

types.ads

Layer2_MMS_SW_SPARK add external volatile state for captors

2017-06-26 18:02:23 +02:00

README.md

This folder contains the SPARK version of the software layer development & assurance artefacts for the Mission Management subsystem