MEASUREMENT-BASED PROBABILISTIC TIMING ANALYSIS: FROM ACADEMIA TO SPACE INDUSTRY

机译：基于测量的概率时序分析：从学术界到航天工业

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

In this paper we present progress in developingrnthe Measurement Based variant of Probabilistic Timing Analysisrn(PTA) known as MBPTA. PTA provides us with a level ofrnconfidence in our Worst-Case Execution Time (WCET) resultsrnnot previously achievable. MBPTA has also been shown to bernthe PTA variant closest to industrial practice and hence morernappealing to industrialists. The paper describes the work we haverndone so far in supporting MBPTA for the aerospace domain, withrnappropriate processing hardware and implementation added torncommercial timing analysis tools.

机译：在本文中，我们介绍了开发称为MBPTA的基于概率的时序分析（PTA）的变体的进展。 PTA为我们提供了以前无法实现的最坏情况执行时间（WCET）结果的置信度。 MBPTA还显示出最接近工业实践的PTA变体，因此对工业家更具吸引力。本文描述了迄今为止我们在支持航空航天领域的MBPTA，适当的处理硬件以及添加到商业时序分析工具中的实现方面所做的工作。

著录项

来源
《DASIA 2015: Data systems in aerospace》|2015年|1-5|共5页
会议地点 Barcelona(ES)
作者
Philippa Ryan Conmy; Mark Pearce; Marco Ziccardi; Enrico Mezzetti; Tullio Vardanega; Jan Anderson; Andrea Gianarro; Carles Hernandez; Francisco J. Cazorla;
展开▼
作者单位

Rapita Systems Ltd., UK;

Rapita Systems Ltd., UK;

Department of Mathematics, University of Padua, Italy;

Department of Mathematics, University of Padua, Italy;

Department of Mathematics, University of Padua, Italy;

Aeroflex-Gaisler;

Aeroflex-Gaisler;

Barcelona Supercomputing Center, Spain Spanish National Research Council (IIIA-CSIC);

Barcelona Supercomputing Center, Spain;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词
Worst-case execution time; probabilistic timing analysis; safety; verification;

机译：最坏情况的执行时间;概率时序分析;安全性;验证;

相似文献

外文文献
中文文献
专利

1. Adapting TDMA arbitration for measurement-based probabilistic timing analysis [J] . Panic Milos, Abella Jaume, Quinones Eduardo, Microprocessors and microsystems . 2017,第jula期

机译：调整TDMA仲裁以进行基于测量的概率时序分析
2. Fitting processor architectures for measurement-based probabilistic timing analysis [J] . Kosmidis Leonidas, Quinones Eduardo, Abella Jaume, Microprocessors and microsystems . 2016,第NOVa期

机译：适合处理器架构的基于测量的概率时序分析
3. Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources [J] . Leonidas Kosmidis, Tullio Vardanega, Jaume Abella, OASIcs : OpenAccess Series in Informatics . 2013,第1期

机译：将基于测量的概率时序分析应用于缓冲区资源
4. MEASUREMENT-BASED PROBABILISTIC TIMING ANALYSIS: FROM ACADEMIA TO SPACE INDUSTRY [C] . Philippa Ryan Conmy, Mark Pearce, Marco Ziccardi, Conference on data systems in aerospace . 2015

机译：基于测量的概率定时分析：从学术界到太空行业
5. Measurement-based analysis, modeling, and synthesis of the Internet delay space. [D] . Zhang, Bo. 2007

机译：Internet延迟空间的基于度量的分析，建模和综合。
6. Original research: Understanding current practice identifying barriers and exploring priorities for adverse event analysis in randomised controlled trials: an online cross-sectional survey of statisticians from academia and industry [O] . Rachel Phillips, Victoria Cornelius 2020

机译：原始研究：了解当前实践确定随机对照试验中不良事件分析的障碍并探索优先事项：来自学术界和行业的统计学家的在线横断面调查
7. Achieving timing composability with measurement-based probabilistic timing analysis [O] . Kosmidis, Leonidas, Quiñones, Eduardo, Abella Ferrer, Jaume, 10000

机译：通过基于测量的概率时序分析实现时序可组合性
8. Space Launch System (SLS) Program Overview: Advanced Development NASA Research Announcement Industry and Academia Day. [R] . Singer, J. A. 2012

机译：太空发射系统（sLs）计划概述：高级开发Nasa研究公告工业和学术日。

MEASUREMENT-BASED PROBABILISTIC TIMING ANALYSIS: FROM ACADEMIA TO SPACE INDUSTRY

摘要

著录项

相似文献

相关主题

期刊订阅