You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			| 
				
					
						
							 | 
			8 years ago | |
|---|---|---|
| .. | ||
| GeneralProcessDefinition | 8 years ago | |
| Case Study HW COTS AEH_Process Description_1.2.1.doc | 8 years ago | |
| Case Study HW COTS AEH_Properties Mapping_1.1.0.doc | 8 years ago | |
| Case study Multisystem Integration.doc | 8 years ago | |
| Case study SPARK.doc | 8 years ago | |
| Case study SW MODEL.doc | 8 years ago | |
| Case study template FPGA Development_2.doc | 8 years ago | |
| Case study template Soc Development.doc | 8 years ago | |
| Case study template.doc | 8 years ago | |
| README.md | 8 years ago | |
		
			
				
				README.md
			
		
		
			
			
		
	
	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.