Results 71 to 80 of about 2,490 (199)
Research on Partition Parameter Design Method for Integrated Modular Avionics Based on MOEA/D-ADV
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
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]
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
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
[[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
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
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.
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]
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]
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

