首页> 外文OA文献 >Compositional Schedulability Analysis of An Avionics System Using UPPAAL

【2h】

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

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

代理获取

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

页面导航

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

著录项

作者
Boudjadar Jalil; Larsen Kim Guldstrand; Kim Jin Hyun; Nyman Ulrik;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

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. Hierarchical System Schedulability Analysis Framework Using UPPAAL [J] . So Jin AHN, Dae Yon HWANG, Miyoung KANG, IEICE transactions on information and systems . 2016,第8期

机译：使用UPPAAL的分层系统可调度性分析框架
4. Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal [C] . Abdeldjalil Boudjadar, Alexandra David, Jin Hyun Kim, International symposium on formal aspects of component software . 2014

机译：基于Uppaal成分分析的分层调度框架。
5. Design and Analysis of the Power System and Core Avionics for a Novel 6U CubeSat [D] . ?Warshaw, Les 2020

机译：设计和电源系统和航电核心的分析新型 6U 的CubeSat
6. Compositional schedulability analysis of real-time actor-based systems [O] . Mohammad Mahdi Jaghoori, Frank de Boer, Delphine Longuet, -1

机译：基于实时参与者的系统的可调度性分析
7. Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL [O] . Pujie Han, Zhengjun Zhai, Brian Nielsen, 2019

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

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

著录项

引文网络

相似文献

相关主题

期刊订阅