首页> 外文会议>American Institute of Aeronautics and Astronautics guidance, navigation and control conference and exhibit >Run- Time Verification and Validation for Safety- Critical Flight Control Systems

【24h】

Run- Time Verification and Validation for Safety- Critical Flight Control Systems

机译：安全关键飞行控制系统的运行时间验证和验证

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

No Abstract

机译：没有摘要

著录项

来源
《American Institute of Aeronautics and Astronautics guidance, navigation and control conference and exhibit》|2008年||共21页
会议地点
作者

展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类航空仪表、航空设备、飞行控制与导航;
关键词

相似文献

外文文献
中文文献
专利

1. White and grey-box verification and validation approaches for safety- and security-critical software systems [J] . Francesco Saglietti, Norbert Oster, Florin Pinte Information Security Technical Report . 2008,第1期

机译：适用于安全性和安全性至关重要的软件系统的白盒和灰盒验证和确认方法
2. Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements [J] . Gustavo Carvalho, Igor Meira Science of Computer Programming . 2021,第Jana1期

机译：通过控制的自然语言要求验证，验证和测试COQ中的定时数据流动无功系统
3. Safety- and Security-Critical Services in Building Automation and Control Systems [J] . Novak T.Gerstinger A. Industrial Electronics, IEEE Transactions on . 2010,第11期

机译：楼宇自动化和控制系统中的安全至关重要的服务
4. Run- Time Verification and Validation for Safety- Critical Flight Control Systems [C] . J. Schierman, D. Ward, B. Dutoi, AIAA guidance, navigation and control conference and exhibit . 2008

机译：安全至关重要的飞行控制系统的运行时验证和确认
5. Verification and Validation of a Theoretical Model of a Direct Drive Valve-Controlled Electrohydrostatic Actuator for Primary Flight Control. [D] . Hussain, Heather Syeda. 2012

机译：用于主飞行控制的直接驱动阀控制的电动静液压执行机构的理论模型的验证和确认。
6. Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification [O] . Haiyang Xu, Ping Wang 2011

机译：支持适航性认证的无人机飞行控制系统的实时可靠性验证
7. L1 Adaptive Flight Control System: Systematic Design and Verification and Validation of Control Metrics [O] . Xargay Enric, Hovakimyan Naira, Dobrokhodov Vladimir, 2010

机译：L1自适应飞行控制系统：系统设计以及控制指标的验证和确认
8. KAERI software verification and validation guideline for developing safety- critical software in digital I and C system of NPP [R] . Kim, J. Y. , Lee, J. S. , Eom, H. S. 1997

机译：KaERI软件验证和验证指南，用于开发Npp数字I和C系统中的安全关键软件

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号