首页> 外文会议>IEEE Real-Time and Embedded Technology and Applications Symposium >Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems

【24h】

Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems

机译：演示摘要：实时和安全关键系统的运行时监视环境

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

NA

机译：在

著录项

来源
《IEEE Real-Time and Embedded Technology and Applications Symposium》|2016年|1-1|共1页
会议地点
作者
Geoffrey Nelissen; Humberto Carvalho; David Pereira; Eduardo Tovar;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Real-time scheduling algorithm for safety-critical systems on faulty multicore environments [J] . Pathan Risat Mahmud Real-time systems . 2017,第1期

机译：故障多核环境下安全关键系统的实时调度算法
2. A flexible environment for rapid prototyping and analysis of distributed real-time safety-critical systems [J] . H.A. Thompson, D.N. Ramos-Hernandez, J. Fu, Control Engineering Practice . 2007,第1期

机译：用于分布式实时安全关键系统的快速原型设计和分析的灵活环境
3. A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems [J] . KRISTINA LUNDQVIST, LARS ASPLUND Real-time systems . 2003,第1期

机译：安全关键系统的符合Ravenscar的运行时内核
4. Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems [C] . Geoffrey Nelissen, Humberto Carvalho, David Pereira, IEEE Real-Time and Embedded Technology and Applications Symposium . 2016

机译：演示摘要：实时和安全关键系统的运行时间监控环境
5. A theory of run-time verification for safety critical reactive systems. [D] . Elks, Carl R. 2005

机译：安全关键反应系统的运行时验证理论。
6. Biomedical real-time monitoring in restricted and safety-critical environments [O] . A Astaras, P D Bamidis, C Kourtidou-Papadeli, 2008

机译：在受限和对安全至关重要的环境中进行生物医学实时监控
7. Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems [O] . Nelissen Geoffrey, Pereira David, Pinho Luis Miguel 2015

机译：迈向实时安全关键系统的运行时验证框架

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号