4 search results - page 1 / 1 » Load-based schedulability analysis of certifiable mixed-crit... |
IEEECIT
2010
IEEE
13 years 4 months ago
2010
IEEE
Current hard real-time scheduling and analysis techniques are unable to efficiently utilize the computational bandwidth provided by multicore platforms. This is due to the large ...
RTSS
2009
IEEE
14 years 6 days ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
EMSOFT
2010
Springer
13 years 3 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...