Worst-case execution time analysis of security policies for deeply embedded real-time systems

Authors:
Sibin Mohan
Affiliations:
Dept. of Computer Science, North Carolina State University, Raleigh, NC
Venue:
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Year:
2008

Citing 8
Cited 0

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Timing Analysis for Instruction Caches

Real-Time Systems - Special issue on worst-case execution-time analysis
A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints

Real-Time Systems
WCET Analysis of Probabilistic Hard Real-Time Systems

RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Embedded System Security

Computer
Timing Analysis for Sensor Network Nodes of the Atmega Processor Family

RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling

RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions

RTAS '08 Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

Deeply embedded systems often have unique constraints because of their small size and vital roles in critical infrastructure. Problems include limitations on code size, limited access to the actual hardware, etc. These problems become more critical in real-time systems where security policies must not only work within the above limitations but also ensure that task deadlines are not missed. A critical piece of information for security policies in real-time systems is the worst-case execution time (WCET) of the security code. This paper addresses some of the issues faced in the implementation of such security policies and also the process of determining WCETs for them.