RESSAC_Use_Case

Commit Graph

Author	SHA1	Message	Date
Claire Dross	8070372543	Identify entities and supply a SPARK specification for F_MM	8 years ago
Anthony Leonardo Gracio	8cb01c5cfa	Identify constants used by MMS.F_EL	8 years ago
Anthony Leonardo Gracio	c5af403294	Reformat comments	8 years ago
Anthony Leonardo Gracio	3b349cfd8b	Identify constants used by MMS.F_PT.F_EM	8 years ago
Anthony Leonardo Gracio	a4d0ff0ce9	Identifty the constants used by MMS.F_PT.F_FC	8 years ago
Anthony Leonardo Gracio	6035ffd164	Take into account Rotactors and use the same type for energy sources	8 years ago
fpothon	ed2db6882c	Process_Definition_Document.draft4-5 Updated after June workshop	8 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	8 years ago
Anthony Leonardo Gracio	65a77f9967	List the entities in Ada specification files	8 years ago
ledinot	74aa074811	Add files via upload	8 years ago
ledinot	50ddf011ad	Add files via upload	8 years ago
ledinot	0d433e4c71	Add files via upload	8 years ago
CyrilleComar	6a70babfec	add READMEs in new directories	8 years ago
CyrilleComar	d54ff2a3a9	organization changes create directories for each layer of the development assurance process	8 years ago
fpothon	5a9dc2bdaa	Add files via upload	8 years ago
fpothon	431283b8ad	Add files via upload	8 years ago
fpothon	5a6650bf81	Process Definition Draft 2 Updated based on meeting discussion, Anne-Perrine and Alexandre comments	8 years ago
fpothon	0c26279c88	Delete RESSAC_Process_Definition_Document draft 0.docx	8 years ago
fpothon	63164b49fc	Add files via upload	8 years ago
anneperrineporte	3777e9020c	Revert "1st attempts of modelization" This reverts commit `13d59d126d`.	8 years ago
anneperrineporte	1bf80ed536	Revert "Revert "1st attempts of modelization"" This reverts commit `7e0b548698`.	8 years ago
anneperrineporte	01028de251	Merge branch 'master' of https://github.com/AdaCore/RESSAC_Use_Case	8 years ago
fpothon	3c0e003fc6	Add files via upload	8 years ago
fpothon	fef6de0682	Add files via upload First draft of the specification at AV level (step 1)	8 years ago
anneperrineporte	aaf3c3ffd0	Reviews on specification - 1st sheet : remarks - 2nd sheet : interfaces issues	8 years ago
ledinot	d5554a58f8	Update README.md	8 years ago
ledinot	29dc350212	Update README.md	8 years ago
DuncBrown	dcb34886d2	Fixed some typos (With tracked changes)	8 years ago
anneperrineporte	49a2a0927a	remarks on specification document with remarks on specification documents - 1 sheet on document "OP oriented" - 1 continuing remarks on last version - 1 sheet with analysis of interfaces : inconcistencies and missing elements	8 years ago
anneperrineporte	7e0b548698	Revert "1st attempts of modelization" This reverts commit b5bcb8fa80ac69a350455f930cf5f57397829812.	8 years ago
anneperrineporte	13d59d126d	1st attempts of modelization system modelization with verification of interfaces	8 years ago
DuncBrown	1339fe1938	RR Logo Change	8 years ago
CyrilleComar	a63dbbf307	fix a few typos in particular "e.g " into e.g. " and "i.e " into "i.e. "	8 years ago
Olivier Ramonat	38f2d8402c	First basic layout and initial documents	8 years ago
Olivier Ramonat	1409a3e19a	Initial commit	8 years ago

1 2

85 Commits (109b6e1f0a7d5e7efea4bbbc67211506519d624e) All Branches Search

85 Commits (109b6e1f0a7d5e7efea4bbbc67211506519d624e)

All Branches