首页> 外文会议>Computer safety, reliability, and security >Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do

【24h】

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do

机译：安全关键硬件的工具资格认证中的问题：什么形式的方法可以和不能做的

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Technology has improved to the point that system designers have the ability to trade-off implementing complex functions in either hardware or software. However, clear distinctions exist in the design tools. This paper examines what is unique to hardware design, areas where formal methods can be applied to advantage in hardware design and how errors can exist in the hardware even if formal methods are used to prove the design is correct.

机译：技术已经改进到使系统设计人员能够权衡在硬件或软件中实现复杂功能的能力。但是，设计工具之间存在明显的区别。本文研究了硬件设计的独特之处，可以在硬件设计中应用形式化方法的优势以及即使使用形式化方法来证明设计正确的硬件中如何存在错误。

著录项

来源
《Computer safety, reliability, and security》|2009年|201-214|共14页
会议地点 Hamburg(DE);Hamburg(DE)
作者
Brian Butka; Janusz Zalewski; Andrew J. Kornecki;
展开▼
作者单位

Electrical Engineering, Embry Riddle Aeronautical Univ., Daytona Beach, FL 32114 USA;

Computer Science, Florida Gulf Coast University, Fort Meyers, FL 33965 USA;

ComputerSoftware Engineering, Embry-Riddle Aeronautical Univ.,Daytona Beach, FL 32114 USA;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类安全保密;
关键词
tool qualification; HDL; PLD; hardware design; safety-critical systems; formal methods;

机译：工具鉴定；高密度脂蛋白; PLD；硬件设计；安全关键系统；形式方法;

相似文献

外文文献
中文文献
专利

1. Software Qualification of a Real Time Kernel-based Programmable Logic Controller for Safety-Critical Applications: Tools and Techniques [J] . KYOUNGHO CHA, JANGYEOUL KIM, JANGSOO LEE, WSEAS Transactions on Information Science and Applications . 2006,第11期

机译：适用于安全关键型应用的基于实时内核的可编程逻辑控制器的软件认证：工具和技术
2. Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems [J] . AZER BESTAVROS, ASSAF KFOURY Mathematical structures in computer science . 2013,第4期

机译：特殊问题的序言：安全关键系统的设计和分析中的轻量级实用形式方法
3. Safety-critical design for secure systems: Safety critical programs require a comprehensive approach, that combines the use of specialized languages and tools, rigorously controlled testing, and the use of formal methods [J] . Robert B. K. Dewar Embedded Systems Europe . 2006,第75期

机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
4. Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do [C] . Brian Butka, Janusz Zalewski, Andrew J. Kornecki International Conference on Computer Safety, Reliability, and Security . 2009

机译：安全关键硬件工具资格中的问题：可以做些什么正式的方法，不能做
5. Kumeyaay across borders: An evaluation of formal and informal approaches to tribal transportation issues [D] . Morris, Olea Elizabeth Beverly 2015

机译：Kumeyaay跨境：对部落运输问题的正式和非正式方法的评估
6. Introduction to the Special Issue Bioinformatic tools and approaches for Synthetic Biology of natural products [O] . Tilmann Weber 2016

机译：特刊天然产物合成生物学的生物信息学工具和方法简介
7. Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems [O] . Philippe Palanque, Rémi Bastide, Fabio Paternò, 1997

机译：形式规范作为安全关键交互系统客观评估的工具
8. Industry Strength Tool and Technology for Automated Synthesis of Safety-Critical Applications from Formal Specifications. [R] . Shukla, S. K., Nanjundappa, M., Anderson, M., 2015

机译：从正式规范自动合成安全关键应用的工业强度工具和技术。

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do

摘要

著录项

相似文献

相关主题

期刊订阅