The reliability problem is extremely important for safety critical software.
软件可靠性问题对于安全关键软件而言具有极端重要性。
Safety kernel is an important technology to assure safety of safety critical software.
安全核技术就是其中的重要措施之一。
High integrity, fundamental, and safety critical software demands review and inspection.
高度集成的、基础的、安全性要求比较高的软件都需要经历检查阶段。
Once Safety critical software runs into dangerous state, it will result in serious damage even catastrophe.
如果嵌入式系统安全关键软件质量不好，可能对系统的安全构成严重威胁。
To meet the requirements for black box testing of CISS (Computer Interlocking safety critical Software), the safety requirements of CISS are denoted hierarchically and formally.
为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达。
After analyzing the software risk concept of safety-critical system and metrics definition of software risk, this paper discusses metrics definition of software risk based on black-box.
本文在分析了安全系统软件的安全性和风险度量概念的基础上，详细讨论了黑箱条件下的软件风险度量等问题。
Because the safety-critical software is often directly related to the safety of the people's life and wealth, software has to undergo safety testing strictly.
由于安全性苛求软件直接关系人身和大宗财产的安全，为此需要对软件进行严格的安全性测试。
In these critical fields, the system generally has large scale and complicated logic function, and requires very high reliability and safety of the software.
在这些领域中，软件系统规模庞大，逻辑复杂，其可靠性和安全性往往有很高的要求。
In highly reliable software, especial safety-critical software, the critical operation's use probability is very small.
高可靠软件，特别是安全攸关软件，其关键操作往往使用概率非常小。
Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important.
因此，对安全苛求软件的测试、安全性评价非常重要。
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.
铁路联锁软件是典型的安全苛求软件，安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。
After the hierarchical classification of CISS (Computer Interlocking Safety-critical Software) requirement specifications, an automatic hierarchical testing strategy is introduced.
通过对联锁软件需求规格的分级划分，提出了一种联锁软件分级测试策略。
This class will cover fundamental concepts and techniques in building mission-critical and safety critical systems that have software components.
这门课程将会包括在建立有软件成分的任务危急和安全危急系统过程中所需的基础理论和技术。
This class will cover fundamental concepts and techniques in building mission-critical and safety critical systems that have software components.
这门课程将会包括在建立有软件成分的任务危急和安全危急系统过程中所需的基础理论和技术。
应用推荐