fpothon
57747a4300
Add files via upload
2017-12-13 11:39:41 +01:00
fpothon
def6bfa151
Add files via upload
2017-12-12 17:25:49 +01:00
SylvanDissoubray
066088761f
Add files via upload
...
An initial version of SysML SCADE Architect MMS Architecture DRAFT. This report will be merged into RESSAC_muXAV_SystemRQ_MMS_SW_Incr1.doc.
2017-12-07 17:14:24 +01:00
HerveDelseny
109b6e1f0a
Add files via upload
2017-11-29 10:27:48 +01:00
HerveDelseny
28533433f9
Add files via upload
2017-11-29 10:25:05 +01:00
AP Porte
ff1290968d
Add files via upload
...
add a summary of last discussion of nov 16th meeting
2017-11-16 18:05:05 +01:00
AP Porte
307a9f7634
process diagram changed
2017-11-16 15:48:23 +01:00
HerveDelseny
80dcc15d1e
Add files via upload
2017-11-16 14:25:47 +01:00
HerveDelseny
0c9150d646
Delete Case Study HW COTS AEH -16 Nov 2017.doc
2017-11-16 14:23:17 +01:00
AP Porte
25cbda2e6c
added SW integration process - to complete
2017-11-16 14:22:42 +01:00
HerveDelseny
552441ae70
Add files via upload
2017-11-16 14:21:52 +01:00
AP Porte
54f4ed0f91
results of N.C & E.L work + review in group
2017-11-15 17:57:32 +01:00
AP Porte
c8807a15c1
to rename it consistently
2017-11-15 17:56:26 +01:00
AP Porte
8b832596f5
result of work by NC & EL + review in group
2017-11-15 17:55:17 +01:00
AP Porte
892a2e5da3
update on 2017/11/15 afternoon
...
added software processes
2017-11-15 16:52:26 +01:00
AP Porte
a8849a15a3
Result of workshop 2017/11/15 morning
...
add schema
behavioral model
simulations
error classes
2017-11-15 12:47:49 +01:00
fpothon
5bc4b40806
Updated on 2017 November 14, day 1 Resac meeting
2017-11-14 17:52:44 +01:00
pfarail
998b9a7177
Adding template for use case form
2017-11-14 17:44:00 +01:00
SylvanDissoubray
70883242d4
Add files via upload
...
Working session APP/SD
2017-11-10 10:57:30 +01:00
Anthony Leonardo Gracio
ae93e67d86
Beginning of development of F_MM
2017-11-02 17:11:24 +01:00
fpothon
429e842937
Add files via upload
2017-10-26 15:44:53 +02:00
fpothon
7fc5b921f4
Add files via upload
2017-10-26 15:44:13 +02:00
CyrilleComar
b914e6c263
reorg
...
big reorganization agreed during 2017-10-26
2017-10-26 15:28:50 +02:00
AP Porte
c55d46c6a8
Update README.md
2017-10-26 15:26:12 +02:00
AP Porte
e96ebf48a8
Add files via upload
...
SCADE Model for function F_MM
- completed for viability checks before take off
not completed for flight aspects
2017-10-17 17:10:28 +02:00
Yannick Moy
c611f718a1
Layer2_MMS_SW_SPARK: fix use of standard dimensioned types
...
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.
2017-10-02 15:12:53 +02:00
Yannick Moy
3df4ef5cdd
Layer_2_MMS_SW_SPARK: use dimension system for floating-point units
...
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.
2017-10-02 14:44:25 +02:00
Emmanuel Ledinot
522b3b22d7
Add files via upload
...
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.
2017-07-25 09:26:06 +02:00
Anthony Leonardo Gracio
1081a075d5
Update DESIGN.txt for F_CM
2017-07-20 10:14:30 +02:00
Claire Dross
d3c468eca7
Layer2_MMS_SW_SPARK: update F_FC after answers on #28
2017-07-17 12:54:17 +02:00
Claire Dross
512eb5bc57
Layer2_MMS_SW_SPARK: Add missing parts of F_FC functional behavior
2017-07-13 17:37:03 +02:00
Claire Dross
1495ed8203
Layer2_MMS_SW_SPARK: update after answers on #28
2017-07-13 14:20:08 +02:00
Claire Dross
916d6c8fc3
Layer2_MMS_SW_SPARK: update F_FC behavior
2017-07-12 10:45:26 +02:00
Claire Dross
0c53c4fdd4
Layer2_MMS_SW_SPARK: Reorganize F_FC behavior
2017-07-06 14:06:35 +02:00
Claire Dross
d821e7d5b6
Layer2_MMS_SW_SPARK: Split functional behavior of F_MM in distinct parts
2017-07-05 17:00:02 +02:00
Claire Dross
0b6802ab36
Layer2_MMS_SW_SPARK: fix contracts after answers on #26
2017-07-04 18:06:20 +02:00
Anthony Leonardo Gracio
9054879160
Layer2_MMS_SW_SPARK update DESIGN.txt for F_CM
2017-07-04 11:49:30 +02:00
Claire Dross
67c4118480
Layer2_MMS_SW_SPARK: continue the specification of F_MM
2017-06-29 18:02:20 +02:00
Anthony Leonardo Gracio
813e5522d8
Layer2_MMS_SW_SPARK behavioural specification of F_EL
2017-06-28 17:09:29 +02:00
Anthony Leonardo Gracio
67991b4c1e
Layer2_MMS_SW_SPARK behavioural specification of F_EM
2017-06-28 17:09:29 +02:00
Claire Dross
e82c73fadd
Layer2_MMS_SW_SPARK: take into account answers for #22
2017-06-28 15:51:57 +02:00
Anthony Leonardo Gracio
a069f7a017
Merge pull request #21 from JoseRuizAdaCore/patch-1
...
Fix typos
2017-06-28 15:08:31 +02:00
Claire Dross
55df3d8cf9
Layer2_MMS_SW_SPARK behavioural specification of F_FC
2017-06-27 18:02:55 +02:00
JoseRuizAdaCore
2db3a72f11
Fix typos
2017-06-27 12:47:27 +02:00
JoseRuizAdaCore
0ce8629fab
Fix typos
2017-06-27 12:38:06 +02:00
Claire Dross
bbcca90ab7
Layer2_MMS_SW_SPARK add external volatile state for captors
2017-06-26 18:02:23 +02:00
Claire Dross
2d57e931a7
Layer2_MMS_SW_SPARK: types for physical parameters
2017-06-23 17:12:31 +02:00
Claire Dross
c14ca6e613
Layer2_MMS_SW_SPARK add behavior for F_FC
2017-06-22 18:02:45 +02:00
Claire Dross
dcc3196083
Layer2_MMS_SW_SPARK update parameter data items
2017-06-22 18:01:41 +02:00
ledinot
673d65e88d
Add files via upload
...
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.
2017-06-22 09:09:33 +02:00
