首页> 外文OA文献 >Code Generation for Safety-Critical Systems – Open Questions and Possible Solutions

【2h】

Code Generation for Safety-Critical Systems – Open Questions and Possible Solutions

机译：安全关键系统的代码生成 - 开放性问题和可能的解决方案

页面导航

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

著录项

作者
Ines Fey; Ingo Stürmer;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Characterizing the Simulink-based Code Generation Toolchain for Safety-critical Applications in an ARM Cortex-R Target [J] . J. Arm, Z. Bradac, P. Fiedler, IFAC PapersOnLine . 2019,第27期

机译：为ARM Cortex-R目标中的安全关键型应用表征基于Simulink的代码生成工具链
2. Dynamic Fault Tree Generation for Safety-Critical Systems Within a Systems Engineering Approach [J] . Baklouti Anis, Nga Nguyen, Mhenni Faida, IEEE systems journal . 2020,第1期

机译：系统工程方法中安全关键系统的动态故障树生成
3. The ACROSS MPSoC - A new generation of multi-core processors designed for safety-critical embedded systems [J] . Christian El Salloum, Martin Elshuber, Oliver Hoftberger, Microprocessors and microsystems . 2013,第8ptaC期

机译：ACROSS MPSoC-专为安全关键型嵌入式系统设计的新一代多核处理器
4. Code Generation for Safety-Critical Systems - Open Questions and Possible Solutions [C] . Ines Fey, Ingo Sturmer SAE World Congress . 2008

机译：用于安全关键系统的代码生成 - 打开问题和可能的解决方案
5. Accelerated test data generation for safety-critical software systems [D] . Jamoussi, Anouar. 1997

机译：用于安全关键型软件系统的加速测试数据生成
6. Multiplex profiling of serum proteins in solution using barcoded antibody fragments and next generation sequencing [O] . Mattias Brofelth, Anna Isinger Ekstrand, Shashank Gour, 2020

机译：使用条形抗体碎片和下一代测序在溶液中的血清蛋白在溶液中复制分析
7. Model Based Development of Safety-Critical Systems Using Template Based Code Generation [O] . Matthias Regensburger, Christian Buckl, Alois Knoll, 2008

机译：使用基于模板的代码生成，基于模型的安全关键系统开发

Code Generation for Safety-Critical Systems – Open Questions and Possible Solutions

著录项

引文网络

相似文献

相关主题

期刊订阅