Survey on periodic scheduling for time-triggered hard real-time systems

A Minaeva, Z Hanzálek - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
This survey covers the basic principles and related works addressing the time-triggered
scheduling of periodic tasks with deadlines. The wide range of applications and the …

Synthesis of queue and priority assignment for asynchronous traffic shaping in switched ethernet

J Specht, S Samii - 2017 IEEE Real-Time Systems Symposium …, 2017 - ieeexplore.ieee.org
Real-time switched Ethernet communication is of increasing importance in many cyber-
physical and embedded systems application areas such as automotive electronics, avionics …

Design optimization of frame preemption in real-time switched Ethernet

T Park, S Samii, KG Shin - 2019 Design, Automation & Test in …, 2019 - ieeexplore.ieee.org
Switched Ethernet has been, and will also be increasingly common in current and future real-
time and embedded systems. The IEEE 802.1 working group has recently developed …

An optimisation approach for pre-runtime scheduling of tasks and communication in an integrated modular avionic system

M Blikstad, E Karlsson, T Lööw, E Rönnberg - Optimization and …, 2018 - Springer
In modern integrated modular avionic systems, applications share hardware resources on a
common avionic platform. Such an architecture necessitates strict requirements on the …

[HTML][HTML] Hybrid partition-and network-level scheduling design for distributed integrated modular avionics systems

Z Xuan, H Xiong, HE Feng - Chinese Journal of Aeronautics, 2020 - Elsevier
Abstract Distributed Integrated Modular Avionics (DIMA) develops from Integrated Modular
Avionics (IMA) and realizes distributed integration of multiple sub-function areas. Time …

[PDF][PDF] Towards a Correct-by-Construction Design of Integrated Modular Avionics.

B Meng, J Debnath, SC Varanasi, E Manoloios… - FMCAD, 2023 - library.oapen.org
This paper presents a formal language and framework, OYSTER, to develop correct-by-
construction design of Integrated Modular Avionics (IMA). The OYSTER language is created …

Loosely Coupled Hybrid Scheduling of Processing and Communication for TSN-Based IMA Systems

X Zhou, F He, L Zhao - IEEE Transactions on Industrial …, 2024 - ieeexplore.ieee.org
Time-sensitive networking (TSN) has great potential as an airborne network to interconnect
modules in integrated modular avionics (IMA) system. For TSN-based IMA system, the …

A configuration framework for multi-level preemption schemes in time sensitive networking

MA Ojewale, P Meumeu Yomsi, L Almeida - Proceedings of the 30th …, 2022 - dl.acm.org
To reduce the latency of time-sensitive flows in Ethernet networks, the IEEE TSN Task Group
introduced the IEEE 802.1 Qbu Standard, which specifies a 1-level preemption scheme for …

Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach

T Robati, A Gherbi, A El Kouhen, J Mullins - Journal of Ambient …, 2017 - Springer
Integrated modular avionics architectures complemented with time-triggered ethernet
(TTEthernet) provides a strong platform to support the design and deployment of distributed …

Link between real-time scheduling and time-triggered networks

R Garreau, M Ladeira, E Grolleau… - 2023 IEEE Real …, 2023 - ieeexplore.ieee.org
We demonstrate that, for periodic systems with offsets (tasks or flows of messages within a
time-triggered network), the simulation cycle can be confined to the range of [0, hyperperiod) …