电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
随着对安全攸关实时系统功能与非功能要求的日益增加，使用多核技术将成为发展趋势，如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题．目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台上形成很多研究成果，但在多核平台上的研究仍面临许多科学问题．同步语言SIGNAL是一种被广泛应用于安全攸关实时系统功能设计的形式化方法，适用于对系统确定性并发行为的描述．SIGNAL编译器也支持将同步规范（synchronous specification）生成仿真代码，以对其进行验证与分析．然而，现有研究较少关注从SIGNAL同步规范到支持跨平台并行代码的生成方法．研究了面向SIGNAL同步规范的并行自动代码生成方法．提出了方程依赖图EDG的概念，将SIGNAL规范转换为EDG以分析其全局数据依赖关系；研究了对EDG进行任务划分获取规范中可以并行执行部分的算法；最后，以跨平台并行编程API-OpenMP作为对象，结合程序中信号的时钟关系，将并行任务映射到OpenMP并行代码，并进行了实例验证．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- c语言代码自动生成工具,MCU代码自动生成工具介绍
- 用于代码注释生成的语法辅助机制设计 19次下载
- V模式的设计方法及自动代码生成资料下载
- 并行CRC电路HDL代码的快速生成 16次下载
- STM32库函数代码自动生成器V1.2应用程序免费下载 50次下载
- STM32库函数代码自动生成器正式版应用程序免费下载 0次下载
- 基于JavaCC的C代码自动并行化 0次下载
- 基于普适服务的代码自动生成研究_黄凯 0次下载
- STM32库函数代码自动生成器正式版 0次下载
- STM32库函数代码自动生成器正式版 0次下载
- STM32库函数代码自动生成器V1.2 0次下载
- avr初始代码生成软件
- 基于量子框架的代码自动生成技术研究
- LFSR代码自动生成工具v1.20 beta
- CRC校验代码自动生成工具
- 永磁同步电机电磁噪声的生成原理 315次阅读
- Simulink自动生成代码现阶段的学习笔记 2502次阅读
- git commit代码提交规范 453次阅读
- IDEA 神器怎么修改不规范的代码 754次阅读
- CheckStyle插件导入代码规范 921次阅读
- 个性化地定制自己的uvm代码生成器模板和脚本 1766次阅读
- 代码生成器配置和软件UART的实现 1323次阅读
- 代码编程规范之注释风格 1551次阅读
- verilog语言编写规范 1019次阅读
- 科普一下Verilog代码命名规范 3517次阅读
- Python编写代码的规范要求 1730次阅读
- Maven工具生成Mybatis的代码及映射的文件 1958次阅读
- 自动根据json字符串生成javabean类 6383次阅读
- FPGA创建一个程序生成规范 776次阅读
- 使用ModelSim自动生成状态机FSM的状态转换图 1.4w次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 92次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7蓝牙设备在嵌入式领域的广泛应用
- 0.63 MB | 3次下载 | 免费
- 89天练会电子电路识图
- 5.91 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233045次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论