Robust mixed-criticality systems
Certification authorities require correctness and survivability. In the temporal domain this
requires a convincing argument that all deadlines will be met under error free conditions …
requires a convincing argument that all deadlines will be met under error free conditions …
Iris: A new reclaiming algorithm for server-based real-time systems
L Marzario, G Lipari, P Balbastre… - … . RTAS 2004. 10th IEEE …, 2004 - ieeexplore.ieee.org
In this paper we present a new algorithm for CPU resource reservation in real-time systems
that allows the coexistence of hard, soft and non real-time tasks. The proposed algorithm is …
that allows the coexistence of hard, soft and non real-time tasks. The proposed algorithm is …
[HTML][HTML] Period selection for integrated controller tasks in cyber-physical systems
C Du, L Tan, Y Dong - Chinese Journal of Aeronautics, 2015 - Elsevier
Performance optimization of cyber-physical systems (CPS) calls for co-design strategies that
handle the issues in both computing domain and physical domain. Periods of controller …
handle the issues in both computing domain and physical domain. Periods of controller …
Minimum deadline calculation for periodic real-time tasks in dynamic priority systems
Real-time systems are often designed using a set of periodic tasks. Task periods are usually
set by the system requirements, but deadlines and computation times can be modified in …
set by the system requirements, but deadlines and computation times can be modified in …
Optimal deadline assignment for periodic real-time tasks in dynamic priority systems
Real-time systems are often designed using a set of periodic tasks. Task periods are usually
set by the system requirements, but deadlines and computation times can be modified in …
set by the system requirements, but deadlines and computation times can be modified in …
Feasible automatic reconfigurations of real-time OS tasks
This research deals with reconfigurable uniprocessor embedded real-time systems to be
implemented by different OS tasks that should be independent, synchronous, and periodic …
implemented by different OS tasks that should be independent, synchronous, and periodic …
Job vs. portioned partitioning for the earliest deadline first semi-partitioned scheduling
In this paper, we focus on the semi-partitioned scheduling of sporadic tasks with constrained
deadlines and identical processors. We study two cases of semi-partitioning:(i) the case …
deadlines and identical processors. We study two cases of semi-partitioning:(i) the case …
Preservation of timing properties with the ada ravenscar profile
E Mezzetti, M Panunzio, T Vardanega - … Valencia, Spain, June 14-18, 2010 …, 2010 - Springer
Modern methodologies for the development of high-integrity real-time systems leverage
forms of static analysis that gather relevant characteristics directly from the architectural …
forms of static analysis that gather relevant characteristics directly from the architectural …
Sensitivity analysis for edf scheduled arbitrary deadline real-time systems
The correctness of a real-time system depends on not only the system's output but also on
the time at which results are produced. A hard real-time system is required to complete its …
the time at which results are produced. A hard real-time system is required to complete its …
Reconfiguration of uniprocessor sporadic real-time systems: the sensitivity approach
In this chapter the authors focus on the problem of reconfiguring embedded real-time
systems. Such reconfiguration can be decided either off-line to determine if a given …
systems. Such reconfiguration can be decided either off-line to determine if a given …