首页> 外文OA文献 >Ensuring Code Safety Without Runtime Checks for Real-Time Control Systems

【2h】

Ensuring Code Safety Without Runtime Checks for Real-Time Control Systems

机译：在不进行实时控制系统运行时检查的情况下确保代码安全

页面导航

著录项
相似文献
相关主题

著录项

作者
Sumant Kowshik; Dinakar Dhurjati; Vikram Adve;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Memory Safety Without Runtime Checks or Garbage Collection [J] . Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2003,第7期

机译：内存安全，无需运行时检查或垃圾回收
2. Design pattern for the runtime model-based checking of a real-time embedded system [J] . J. Arm, Z. Bradac, O. Bastan, IFAC PapersOnLine . 2019,第27期

机译：基于运行时模型的实时嵌入式系统检查的设计模式
3. WCET-Aware Partial Control-Flow Checking for Resource-Constrained Real-Time Embedded Systems [J] . Gu Z., Wang C., Zhang M., IEEE Transactions on Industrial Electronics . 2014,第10期

机译：资源受限的实时嵌入式系统的WCET感知部分控制流检查
4. Ensuring code safety without runtime checks for real-time control systems [C] . Sumant Kowshik, Dinakar Dhurjati, Vikram Adve International conference on Compilers, architecture, and synthesis for embedded systems . 2002

机译：确保代码安全性，而无需对实时控制系统进行运行时检查
5. Embedding Runtime Verification Post-deployment for Real-time Health Management of Safety-critical Systems [D] . Kempa, Brian Christopher Schwinkendorf 2019

机译：将运行时验证后部署嵌入到安全关键系统的实时健康管理中
6. Efficacy and Safety of Controlled Ovarian Stimulation With or Without Letrozole Co-administration for Fertility Preservation: A Systematic Review and Meta-Analysis [O] . Benedetta Bonardi, Claudia Massarotti, Marco Bruzzone, 2020

机译：受控卵巢刺激的疗效和安全性与生育保存的Letrozole Co-antions：系统审查和荟萃分析
7. Memory Safety Without Runtime Checks or Garbage Collection [O] . Dinakar Dhurjati, Sumant Kowshik, Vikram Adve, 2003

机译：内存安全，无需运行时检查或垃圾回收
8. Intelligent Transportation Systems in Work Zones. A Case Study. Real-Time Work Zone Traffic Control System. Using an Automated Traffic Information System to Reduce Congestion and Improve Safety During Reconstruction of the I-55 Lake Springfield Bridge in [R] . 2004

机译：工作区智能交通系统。案例研究。实时工作区交通控制系统。使用自动交通信息系统减少拥堵并提高I-55 Lake springfield大桥重建期间的安全性

Ensuring Code Safety Without Runtime Checks for Real-Time Control Systems

著录项

相似文献

相关主题

期刊订阅