期刊文献+

概率实时系统的确认

下载PDF
导出
摘要 实时系统在运行过程中不可避免地会出现的部件故障的现象,此时它不可能完全满足系统的规约,因此实时系统中应充分考虑可靠性问题,本文以离散时段演算作为实时系统的逻辑,采用概率时间自动来描述实时系统的状态转换,通过构造向图的方法确认系统的正确性。
出处 《软件学报》 EI CSCD 北大核心 1997年第A00期327-332,共6页 Journal of Software
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部