首页> 外文OA文献 >DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

【2h】

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

机译：DOL-BIP关键：用于混合关键性多核系统的严格设计和实施的工具链

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Georgia Giannopoulou; Peter Poplavko; Dario Socci; Pengcheng Huang; Nikolay Stoimenov; Paraskevas Bourgos; Lothar Thiele; Marius Bozga; Saddek Bensalem; Sylvain Girbal; Madeleine Faugere; Romain Soulat; Benoît Dupont de Dinechin;
展开▼
作者单位

展开▼
年度 2018
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems [J] . Giannopoulou Georgia, Poplavko Peter, Socci Dario, Design automation for embedded systems . 2018,第1a2期

机译：DOL-BIP关键：用于严格的设计和混合关键性多核系统的工具链
2. Safety-critical design for secure systems: Safety critical programs require a comprehensive approach, that combines the use of specialized languages and tools, rigorously controlled testing, and the use of formal methods [J] . Robert B. K. Dewar Embedded Systems Europe . 2006,第75期

机译：安全系统的关键安全设计：关键安全程序需要全面的方法，必须结合使用专门的语言和工具，严格控制的测试以及使用正式方法
3. Design and implementation of Performance Analysis Unit (PAU) for AXI-based multi-core System on Chip (SOC) [J] . Hyun-min Kyung, Gi-ho Park, Jong Wook Kwak, Microprocessors and microsystems . 2010,第2a4期

机译：基于AXI的多核片上系统（SOC）的性能分析单元（PAU）的设计与实现
4. IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain [C] . Theodoros Kasampalis, Dwight Guth, Brandon Moore, World Congress on Formal Methods . 2019

机译：IELE：为区块链精心设计的语言和工具生态系统
5. Design and implementation of tool-chain framework to support OpenMP single source compilation on cell platform. [D] . Jiang, Yi. 2008

机译：工具链框架的设计和实现，以在单元平台上支持OpenMP单一源编译。
6. A systematic review of the use of theory in the design of guideline dissemination and implementation strategies and interpretation of the results of rigorous evaluations [O] . Philippa Davies, Anne E Walker, Jeremy M Grimshaw 2010

机译：对设计指南发布和实施策略以及对严格评估结果的解释中理论运用的系统评价
7. Toward the Design of Fault-Tolerance-and Peak-Power-Aware Multi-Core Mixed-Criticality Systems [O] . Behnaz Ranjbar, Ali Hosseinghorban, Mohammad Salehi, 2021

机译：朝着容错和峰值功率感知多核混合关键性系统的设计
8. Rigorous Design and Implementation of Fault Tolerant Ambient Systems Technical report series [R] . Iliasov, A. 2006

机译：严格设计和实施容错环境系统技术报告系列

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems

著录项

引文网络

相似文献

相关主题

期刊订阅