In industrial control systems (ICS), programmable logic controllers (PLCs) directly control
and monitor physical processes in real-time such as nuclear plants, and power grid stations …

Memory access violations are a leading source of unreliability in C programs. As evidence of
this problem, a variety of methods exist that retrofit C with software checks to detect memory …

Microcontrollers are the heart of embedded systems. Due to cost and power constraints, they
do not have memory management units (MMUs) or even memory protection units (MPUs) …

Call stack protection, including executing at least one appli cation program on the one or
more computer processors, including initializing threads of execution, each thread hav ing a …

The growing complexity and increased networking of security and safety-critical systems
expose them to the risk of adversarial compromise through remote attacks. These attacks …

This paper presents a novel method to determine the maximum stack memory used in
preemptive, shared stack, real-time systems. We provide a general and exact problem …

The paper presents two novel methods to bound the stack memory used in preemptive,
shared stack, real-time systems. The first method is based on branch-and-bound search for …

Most programming languages support a call stack in the programming model and also in the
runtime system. We show that for applications targeting low-power embedded …

In the design of hard real-time systems, the feasibility of the task set is one of the primary
concerns. However, in embedded systems with scarce resources, optimizing resource …

Mobile communication devices have multitasking embedded software running in their
operating systems (OS) as well as applications. Both the OS modules and the application …