Tree: 522b3b22d7

CaseStudiesProcessDefinition

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '522b3b22d7'

${ noResults }

Commit Graph

61 Commits (522b3b22d7a0b3d1e8ac7327e2b9647caa677e54)

 

All Branches   

Search

Author	SHA1	Message	Date
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.	8 years ago
Anthony Leonardo Gracio	1081a075d5	Update DESIGN.txt for F_CM	8 years ago
Claire Dross	d3c468eca7	Layer2_MMS_SW_SPARK: update F_FC after answers on #28	8 years ago
Claire Dross	512eb5bc57	Layer2_MMS_SW_SPARK: Add missing parts of F_FC functional behavior	8 years ago
Claire Dross	1495ed8203	Layer2_MMS_SW_SPARK: update after answers on #28	8 years ago
Claire Dross	916d6c8fc3	Layer2_MMS_SW_SPARK: update F_FC behavior	8 years ago
Claire Dross	0c53c4fdd4	Layer2_MMS_SW_SPARK: Reorganize F_FC behavior	8 years ago
Claire Dross	d821e7d5b6	Layer2_MMS_SW_SPARK: Split functional behavior of F_MM in distinct parts	8 years ago
Claire Dross	0b6802ab36	Layer2_MMS_SW_SPARK: fix contracts after answers on #26	8 years ago
Anthony Leonardo Gracio	9054879160	Layer2_MMS_SW_SPARK update DESIGN.txt for F_CM	8 years ago
Claire Dross	67c4118480	Layer2_MMS_SW_SPARK: continue the specification of F_MM	8 years ago
Anthony Leonardo Gracio	813e5522d8	Layer2_MMS_SW_SPARK behavioural specification of F_EL	8 years ago
Anthony Leonardo Gracio	67991b4c1e	Layer2_MMS_SW_SPARK behavioural specification of F_EM	8 years ago
Claire Dross	e82c73fadd	Layer2_MMS_SW_SPARK: take into account answers for #22	8 years ago
Anthony Leonardo Gracio	a069f7a017	Merge pull request #21 from JoseRuizAdaCore/patch-1 ... Fix typos	8 years ago
Claire Dross	55df3d8cf9	Layer2_MMS_SW_SPARK behavioural specification of F_FC	8 years ago
JoseRuizAdaCore	2db3a72f11	Fix typos	8 years ago
JoseRuizAdaCore	0ce8629fab	Fix typos	8 years ago
Claire Dross	bbcca90ab7	Layer2_MMS_SW_SPARK add external volatile state for captors	8 years ago
Claire Dross	2d57e931a7	Layer2_MMS_SW_SPARK: types for physical parameters	8 years ago
Claire Dross	c14ca6e613	Layer2_MMS_SW_SPARK add behavior for F_FC	8 years ago
Claire Dross	dcc3196083	Layer2_MMS_SW_SPARK update parameter data items	8 years ago
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.	8 years ago
Claire Dross	49c9ca4085	Layer2_MMS_SW_SPARK minor update f_fc.data types	8 years ago
Claire Dross	1dbbffd9a1	Layer2_MMS_SW_SPARK add parameter items for F_MM	8 years ago
Claire Dross	fffbf2ce3c	SPARK layer2: describe activity of input/output analysis	8 years ago
Claire Dross	8070372543	Identify entities and supply a SPARK specification for F_MM	9 years ago
Anthony Leonardo Gracio	8cb01c5cfa	Identify constants used by MMS.F_EL	9 years ago
Anthony Leonardo Gracio	c5af403294	Reformat comments	9 years ago
Anthony Leonardo Gracio	3b349cfd8b	Identify constants used by MMS.F_PT.F_EM	9 years ago
Anthony Leonardo Gracio	a4d0ff0ce9	Identifty the constants used by MMS.F_PT.F_FC	9 years ago
Anthony Leonardo Gracio	6035ffd164	Take into account Rotactors and use the same type for energy sources	9 years ago
fpothon	ed2db6882c	Process_Definition_Document.draft4-5 ... Updated after June workshop	9 years ago
ledinot	b172c3f8cd	Add files via upload ... The Air vehicle level Functional Hazard Analysis (AFHA) identifies the Failure Conditions (FCs), their effects, and the severity classes of these effects. It is an input of many activities pertaining to the safety assessment process. In particular, it is requested for performing the Preliminary Air vehicle level Safety Assessment (PASA). The Failure Conditions are also requested when evaluating satisfiability of the Overarching Properties	9 years ago
Anthony Leonardo Gracio	65a77f9967	List the entities in Ada specification files	9 years ago
ledinot	74aa074811	Add files via upload	9 years ago
ledinot	50ddf011ad	Add files via upload	9 years ago
ledinot	0d433e4c71	Add files via upload	9 years ago
CyrilleComar	6a70babfec	add READMEs in new directories	9 years ago
CyrilleComar	d54ff2a3a9	organization changes ... create directories for each layer of the development assurance process	9 years ago
fpothon	5a9dc2bdaa	Add files via upload	9 years ago
fpothon	431283b8ad	Add files via upload	9 years ago
fpothon	5a6650bf81	Process Definition Draft 2 ... Updated based on meeting discussion, Anne-Perrine and Alexandre comments	9 years ago
fpothon	0c26279c88	Delete RESSAC_Process_Definition_Document draft 0.docx	9 years ago
fpothon	63164b49fc	Add files via upload	9 years ago
anneperrineporte	3777e9020c	Revert "1st attempts of modelization" ... This reverts commit 13d59d126d.	9 years ago
anneperrineporte	1bf80ed536	Revert "Revert "1st attempts of modelization"" ... This reverts commit 7e0b548698.	9 years ago
anneperrineporte	01028de251	Merge branch 'master' of https://github.com/AdaCore/RESSAC_Use_Case	9 years ago
fpothon	3c0e003fc6	Add files via upload	9 years ago
fpothon	fef6de0682	Add files via upload ... First draft of the specification at AV level (step 1)	9 years ago