基于计算机代数的嵌入式软件分析与验证方法及工具
基本信息
批准号：90718041
项目类别：重大研究计划
资助金额：250.00
负责人：杨路
学科分类：
依托单位：华东师范大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：周巢尘,詹乃军,夏壁灿,曾振柄,李志斌,吴敏,赵世忠,申立勇
关键词：
程序分析和验证嵌入式系统计算机代数攸关安全系统
结项摘要
本项目应用计算机代数分析和验证嵌入式软件。近年来，计算机代数在程序分析和验证中的应用十分活跃。人们发现多类嵌入式系统的可达性是可以用它来验证的；利用它还找到了程序分析和验证的许多有效方法，特别适用于程序变量为实变量的嵌入式软件。以吴文俊为首的我国科学家在计算机代数领域做出了杰出贡献。杨路等发现了生成多项式完全判别系统的算法，并建立了半代数系统根的分类和分离算法，实现了DISCOVERER等工具。其
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
3
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
4
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
5
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
杨路的其他基金
批准号：10471044
批准年份：2004
资助金额：21.00
项目类别：面上项目
批准号：81873382
批准年份：2018
资助金额：57.00
项目类别：面上项目
批准号：91018012
批准年份：2010
资助金额：50.00
项目类别：重大研究计划
批准号：81303047
批准年份：2013
资助金额：23.00
项目类别：青年科学基金项目
批准号：51905149
批准年份：2019
资助金额：26.00
项目类别：青年科学基金项目
批准号：61871074
批准年份：2018
资助金额：61.00
项目类别：面上项目
批准号：61305033
批准年份：2013
资助金额：26.00
项目类别：青年科学基金项目
相似国自然基金
1
嵌入式软件的可信属性分析与验证
批准号：90718019
批准年份：2007
负责人：罗蕾
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
2
基于编译的高可信嵌入式软件开发与验证方法研究
批准号：91018009
批准年份：2010
负责人：毋国庆
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
3
高可信嵌入式软件建模与验证方法的研究
批准号：61572253
批准年份：2015
负责人：庄毅
学科分类：F0203
资助金额：64.00
项目类别：面上项目
4
基于定理证明的可信嵌入式软件建模与验证平台研究
批准号：90718039
批准年份：2007
负责人：顾明
学科分类：F0202
资助金额：250.00
项目类别：重大研究计划