Results 71 to 80 of about 2,490 (199)

Research on Partition Parameter Design Method for Integrated Modular Avionics Based on MOEA/D-ADV

open access: yesIEEE Access, 2020
In the avionics industry, Integrated Modular Avionics (IMA) which introduces the concept of partition has been widely adopted for its isolating capability.
Huakun Chen, Weiguo Zhang, Yongxi Lyu
doaj   +1 more source

Approximate schedulability analysis

open access: yes, 2002
The schedulability analysis problem for many realistic task models is intractable. Therefore known algorithms either have exponential complexity or at best can be solved in pseudo-polynomial time, thereby restricting the application of the concerned ...
Lothar Thiele   +2 more
core  

Slotted wiDom: schedulability analysis and its experimental validation [PDF]

open access: yes, 2011
WiDom is a wireless prioritized medium access control protocol which offers a very large number of priority levels. Hence, it brings the potential to employ non-preemptive static-priority scheduling and schedulability analysis for a wireless channel ...
Andersson, Björn, Maryam, Vahabi
core  

A Deterministic Data Distribution Service Middleware for Integrating with Time-Sensitive Networking in In-Vehicle Networks

open access: yesFuture Internet
Driven by the rapid advancement of intelligence and connectivity, traditional distributed and signal-oriented automotive architectures are gradually being replaced by centralized, service-oriented architectures. In response to this transition, In-Vehicle
Yi Ren   +5 more
doaj   +1 more source

A faster exact schedulability analysis for fixed-priority scheduling

open access: yes, 2012
[[abstract]]Real-time scheduling for task sets has been studied, and the corresponding schedulability analysis has been developed. Due to the considerable overheads required to precisely analyze the schedulability of a task set (referred to as exact ...
Lu,Wan-Chen;Hsieh,Jen-Wei;Shih,Wei-Kuan;Kuo,Tei-Wei
core   +1 more source

EvoSMS: An Event-Oriented Simulation Method for Multi-Core Real-Time Scheduling

open access: yesApplied Sciences
In this paper, an event-oriented simulation analysis approach was established for the schedulability analysis of multi-core embedded systems. To the best of our knowledge, this work is the first to introduce an event-oriented simulation strategy into ...
Xianchen Shi   +3 more
doaj   +1 more source

On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks

open access: yesМоделирование и анализ информационных систем, 2018
In this paper, we consider a schedulability analysis problem for real-time modular computer systems (RT MCS). A system configuration is called schedulable if all the jobs finish within their deadlines.
Alevtina B. Glonina, Vasily V. Balashov
doaj   +1 more source

Grid scheduling for interactive analysis.

open access: yesStudies in health technology and informatics, 2006
Grids are facing the challenge of moving from batch systems to interactive computing. In the 70s, standalone computer systems have met this challenge, and this was the starting point of pervasive computing. Meeting this challenge will allow grids to be the infrastructure for ambient intelligence and ubiquitous computing. This paper shows that EGEE, the
Germain-Renaud, Cecile   +3 more
openaire   +3 more sources

Sincronização de processos em sistemas de tempo real no contexto de multiprocessadores [PDF]

open access: yes, 2012
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2012Sistemas computacionais de tempo real são identificados como aqueles sistemas ...
Carminati, Andreu
core  

Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking [PDF]

open access: yes, 2008
As Moore's law comes to an end, multi-processor (MP) systems are becoming increasingly important in embedded systems design, hence real-time schedulability analysis for MP systems has become an important research topic. In this paper, we present an exact
Deng, Q.   +9 more
core   +1 more source

Home - About - Disclaimer - Privacy