safety-critical相关论文
A new hierarchical software architecture is proposed to improve the safety and reliability of a safety-critical drone sy......
可信性是各安全攸关领域软件的基础要求,例如航空航天飞行器控制软件、核电站控制软件和交通控制管理软件等,基于形式化方法的程序......
计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件.根据制式测试结果颁发计算机联锁的生产许可证,是铁......
形式化方法的主要研究对象是计算机系统的设计和验证，近扯为，形式化方法的研究扩展到计算机应用系统的各个领域，尤其是安全关键系统。......
In this paper we report on a work in progress assessing the faults observed and reported in a distributed, safety-critic......
The tragic nature of safety-critical software failure’s consequences makes high quality and extreme reliability require......
Design Patterns, which give abstract solutions to commonly recurring design problems, have been widely used in the softw......
The security assurance of computer-based systems that rely on safety and security</span><span style="font-family:'Mi......
