A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications

机译：安全关键应用中的COTS微处理器安全分析框架

获取原文

页面导航

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

摘要

The use of Commercial Off-The-Shelf (COTS) microprocessors in safety-critical applications poses many challenges for system safety engineers. Due to liability and intellectual property concerns, important details, such as the Register Transfer Level (RTL)

机译：在安全关键型应用中使用商用现货（COTS）微处理器给系统安全工程师带来了许多挑战。由于责任和知识产权方面的考虑，重要的细节，例如注册簿转移级别（RTL）

著录项

来源
《High-Assurance Systems Engineering (HASE), 2007 IEEE International Symposium on》|2007年|P.407-408|共2页
会议地点 PlanoTX
作者
Lee; Jason D.; Bhojwani; Praveen S.; Mahapatra; Rabi N.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Using COTS transmission systems in safety-critical applications [J] . Jens Braband Automatisierungstechnik: Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik . 2002,第8期

机译：在安全关键型应用中使用COTS传输系统
2. Safe-WirelessHART: A Novel Framework Enabling Safety-Critical Applications Over Industrial WSNs [J] . Dong Yang, Jian Ma, Youzhi Xu, IEEE transactions on industrial informatics . 2018,第8期

机译：Safe-WirelessHART：一种新型框架，可在工业WSN上实现安全关键型应用
3. Towards the Verification of a Table-driven Microprocessor Architecture for Safety-critical Systems [J] . Marcel Schaible Fortschritt-Berichte VDI . 2013,第827期

机译：面向安全关键型系统的表驱动微处理器体系结构的验证
4. A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications [C] . Jason D. Lee, Praveen S. Bhojwani, Rabi N. Mahapatra IEEE High Assurance Systems Engineering Symposium . 2007

机译：安全关键应用中的COTS微处理器安全分析框架
5. Model-Based Usability Analysis of Safety-Critical Systems: A Formal Methods Framework. [D] . Abbate, Andrew J. 2017

机译：安全关键系统的基于模型的可用性分析：正式方法框架。
6. Asynchronous quasi delay insensitive majority voters corresponding to quintuple modular redundancy for mission/safety-critical applications [O] . P. Balasubramanian, N. E. Mastorakis 2020

机译：异步准延迟不敏感的多数选民对应于Quintuple模块化冗余的任务/安全关键应用程序
7. Use of COTS Software Components in Safety-Critical Applications – A Defensible Approach* [O] . Fan Ye, Tim Kelly 2008

机译：在安全关键型应用中使用COTS软件组件–一种可辩护的方法*
8. Microprocessor Evaluations for Safety-Critical, Real-Time Applications: Authority for Expenditure No. 43 Phase 5 Report [R] . Mahapatra, R. N., Lee, J., Gupta, N., 2011

机译：安全关键，实时应用的微处理器评估：第43号支出管理局第5阶段报告

A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications

摘要

著录项

相似文献

相关主题

期刊订阅