Results 61 to 70 of about 2,490 (199)
A Framework for Evaluating Schedulability Analysis Tools
, 2017 International audienceThere exists a large variety of schedulability analysis tools based on dierent, often incomparable timing models. This variety makes it dicult to choose the best t for analyzing a given real-time system.
Sophie Quinton +7 more
core +1 more source
Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL [PDF]
, 2019 This paper presents an approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 multicore modules connected by a unified Avionics Full-Duplex Switched Ethernet (AFDX ...
Nyman, Ulrik +4 more
core +1 more source
A Lattice-Theoretic Formulation for Rate Monotonic Schedulability Analysis
MathematicsFixed-priority schedulability analysis for uniprocessor real-time systems is computationally difficult, and exact Rate Monotonic (RM) analysis is weakly NP-complete.
Moonju Park
doaj +1 more source
MathematicsModeling and verification of the correct behavior of embedded real-time systems with strict timing constraints is a well-known and important problem. Failing to fulfill a deadline in system operation can have severe consequences in the practical case ...
Libero Nigro, Franco Cicirelli
doaj +1 more source
IEEE AccessIn a limited preemption real-time system with a cache architecture, scheduling analysis must not only consider the execution time of tasks and the blocking of lower-priority tasks, but also precisely analyze cache-related preemption delays (CRPD). In set-
Pengyu Zhou
doaj +1 more source
Unified overhead-aware schedulability analysis for slot-based task-splitting [PDF]
, 2014 Hard real- time multiprocessor scheduling has seen, in recent years, the flourishing of semi-partitioned scheduling algorithms. This category of scheduling schemes combines elements of partitioned and global scheduling for the purposes of achieving ...
Sousa, Paulo Baltarejo +4 more
core +1 more source
Sensitivity Analysis of Strictly Periodic Tasks in Multi-Core Real-Time Systems
IEEE Access, 2019 In the design phase of real-time systems, it cannot be expected that the timing attributes of all tasks are completely specified and never changed. The increased computation times or shortened periods in a schedulable system often cause deadlines to be ...
Jinchao Chen +3 more
doaj +1 more source
Parameterized Schedulability Analysis on Uniform Multiprocessors
, 2010 This paper addresses global Rate-Monotonic (RM) scheduling of implicit-deadline periodic real-time tasks on uniform multiprocessor platforms. In particular, we propose new schedulability conditions that include a set of easily computable task-set ...
Jonsson, Jan +5 more
core +1 more source
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata [PDF]
, 2003 We study schedulability problems of timed systems with non-uniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and deadlines are known.
Krcal, Pavel +3 more
core +1 more source
IEEE Access, 2018 Cybersecurity is increasingly important for the safety and reliability of autonomous vehicles. The controller area network (CAN) is the most widely used in-vehicle network for automotive safety-critical applications.
Wufei Wu +6 more
doaj +1 more source