SBIR Phase IB: UAS Certification Artifact Formulation Environment

这个小型企业创新研究（SBIR）第一阶段研究项目将建立在以前的工作中的成分验证和确认（V V）的自动驾驶汽车，以证明建立满足监管和认证要求的安全性和可靠性参数的新能力。该组合验证与确认工具支持复杂的模块化架构和重新配置，包括离散和连续动态，允许对控制模式（包括故障和安全模式）和车辆动态进行明确建模。一个明确的模型，不确定的结果和不可控的事件将被创建和集成到以前的工作，使用半马尔可夫决策过程，这是一个很好的适合本申请的要求。该项目的价值主张是使更多的无人驾驶自主系统（UAS）获得在受监管环境中运行的许可。商业可行性将通过与安全救援研究中心，NSF工业/大学合作研究中心（I/UCRC）及其行业合作伙伴的合作来建立。这项工作的最初目标市场将是地面和空中无人机系统，供应商/制造商将其作为降低成本和开发时间的手段，用户将其作为充分利用无人机系统使命潜力的手段。

This Small Business Innovation Research(SBIR)Phase I research project will build on previous work in compositional Verification and Validation (V&V) for autonomous vehicles to demonstrate a new capability for establishing safety and reliability arguments satisfying both regulatory and certification requirements. This compositional V&V tool supports complex modular architectures and reconfiguration, and encompasses both discrete and continuous dynamics, permitting the explicit modeling of both control modes (including fault and safing modes), and vehicle dynamics. An explicit model of uncertain outcomes and uncontrollable events will be created and integrated into previous work using semi-Markov decision processes which are a good fit for the requirements of this application. The value proposition of this project is to enable many more Unmanned Autonomous Systems (UAS) to be granted permission to operate in regulated environments. Commercial feasibility will established through a collaboration with the Safety Security Rescue Research Center, an NSF Industry/University Cooperative Research Center (I/UCRC), and its industry partners. The initial target markets for this work will be ground and aerial UAS, to both the providers/manufacturers as a means to reduce costs and development time and users as a means to utilize the UAS to their full mission potential.