实时系统的软件可靠性测试与验证
批准号：
60233020
项目类别：
重点项目
资助金额：
170.0 万元
负责人：
王戟
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2006
批准年份：
2002
项目状态：
已结题
项目参与者：
王戟、蔡开元、李宣东、朱鸿、李舟军、毛晓光、白成刚、吴淮宁、郑滔、赵建华
关键词：
项目摘要
结项摘要
项目成果
王戟的其他基金
相似基金
相关文献
中文摘要
研究实时系统的程序理论和量化规律，实时软件的测试理论和关键技术，实时软件的验证理论和关键技术，建立与现代主流软件工程标准，兼容的测试和验证方法学，完成具有一定规模的示范演示系统。这些研究将推动实时系统计算理论和可信软件工程技术的发展，对提高安全攸关应用中实时纱统的安全性和可靠性有重要意义。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
Bayesian Network Based Softwar
基于贝叶斯网络的软件
基于贝叶斯网络的软件
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[C.G. Bai]
通讯作者：
C.G. Bai
DOI：
--
发表时间：
--
期刊：
计算机学报, P.513-525, 2006年第4期，第29卷
影响因子：
--
作者：
[]
通讯作者：
DOI：
--
发表时间：
--
期刊：
《软件学报》，Vol.17，No.6，2006
影响因子：
--
作者：
[陈振邦, 王戟, 董威, 齐治昌]
通讯作者：
齐治昌
Variable-Structure Coherent Sy
变结构相干系统
变结构相干系统
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[K.Y.Cai]
通讯作者：
K.Y.Cai
DOI：
--
发表时间：
--
期刊：
《电子学报》，Vol.31，No.12A，2003
影响因子：
--
作者：
[陈火旺, 王戟, 董威]
通讯作者：
董威
共 38 条
开放环境下安全攸关系统建模和验证理论与方法
-
批准号：62032024
-
项目类别：重点项目
-
资助金额：297万元
-
批准年份：2020
-
负责人：王戟
-
依托单位：
网络计算环境的程序设计理论及关键技术
-
批准号：90612009
-
项目类别：重大研究计划
-
资助金额：28.0万元
-
批准年份：2006
-
负责人：王戟
-
依托单位：
实时容错协议的形式化技术
-
批准号：90104007
-
项目类别：重大研究计划
-
资助金额：20.0万元
-
批准年份：2001
-
负责人：王戟
-
依托单位：
面向UML的形式化测试技术
-
批准号：69973051
-
项目类别：面上项目
-
资助金额：12.0万元
-
批准年份：1999
-
负责人：王戟
-
依托单位：
混成系统设计演算
-
批准号：69603010
-
项目类别：青年科学基金项目
-
资助金额：10.0万元
-
批准年份：1996
-
负责人：王戟
-
依托单位：
国内基金
海外基金