A process pattern to address tiers of decomposition.
Illustrated on muXAV, when the multi-system specification is decomposed into system specifications.
Focus on functional safety assurance.
File MMS-SRATS_in-progress.docx is a current rework of MMS system Specification, with reorganized contents, tags, and a few remining issues not solved.
Folder muXAV_v3_removed_propagation_across contains a SysML SCADE Architect model of muXAV wdetailed on the MMS part. Data are propagated but not through F_CM where data change needs to be represented in model. This model is starting point candidate to refine organic architecture by an AADL model (the SysML model can contain plain SCADE Architect and SCADE AADL models in same model but dedicated packages).
Folder MMS contans SCADE Suite MMS model (essentially F_FC, flight control parts).
MMS_Interface_Synchro contains the MMS top level synchronization between SCADE Suite and SCADE Architect
In particular define more precisely what are the SPARK global contracts
and specify which errors can be found (and how) during the different
phases of the project (software requirements development, etc.).
advanced in group on
- inputs/outputs of system processes, in the synthesis table; to move to the sections
- information in the software development processes
Context part, scheme, and 1st activity have been reviewed and improved => next step consists in continuing description of the other activities in the same way.
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.
Emmanuel Ledinot
ThalesAV
HerveDelseny
fpothon
pfarail
SylvanDissoubray
MiguelDeAlmeida
AP Porte
CyrilleComar
Anthony Leonardo Gracio