助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   安全苛求 的翻译结果: 查询用时:0.027秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
非线性科学与系统科学
更多类别查询

图标索引 历史查询
 

安全苛求
相关语句
  safety-critical
     Formal Development Method for Safety-Critical System
     安全苛求系统的形式化开发方法
短句来源
     Chaotic Safety Analysis for the Safety-Critical Software
     安全苛求软件的安全性混沌分析
短句来源
     Inject Fault to Test Safety-critical Software Using Scrip
     使用基于脚本的故障注入测试安全苛求软件
短句来源
     The conclusion is that it can improve the level of test automation and test efficiency of the safety-critical software.
     该系统可进一步提高安全苛求软件测试自动化水平和测试效率。
短句来源
     The railway computer interlocking system is a kind of typical safety-critical system and the chaotic safety analysis is useful and helpful for implementing more efficient on the spot software testing.
     铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。
短句来源
更多       
  “安全苛求”译为未确定词的双语例句
     Principles of Cross Acceptance in Mission Critical Systems——A Systems Framework
     安全苛求系统的交叉验收框架
短句来源
     Based on formal method, the development method of safety critical system(SCS) is deeply discussed in the paper.
     从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.
短句来源
     First, concepts of safety critical system and formal method are introduced, and then the strong points of formal methods are analyzed.
     首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;
短句来源
     This guidance draws upon a significant experience of the author on development and application of systemic frameworks for risk and safety assurance within the safety critical industries and more recently the railways. The principles are universal and particularly pertinent to safety critical systems where no systematic and efficient framework for their adoption and application in new applications or environments exists.
     该框架基于笔者多年在安全苛求系统和铁路领域开发应用控制风险和安全确信系统框架的经验,采用通行的原则,对于目前还未建立交叉验收系统框架的安全苛求系统尤其适用
短句来源
     It was brought a scheme of automatic simulatation and test. On the base of project and research,it was taken an actual CIS as object of experiment,and developed the Simulation and Test System. The actual testing results proved that the function of this System was consummated,and reached the testing goal entirely and efficiently.
     计算机联锁系统(CIS)是安全苛求系统,针对目前计算机联锁系统的安全测试以软件测试、人工操作为主,存在测试不完备、效率低,远离实际应用等问题,提出了一种自动化联锁仿真测试方案,并结合工程以实际的计算机联锁系统为对象研制出联锁仿真测试系统,实测结果表明:该系统功能完善,达到了完备、高效安全测试的目的。
短句来源
  相似匹配句对
     SECURITY
     安全
短句来源
     Chaotic Safety Analysis for the Safety-Critical Software
     安全苛求软件的安全性混沌分析
短句来源
     Formal Development Method for Safety-Critical System
     安全苛求系统的形式化开发方法
短句来源
     Safety and Prestige
     安全和美誉
短句来源
查询“安全苛求”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  safety_critical
With the development of Ethernet systems and the growing capacity of modern silicon technology, embedded communication networks are playing an increasingly important role in embedded and safety critical systems.
      
Failure of a safety critical system can lead to big losses.
      
But is C++ an appropriate choice for such projects? An assessment of how well C++ fits into recent software guidelines for safety critical systems is presented along with a collection of techniques and idioms for the construction of safer C++ code.
      
We present part of an industrial project where mechanized theorem proving is used for the validation of a translator which generates safety critical software.
      
Such medical devices are safety critical, and their use needs to be approved by the US Food and Drug Administration (FDA) - a process on which formal methods can have a great impact.
      
更多          
  safety-critical
This makes the application of this method to such areas as safety-critical systems reliability and risk assessment a very attractive option.
      
Relational programs: An architecture for robust real-time safety-critical process-control systems
      
Software for safety-critical systems, such as avionic, medical, defense, and manufacturing systems, must be highly reliable since failures can have catastrophic consequences.
      
With appropriate priority assignments, it provides strong guarantees that the safety-critical components are immune to defects in other components of the system.
      
Safety and reliability have become important software quality characteristics in the development of safety-critical software systems.
      
更多          


Based on formal method, the development method of safety critical system(SCS) is deeply discussed in the paper. First, concepts of safety critical system and formal method are introduced, and then the strong points of formal methods are analyzed. then a new develop model_FDM(Formal Development Model) is proposed, which can resolve the safety problem effectively. At last, we present an application of SCS.

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.

Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified...

Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified in this paper, and the study on complexity parameter is made emphatically.

安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此,对安全苛求软件的测试、安全性评价非常重要。多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究。

Cross acceptance is an aspect of the technical and legal process principally aimed at establishing the fastest route to the deployment of products, systems or processes (PSP) in a target (new) context or environment. The PSP considered for cross acceptance is generally assumed to satisfy the qualifications for reliability, tolerable safety and environmental performance in their native (original) context or environment. The target application is also assumed to possess significant synergies with the native environment,...

Cross acceptance is an aspect of the technical and legal process principally aimed at establishing the fastest route to the deployment of products, systems or processes (PSP) in a target (new) context or environment. The PSP considered for cross acceptance is generally assumed to satisfy the qualifications for reliability, tolerable safety and environmental performance in their native (original) context or environment. The target application is also assumed to possess significant synergies with the native environment, thus making the deployment technically feasible and commercially viable/advantageous without significant alterations. However, the essence of cross acceptance currently relates to the assurance of safety and potentially environmental performance of PSPs, which are subject to a regulatory regime. In the absence systematic guidance and specific standards, a structured and risk based framework for cross acceptance of products, systems and processes is developed in this paper comprising seven core principles. This guidance draws upon a significant experience of the author on development and application of systemic frameworks for risk and safety assurance within the safety critical industries and more recently the railways. The principles are universal and particularly pertinent to safety critical systems where no systematic and efficient framework for their adoption and application in new applications or environments exists.

交叉验收是一个涉及技术和法律的工作,其目的是在新项目中能够尽快地应用类似的产品、系统和方法(PSP)。交叉验收的PSP首先要求在原始的应用中能够满足可靠性、安全性和环境要求。PSP目标和原始的应用应具有很好的相似性,因此,不需要很大的改动,在技术上和经济上可行性会很强。当然,交叉验收从根本上来说和PSP的安全性和适用性有关。目前交叉验收缺乏系统的指导和专门的标准,笔者阐述的一个基于风险分析的结构化PSP交叉验收框架包括7个主要原则。该框架基于笔者多年在安全苛求系统和铁路领域开发应用控制风险和安全确信系统框架的经验,采用通行的原则,对于目前还未建立交叉验收系统框架的安全苛求系统尤其适用

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关安全苛求的内容
在知识搜索中查有关安全苛求的内容
在数字搜索中查有关安全苛求的内容
在概念知识元中查有关安全苛求的内容
在学术趋势中查有关安全苛求的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社