# 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.
