基于计算机代数的嵌入式软件分析与验证方法及工具
基本信息
批准号：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
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
3
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
4
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
5
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
杨路的其他基金
批准号：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
项目类别：重大研究计划