Learn More
We present a scalable, hierarchical control system for the dynamic resource management of a distributed real-time embedded (DRE) system. This DRE is inspired by the DARPA adaptive and reflective middleware systems (ARMS) program. The goal of the control system is to simultaneously manage multiple resources and QoS concerns using a utility-driven approach(More)
* In this paper we discuss the problem of coordinating resource allocations among independent high-level goals, called missions, for scalable, hierarchical, Dynamic Resource Management (DRM) in a Distributed Real-time Embedded (DRE) system. The DRM goal is to dynamically allocate shared resources to simultaneously manage multiple Quality of Service (QoS)(More)
We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: the typings it infers are principal typings, and the typings agree with syntax-directed type checking on closed flow specifications. This(More)
Acknowledgments I would like to express my gratitude to my advisor, Assaf Kfoury. In his guidance, he inspired me with creative ideas and at the same time gave me the freedom to explore new directions. The values he gave me extend beyond the scope of this research. From him, I learned the discipline required in order to turn raw thinking into mature(More)
Java's Reference objects provide the programmer with limited control over the process of memory management. Although reference objects are often helpful, they introduce nondeterminism into program evaluation and lead to ambiguous program outcome. In this paper we present a calculus to formally reason about Java's Reference objects. We model multiple levels(More)
  • 1