OSCAR不忘科研初心,实验室取得重大成果!

砍柴网  •  扫码分享
我是创始人李岩:很抱歉!给自己产品做个广告,点击进来看看。  

“聚焦工业软件研发痛点,致力于编译系统设计、实现、优化、测试技术体系化改革,助力祖国工业制造高速、高质发展”。OSCAR围绕我国工业软件核心,针对内嵌式编译器存在故障机理认识不清、故障检测手段落后、全工具链测试平台缺乏等质量问题展开分析与测试。

OSCAR在有关工业软件(内嵌式编译器)代码故障检测方面取得重大成果,相关研究成果以“Partition Based Differential Testing for Finding Embedded Code Generation Bugs in Simulink”为题成功发表于期刊IEEE Transactions on Reliability。IEEE Transactions on Reliability是国际公认的可靠性领域顶级期刊,所发表的论文主要聚焦现实系统的可维护性、故障诊断、寿命预测、可靠性设计和制造,以及系统可靠性、可用性、安全性和有效性度量。本次录用的论文是由江贺教授、郭世凯副教授、李晓晨副教授以及成烘仪硕士共同完成,研究工作得到了国家自然科学基金重点项目等项目的支持。

经过实验团队的努力,仅在三个月内,实验成果RECORD就报告了一批新的Simulink编译器错误,该效果显著优于现存其他最先进的配置多样化方法。不仅如此,RECORD还可以促进不同的测试策略来发现更多的错误。

据了解,OSCAR (基础软件实验室)是由大连理工大学江贺教授组织的基础软件研发团队,成员来自大连理工大学和大连海事大学。OSCAR 主要围绕编译系统和操作系统开展研究工作,团队全面分析FPGA、PCB等电子设计自动化(EDA)核心工具链内嵌式编译器故障根因,建立工业软件测试理论基础;并提出工业软件智能测试系列方法,结合工业场景规约、软件测试与人工智能技术,实现多种类、多场景工业软件的高效测试;OSCAR研发国内首款FPGA设计工具链自动化智能测试平台,解决工业软件全工具链测试平台缺乏难题。

OSCAR研究成果广泛落地应用于航空航天、军事侦察、能源电力等重大领域,已实现多款业界FPGA开源/闭源设计工具的测试,如Vitis、Yosys、Iverilog等。发现工具链故障70余个,包括高级综合故障30+,逻辑综合故障5个,仿真验证故障20+,调试器故障10+。相关技术成果发表在TSE、FSE、DAC等顶级期刊和会议。

随意打赏

提交建议
微信扫一扫,分享给好友吧。