An additional behavior analysis module provides even more safety: it uncovers new damaging software on the basis of its destructive behavior alone.
另外一个行为分析模块提供了更安全：揭开新的破坏性的行为损害其软件仅在此基础上。
When analyzes operator's safety control duty, article overall analysis operator in hardware and software two aspect concrete duties.
在分析运营商的安全保障义务时，文章全面分析了运营商在硬件和软件两个方面的具体义务。
Thus, neglect from the result of requirement analysis in should start the safety problem of the advertent software system module.
这样，忽略了从需求分析中本应开始注意的软件系统组件的安全性隐患。
Then, applications of fuzzy fault tree analysis in safety analysis of computer interlocking software are discussed.
然后，讨论了模糊故障树分析在计算机联锁软件的安全性分析中的应用。
Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
Combining with failure mode and effect analysis (FMEA), a method of safety risk analysis for software architecture on the basis of probabilistic influence diagram is proposed in the thesis.
本文结合失效模式和效果分析FMEA方法，提出一种基于概率影响图的软件体系结构安全性风险分析方法。
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.
铁路联锁软件是典型的安全苛求软件，安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。
Before constructing, the simulated analysis had been done with the finite element software to ensure its safety, and the results indicates that it is feasible to adopt CRD method in the construction.
为确保安全，施工前利用有限元软件进行了模拟分析，表明采用CRD法施工是可行的。
The high safety and reliability of petrochemical industry is emphasized based on the design and analysis of software system of control system.
对控制系统的软件系统进行了设计和分析，突出了石化企业要求高安全性、高可靠性的特点。
For ease of analysis processing, this article constructs the software safety model which is only considered the unsafe output which is possibly examined the personnel.
为了便于分析处理，本文构建的软件安全性模型仅考虑检测人员可能检测到的不安全输出。
After surveying most of the existing software and techniques of process safety assessment home and abroad, it is found that little research has been done to the HAZOP analysis for batch process.
通过对国内外现有的生产过程安全评价软件、技术的调查发现，目前对间歇过程HAZOP分析的研究还较少。
At the present time, there exist a lot of repetitive work in analysis of software reliability and safety which increase the software development cost.
目前，在软件可靠性与安全性的分析中产生很多重复性工作，增加了软件的开发成本。
At the present time, there exist a lot of repetitive work in analysis of software reliability and safety which increase the software development cost.
目前，在软件可靠性与安全性的分析中产生很多重复性工作，增加了软件的开发成本。
应用推荐