Scheduling Complex Cyber-Physical Systems with Mixed-Criticality Components
Two emerging trends for designing a complex, cyber-physical systems are the component-based and mixed-criticality (MC) approaches. A component-based approach independently develops individual components and subsequently integrates them to reduce system ...
Jaewoo Lee, Keumseok Koh
doaj +1 more source
Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints
Embedded computing systems are becoming increasingly relevant in the Internet of Things (IoT) and edge computing domains, where they are often employed as the control entity of a cyber-physical system.
Sandro Di Leonardi +6 more
doaj +1 more source
Mapping AADL models to a repository of multiple schedulability analysis techniques [PDF]
To fill the gap between the modeling of real-time systems and the scheduling analysis, we propose a framework that supports seamlessly the two aspects: 1) modeling a system using a methodology, in our case study, the Architecture Analysis and Design ...
Grolleau, Emmanuel +6 more
core +1 more source
Q-CSF: Quantum-Aware Compositional Scheduling Framework for Hierarchical Real-Time Systems
Component-based design has received considerable attention owing to its advantages in terms of security and safety when developing modern embedded systems.
Jaewoo Lee, Hyeongboo Baek
doaj +1 more source
Stochastic Analysis of Cyclic Schedules [PDF]
A cyclic schedule is a sequence of tasks on a set of machines that is repeated indefinitely. We model cyclic schedules as Markov chains and use ergodic theory to analyze and improve the performance of cyclic schedules in environments with machine breakdowns, yield losses, and other sources of variability.
R. Alan Bowman, John A. Muckstadt
openaire +2 more sources
Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems
As the demand for more functions and capabilities in the system increases, the application of multiprocessors has brought advantages in many ways.
Hyuk Lee, Jin-Young Choi
doaj +1 more source
Resumen: Durante la etapa de diseño de un sistema multiprocesador de tiempo real, los test de planificabilidad son una parte clave de los algoritmos de asignación de tareas. El uso de test de planificabilidad exactos permite aumentar la eficiencia de los
Sergio Sáez, Alfons Crespo
doaj +1 more source
A Survey of Techniques for Reducing Interference in Real-Time Applications on Multicore Platforms
This survey reviews the scientific literature on techniques for reducing interference in real-time multicore systems, focusing on the approaches proposed between 2015 and 2020. It also presents proposals that use interference reduction techniques without
Tamara Lugo +3 more
doaj +1 more source
Utilization Bound Scheduling Analysis for Nonpreemptive Uniprocessor Architecture Using UML-RT
The key for adopting the utilization-based schedulability test is to derive the utilization bound. Given the computation times, this paper proposes two utilization bound algorithms to derive interrelease times for nonpreemptive periodic tasks, using a ...
S. Ewins Pon Pushpa +1 more
doaj +1 more source
DAG Hierarchical Schedulability Analysis for Avionics Hypervisor in Multicore Processors
Parallel hierarchical scheduling of multicore processors in avionics hypervisor is being studied. Parallel hierarchical scheduling utilizes modular reasoning about the temporal behavior of the upper Virtual Machine (VM) by partitioning CPU time. Directed
Huan Yang +4 more
doaj +1 more source

