项目名称: 面向安全关键系统的时间可预测多核代码生成方法研究

项目编号: No.61502231

项目类型: 青年科学基金项目

立项/批准年度: 2016

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

项目作者: 杨志斌

作者单位: 南京航空航天大学

项目金额: 20万元

中文摘要: 能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用。但是,由于现代处理器所使用的流水线、乱序执行、动态分支预测、多硬件线程、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难。为此,国际学术界提出设计时间可预测系统的思想,以降低系统的最坏执行时间分析难度。已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即时间可预测多线程代码的构造方法以及到多核硬件平台的映射。课题提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL的时间可预测多核体系结构模型,作为本课题研究的目标平台;最后,研究多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架。课题研究结果可为航空航天工业界构造时间可预测嵌入式系统提供理论基础和方法支持。

中文关键词: 模型化设计;形式化分析;软硬件协同设计;实时调度

英文摘要: Multi-core processors will be widely used in safety-critical systems. Unfortunately, the introduction of performance-enhancing architectural elements, such as pipelines, out-of-order execution, dynamic branch prediction, multithreading, and caches, etc., as well as inter-cores resource-sharing, make the WCET (Worst-Case Execution Time) analysis of a system become more difficult. Thus, time-predictable system design is concerned with the challenge of building systems for which WCET can be statically and easily analyzed. At the software level, we propose a time-predictable multi-threaded code generation based on synchronous-model development. At the platform level, we propose a time-predictable multi-core architecture model in AADL (Architecture Analysis and Design Language), and then we map the multi-threaded code to this model. Real-time specifications propagate down in the system hierarchy. Therefore, our method integrates time predictability across several design layers, and finally reduces the complexity of WCET analysis. The research outcomes will also provide theoretical and technical supports for building time-predictable embedded system in avionics and space system industry.

英文关键词: Model-based Design;Formal Analysis;Software and Hardware Co-design; Real-time Scheduling

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

相关内容

信息物理融合系统 (CPS)研究综述
专知会员服务
45+阅读 · 2022年3月14日
专知会员服务
15+阅读 · 2021年8月13日
专知会员服务
50+阅读 · 2021年1月19日
专知会员服务
47+阅读 · 2020年11月20日
专知会员服务
44+阅读 · 2020年8月20日
基于改进卷积神经网络的短文本分类模型
专知会员服务
25+阅读 · 2020年7月22日
【实用书】Python技术手册,第三版767页pdf
专知会员服务
230+阅读 · 2020年5月21日
【WWW2020】DGL深度图神经网络实战教程,PPT+代码
专知会员服务
173+阅读 · 2020年4月12日
49篇ICLR2020高分「图机器学习GML」接受论文及代码
专知会员服务
60+阅读 · 2020年1月18日
6000字,快速理解低代码
人人都是产品经理
2+阅读 · 2022年1月3日
2021 年 Python 的好与坏
InfoQ
2+阅读 · 2021年11月16日
【数字孪生】面向智能制造的数字孪生
产业智能官
49+阅读 · 2020年5月10日
【数字孪生】数字孪生技术从概念到应用
产业智能官
86+阅读 · 2020年2月16日
【数字孪生】九论数字孪生
产业智能官
57+阅读 · 2019年7月6日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
2+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2010年12月31日
Arxiv
15+阅读 · 2018年4月5日
小贴士
相关VIP内容
信息物理融合系统 (CPS)研究综述
专知会员服务
45+阅读 · 2022年3月14日
专知会员服务
15+阅读 · 2021年8月13日
专知会员服务
50+阅读 · 2021年1月19日
专知会员服务
47+阅读 · 2020年11月20日
专知会员服务
44+阅读 · 2020年8月20日
基于改进卷积神经网络的短文本分类模型
专知会员服务
25+阅读 · 2020年7月22日
【实用书】Python技术手册,第三版767页pdf
专知会员服务
230+阅读 · 2020年5月21日
【WWW2020】DGL深度图神经网络实战教程,PPT+代码
专知会员服务
173+阅读 · 2020年4月12日
49篇ICLR2020高分「图机器学习GML」接受论文及代码
专知会员服务
60+阅读 · 2020年1月18日
相关资讯
6000字,快速理解低代码
人人都是产品经理
2+阅读 · 2022年1月3日
2021 年 Python 的好与坏
InfoQ
2+阅读 · 2021年11月16日
【数字孪生】面向智能制造的数字孪生
产业智能官
49+阅读 · 2020年5月10日
【数字孪生】数字孪生技术从概念到应用
产业智能官
86+阅读 · 2020年2月16日
【数字孪生】九论数字孪生
产业智能官
57+阅读 · 2019年7月6日
相关基金
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
2+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2010年12月31日
微信扫码咨询专知VIP会员