首页> 外文OA文献 >Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

【2h】

Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

机译：具有UPPAAL分布式多核航空电子系统的调度分析

代理获取

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

页面导航

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

著录项

作者
Pujie Han; Zhengjun Zhai; Brian Nielsen; Ulrik Nyman; Martin Kristjansen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL [J] . Han Pujie, Zhai Zhengjun, Nielsen Brian, Journal of Aerospace Computing, Information, and Communication . 2019,第11期

机译：使用UPPAAL的分布式多核航空电子系统的可调度性分析
2. Compositional Schedulability Analysis of Multicore Modular Avionic Architectures [J] . Jalil Boudjadar Journal of Computers . 2018,第10期

机译：多核模块化航空架构的组成调度分析
3. Model-Based Design and Schedulability Analysis for Avionic Applications on Multicore Platforms [J] . Wenceslas Godard, Geoffrey Nelissen Ada user journal . 2016,第3期

机译：多核平台上航空电子应用的基于模型的设计和可调度性分析
4. Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems [C] . Kim Jung-Eun, Yoon Man-Ki, Bradford Richard, 2014 IEEE 38th Annual International Computers, Software and Applications Conference . 2014

机译：用于多核航空电子系统的具有无冲突I / O的集成模块化航空电子（IMA）分区计划
5. Schedulability analysis and partitioning in a multicore Hard Real-Time system environment. [D] . Vigeant, Guillaume Philippe Morgan. 2011

机译：多核Hard Real-Time系统环境中的可调度性分析和分区。
6. Scheduling Independent Partitions in Integrated Modular Avionics Systems [O] . Jinchao Chen, Chenglie Du, Pengcheng Han 2011

机译：计划集成模块化航空电子系统中的独立分区
7. Compositional Schedulability Analysis of An Avionics System Using UPPAAL [O] . Boudjadar Jalil, Larsen Kim Guldstrand, Kim Jin Hyun, 2014

机译：基于UppaaL的航空电子系统组成可调度性分析

Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

著录项

引文网络

相似文献

相关主题

期刊订阅