Timing guarantees and predictive early analysis are essential considerations for the design of reliable and verified real-time avionics systems. In this paper, we consider an environmental monitoring avionic system, which allows physical circumstances to be visually monitored continuously in real-time. We analyze timing aspects on the partitions of front-end and back-end nodes, and intermediate node which interconnects those systems. On the end nodes, we use ASIIST to evaluate the worst-case delay for PCI bus analysis. And then, we propose a novel real-time switching algorithm which ensures the delay bound on the intermediate node. Finally, we derive the end-to-end delay on the whole system accurately and show how it can be bounded. A predictive analysis on the worst-case end-to-end delay of a system, before deployment, can result in more reliable and well-verified environmental monitoring systems. We also expect this to reduce the cost of designing and implementing environmental monitoring avionic systems.
Description
IEEE Xplore Abstract - Bounding End-to-End Delay for Real-Time Environmental Monitoring in Avionic Systems
%0 Conference Paper
%1 jin2013bounding
%A Jin, Daeha
%A Ryu, Junhee
%A Park, Juyoung
%A Lee, Jaemyoun
%A Shin, Heonshik
%A Kang, Kyungtae
%B Advanced Information Networking and Applications Workshops (WAINA), 2013 27th International Conference on
%D 2013
%K bounding delay network noc real
%P 132-137
%R 10.1109/WAINA.2013.96
%T Bounding End-to-End Delay for Real-Time Environmental Monitoring in Avionic Systems
%U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6550385
%X Timing guarantees and predictive early analysis are essential considerations for the design of reliable and verified real-time avionics systems. In this paper, we consider an environmental monitoring avionic system, which allows physical circumstances to be visually monitored continuously in real-time. We analyze timing aspects on the partitions of front-end and back-end nodes, and intermediate node which interconnects those systems. On the end nodes, we use ASIIST to evaluate the worst-case delay for PCI bus analysis. And then, we propose a novel real-time switching algorithm which ensures the delay bound on the intermediate node. Finally, we derive the end-to-end delay on the whole system accurately and show how it can be bounded. A predictive analysis on the worst-case end-to-end delay of a system, before deployment, can result in more reliable and well-verified environmental monitoring systems. We also expect this to reduce the cost of designing and implementing environmental monitoring avionic systems.
@inproceedings{jin2013bounding,
abstract = {Timing guarantees and predictive early analysis are essential considerations for the design of reliable and verified real-time avionics systems. In this paper, we consider an environmental monitoring avionic system, which allows physical circumstances to be visually monitored continuously in real-time. We analyze timing aspects on the partitions of front-end and back-end nodes, and intermediate node which interconnects those systems. On the end nodes, we use ASIIST to evaluate the worst-case delay for PCI bus analysis. And then, we propose a novel real-time switching algorithm which ensures the delay bound on the intermediate node. Finally, we derive the end-to-end delay on the whole system accurately and show how it can be bounded. A predictive analysis on the worst-case end-to-end delay of a system, before deployment, can result in more reliable and well-verified environmental monitoring systems. We also expect this to reduce the cost of designing and implementing environmental monitoring avionic systems.},
added-at = {2014-08-12T11:11:18.000+0200},
author = {Jin, Daeha and Ryu, Junhee and Park, Juyoung and Lee, Jaemyoun and Shin, Heonshik and Kang, Kyungtae},
biburl = {https://www.bibsonomy.org/bibtex/20cf4f0b33a40b123a8f9bdd12f646783/eberle18},
booktitle = {Advanced Information Networking and Applications Workshops (WAINA), 2013 27th International Conference on},
description = {IEEE Xplore Abstract - Bounding End-to-End Delay for Real-Time Environmental Monitoring in Avionic Systems},
doi = {10.1109/WAINA.2013.96},
interhash = {1d0ee00c7e5e54ad841a9671e0445421},
intrahash = {0cf4f0b33a40b123a8f9bdd12f646783},
keywords = {bounding delay network noc real},
month = {March},
pages = {132-137},
timestamp = {2014-08-12T11:11:18.000+0200},
title = {Bounding End-to-End Delay for Real-Time Environmental Monitoring in Avionic Systems},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6550385},
year = 2013
}