面向可信管理的软件病态模型、机理及理论研究
基本信息
批准号：90718012
项目类别：重大研究计划
资助金额：50.00
负责人：闫春钢
学科分类：
依托单位：同济大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：郑应平,孙刚,程久军,丁志军,杜晓丽,王俊丽,庞善臣,孙萍,范小芹
关键词：
软件病态病态交叉管理可信软件PN机行为理论
结项摘要
本项目从软件可信问题的逆向思考，创造性地提出软件病态概念，以提取病态特征、规避软件病态产生、实现软件可信为目的，从软件行为、可信度量、产生机理等方面开展对软件病态的研究，建立PN机行为模型理论，揭示其行为机理，实现定量分析。在此基础上，针对软件先天病态和后天病态，分别加以研究，实现相应的发现、检测和防治技术。面向软件全生命周期，提供一套形式化验证、一致性保障、实时检测等的病态交叉管理技术，实现软件
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于旋量理论的数控机床几何误差分离与补偿方法研究
基于旋量理论的数控机床几何误差分离与补偿方法研究
DOI：
发表时间：2019
2
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
3
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
4
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
DOI：
发表时间：2023
5
多元化企业IT协同的维度及测量
多元化企业IT协同的维度及测量
DOI：
发表时间：2017
闫春钢的其他基金
批准号：61173016
批准年份：2011
资助金额：60.00
项目类别：面上项目
相似国自然基金
1
可信软件过程管理及风险控制模型和方法研究
批准号：90718042
批准年份：2007
负责人：王青
学科分类：G01
资助金额：250.00
项目类别：重大研究计划
2
面向网构软件体系结构的可信管理模型与技术研究
批准号：60603034
批准年份：2006
负责人：徐锋
学科分类：F0203
资助金额：25.00
项目类别：青年科学基金项目
3
面向威胁的软件可信性分析模型
批准号：90718005
批准年份：2007
负责人：傅建明
学科分类：F0206
资助金额：50.00
项目类别：重大研究计划
4
可信工作流管理系统的软件机理与方法研究
批准号：61363001
批准年份：2013
负责人：韩强
学科分类：F0203
资助金额：45.00
项目类别：地区科学基金项目