Tree: c8d122e3e6

CaseStudiesProcessDefinition

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'c8d122e3e6'

${ noResults }

Commit Graph

91 Commits (c8d122e3e6a7a99b4e05331779b2274c6b0ec8c7)

 

All Branches   

Search

Author	SHA1	Message	Date
AP Porte	c8d122e3e6	2017 dec 14th changes ... move error classes and means from synthesis table defined in group on dec 13th into the sections; remains to define inputs/outputs	7 years ago
AP Porte	cf06e94c76	dec 13th meeting ... 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.	7 years ago
AP Porte	027f035513	december meeting 13/12 ... after exchange	7 years ago
fpothon	57747a4300	Add files via upload	7 years ago
fpothon	def6bfa151	Add files via upload	7 years ago
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.	7 years ago
HerveDelseny	109b6e1f0a	Add files via upload	7 years ago
HerveDelseny	28533433f9	Add files via upload	7 years ago
AP Porte	ff1290968d	Add files via upload ... add a summary of last discussion of nov 16th meeting	7 years ago
AP Porte	307a9f7634	process diagram changed	7 years ago
HerveDelseny	80dcc15d1e	Add files via upload	7 years ago
HerveDelseny	0c9150d646	Delete Case Study HW COTS AEH -16 Nov 2017.doc	7 years ago
AP Porte	25cbda2e6c	added SW integration process - to complete	7 years ago
HerveDelseny	552441ae70	Add files via upload	7 years ago
AP Porte	54f4ed0f91	results of N.C & E.L work + review in group	7 years ago
AP Porte	c8807a15c1	to rename it consistently	7 years ago
AP Porte	8b832596f5	result of work by NC & EL + review in group	7 years ago
AP Porte	892a2e5da3	update on 2017/11/15 afternoon ... added software processes	7 years ago
AP Porte	a8849a15a3	Result of workshop 2017/11/15 morning ... add schema behavioral model simulations error classes	7 years ago
fpothon	5bc4b40806	Updated on 2017 November 14, day 1 Resac meeting	7 years ago
pfarail	998b9a7177	Adding template for use case form	7 years ago
SylvanDissoubray	70883242d4	Add files via upload ... Working session APP/SD	7 years ago
Anthony Leonardo Gracio	ae93e67d86	Beginning of development of F_MM	7 years ago
fpothon	429e842937	Add files via upload	7 years ago
fpothon	7fc5b921f4	Add files via upload	7 years ago
CyrilleComar	b914e6c263	reorg ... big reorganization agreed during 2017-10-26	7 years ago
AP Porte	c55d46c6a8	Update README.md	7 years ago
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	7 years ago
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.	7 years ago
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.	7 years ago
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