518 B
518 B
Specification of the product to be developed
Streamlining Development Assurance - muXAV Use Case
This folder contains the specification of a toy drone named muXAV (micro Uninhabited Air Vehicle) intended to support experiments on various ways of performing development assurance.
As of 2016/09/20 the folder contains only the RESSAC_CaseStudy_muXAV_Specification.docx and the RESSAC_UseCase_FAA_Dallas2016_09_15.ppt files.
A Modelica model implementing the DIF part of the document is planned for fall of 2016.