安全临界系统相关硕士博士期刊学术论文 - 信丰网

安全临界系统相关论文

安全临界系统的形式验证

我们描述了在安全临界系统的设计中用形式验证来获得提高的置信度的实验经验，试验涉及论证SIFT（一种飞机飞行控制用的软件实现的容错......

期刊

安全临界系统软件测试形式验证软件开发

安全临界系统的开发

由处理器和软件控制的系统，对安全临界设计的要求不断提高，现代机电一体化系统要求安全临界设计。嵌入式处理器和其软件是设计一般系......

期刊

安全临界系统软件控制系统可靠性安全性

看过本文同时还关注