首页> 外文OA文献 >Model-driven Specification of Component-based Distributed Real-time and Embedded Systems for Verification of Systemic QoS Properties

【2h】

Model-driven Specification of Component-based Distributed Real-time and Embedded Systems for Verification of Systemic QoS Properties

机译：用于验证系统Qos特性的基于组件的分布式实时和嵌入式系统的模型驱动规范

页面导航

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

著录项

作者
James H. Hill; Aniruddha Gokhale;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems [J] . Software, IEEE . 2014,第2期

机译：分布式实时受管系统：用于托管嵌入式系统的模型驱动的分布式安全信息体系结构平台
2. Verifying distributed real-time properties of embedded systems via graph transformations and model checking [J] . Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt Real-time systems . 2006,第1a2a3期

机译：通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
3. Communications-oriented development of component-based vehicular distributed real-time embedded systems [J] . Saad Mubeen, Jukka M?ki-Turja, Mikael Sj?din Journal of systems architecture . 2014,第2期

机译：基于组件的车辆分布式实时嵌入式系统的面向通信的开发
4. Model-driven Specification of Component-based Distributed Real-time and Embedded Systems for Verification of Systemic QoS Properties [C] . James H. Hill, Aniruddha Gokhale International Symposium on Parallel Distributed Processing . 2008

机译：基于组件的分布式实时和嵌入式系统的模型驱动规范，用于验证系统QoS属性
5. Model-driven fault-tolerance provisioning for component-based distributed real-time embedded systems. [D] . Tambe, Sumant. 2010

机译：基于模型的分布式实时嵌入式系统的模型驱动的容错配置。
6. Runtime verification of embedded real-time systems [O] . Thomas Reinbacher, Matthias Függer, Jörg Brauer -1

机译：嵌入式实时系统的运行时验证
7. NetQoPE: A Model-driven Network QoS Provisioning Engine for Distributed Real-time and Embedded Systems∗ [O] . 2015

机译：NetQopE：用于分布式实时和嵌入式系统的模型驱动网络Qos配置引擎*

Model-driven Specification of Component-based Distributed Real-time and Embedded Systems for Verification of Systemic QoS Properties

著录项

引文网络

相似文献

相关主题

期刊订阅