项目名称: 针对安全关键系统的多语言编程形式化验证

项目编号: No.61170051

项目类型: 面上项目

立项/批准年度: 2012

项目学科: 自动化技术、计算机技术

项目作者: 董渊

作者单位: 清华大学

项目金额: 15万元

中文摘要: 航空等领域中对安全关键软件的形式化验证有着迫切的需求,尤其关注存储安全性和正确性等特性。现实中的安全关键软件通常都采用多种语言共同实现,多语言编程使用非常普遍,而多语言接口部分常常是错误高发地带,而且也是目前研究的薄弱环节。为此,本项目以安全关键软件系统的完整形式化验证为远期目标,着重研究C语言与汇编语言这种具有代表性的多语言编程接口的形式化建模,以此为基础探索多语言编程的验证方法,并以广泛应用的开源嵌入实时操作系统为目标,开展原型系统验证研究。本项目将给出一种考虑多语言编程特征的程序建模和验证方法,解决其关键问题,为安全关键软件的构造提供技术支持。

中文关键词: 安全关键软件;形式化验证;多语言编程;嵌入系统;

英文摘要:

英文关键词: Safety-Critical Software;Formal Verification;Multilingual Programming;Embedded System;

成为VIP会员查看完整内容
0

相关内容

【博士论文】分形计算系统
专知会员服务
32+阅读 · 2021年12月9日
专知会员服务
53+阅读 · 2021年7月21日
【干货书】Python科学编程,451页pdf
专知会员服务
125+阅读 · 2021年6月27日
专知会员服务
29+阅读 · 2021年5月8日
【经典书】Linux UNIX系统编程手册,1554页pdf
专知会员服务
44+阅读 · 2021年2月20日
专知会员服务
36+阅读 · 2020年12月22日
【2020新书】C语言编程傻瓜式入门,第二版,464页pdf
专知会员服务
60+阅读 · 2020年10月15日
【干货书】Python 编程,480页pdf
专知会员服务
227+阅读 · 2020年8月14日
【经典书】C++编程:从问题分析到程序设计,1491页pdf
专知会员服务
58+阅读 · 2020年8月11日
为什么每一名程序员都应该学习 C++?
AI前线
1+阅读 · 2022年4月21日
D 语言是否可作为入门级的编程语言?
“C不再是一种编程语言”
AI前线
1+阅读 · 2022年4月2日
一文搞懂redis
阿里技术
1+阅读 · 2022年3月24日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
专知
13+阅读 · 2021年5月8日
研究SLAM,对编程的要求有多高?
计算机视觉life
24+阅读 · 2019年2月18日
各编程领域最好的入门书籍
程序猿
27+阅读 · 2018年7月29日
国家自然科学基金
6+阅读 · 2017年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 2022年5月9日
Arxiv
0+阅读 · 2022年5月9日
Arxiv
0+阅读 · 2022年5月6日
小贴士
相关VIP内容
【博士论文】分形计算系统
专知会员服务
32+阅读 · 2021年12月9日
专知会员服务
53+阅读 · 2021年7月21日
【干货书】Python科学编程,451页pdf
专知会员服务
125+阅读 · 2021年6月27日
专知会员服务
29+阅读 · 2021年5月8日
【经典书】Linux UNIX系统编程手册,1554页pdf
专知会员服务
44+阅读 · 2021年2月20日
专知会员服务
36+阅读 · 2020年12月22日
【2020新书】C语言编程傻瓜式入门,第二版,464页pdf
专知会员服务
60+阅读 · 2020年10月15日
【干货书】Python 编程,480页pdf
专知会员服务
227+阅读 · 2020年8月14日
【经典书】C++编程:从问题分析到程序设计,1491页pdf
专知会员服务
58+阅读 · 2020年8月11日
相关资讯
为什么每一名程序员都应该学习 C++?
AI前线
1+阅读 · 2022年4月21日
D 语言是否可作为入门级的编程语言?
“C不再是一种编程语言”
AI前线
1+阅读 · 2022年4月2日
一文搞懂redis
阿里技术
1+阅读 · 2022年3月24日
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
专知
13+阅读 · 2021年5月8日
研究SLAM,对编程的要求有多高?
计算机视觉life
24+阅读 · 2019年2月18日
各编程领域最好的入门书籍
程序猿
27+阅读 · 2018年7月29日
相关基金
国家自然科学基金
6+阅读 · 2017年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员