SBIR Phase I: UAS Certification Artifact Formulation Environment

这个小型企业创新研究第一阶段的研究项目将建立在自动驾驶汽车成分验证和确认(V&amp；V；V)的先前工作的基础上，以展示一种新的能力，以建立满足监管和认证要求的安全和可靠性论点。该组合V&amp；V工具支持复杂的模块化架构和重新配置，包括离散和连续动力学，允许对控制模式(包括故障和安全模式)和车辆动力学进行显式建模。不确定结果和不可控事件的显式模型将被创建，并使用半马尔可夫决策过程集成到以前的工作中，该过程非常适合于本应用的要求。该项目的价值主张是使更多的无人自主系统(UAS)能够获准在受监管的环境中运行。商业可行性将通过与安全安全救援研究中心、NSF工业/大学合作研究中心(I/UCRC)及其行业合作伙伴的合作来确定。这项工作的初始目标市场将是地面和空中无人机，供应商/制造商作为减少成本和开发时间的手段，用户作为充分利用无人机任务潜力的手段。该奖项由2009年美国复苏和再投资法案(公共法律111-5)资助。

This Small Business Innovation Research 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.This award is funded under the American Recovery and Reinvestment Act of 2009 (Public Law 111-5).