mirror of
http://172.16.200.102/RESSAC/RESSAC_Use_Case.git
synced 2025-11-30 20:27:58 +01:00
cfd1c3007d
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.).
Experiments on Baseline Development Assurance
Streamlining Development Assurance - muXAV Use Case
This folder will contain any development artefact or assurance artefact supporting application of ARP 4754A, DO-178C, DO-331 (model-based TS), DO-333 (formal method TS), DO-254 on muXAV development processes
As of 2016/09/20 the folder is empty.
See the Specification folder.