Jonathan Stephen Anderson

Learn More
The Distributed Real-Time Specification for Java (DRTSJ) is under development within Sun's Java Community Process (JCP) as Java Specification Request 50 (JSR-50), lead by the MITRE Corporation. We present the engineering considerations and design decisions settled by the Expert Group, the current and proposed form of the Reference Implementation, and a(More)
Our interest is in formal models of the specification process. In this paper we argue that with the right perspective and set of assumptions, work in AI planning may be brought to bear on three aspects of designing a software specification: proposing a specification (generation); analyzing a proposed specification for problems (critiquing); and modifying a(More)
(ABSTRACT) In order to save energy consumption in idle states, low duty-cycled operation is widely used in Wireless Sensor Networks (WSNs), where each node periodically switches between sleeping mode and awake mode. Although efficient toward saving energy, duty-cycling causes many challenges , such as difficulty in neighbor discovery due to asynchronous(More)
We present a real-time scheduling algorithm called VCUA, for tasks whose execution times are functions of their starting times. We model such variable execution times with variable cost functions (or VCFs). The algorithm considers application activities that are subject to time/utility function time constraints, VCFs, and the scheduling objective of(More)
Many real-time systems are distributed, i.e. they use a network to interconnect different Java nodes. The current RTSJ specification is itself insufficient to address this challenge; it requires distributed facilities to control the network and maintain end-to-end real-time performance. To date, the real-time Java community worked in DRTSJ (The Distributed(More)
(ABSTRACT) This thesis considers the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orphans—i.e., thread segments that are disconnected from the thread's root. A termination model is considered for recovering from such failures. In this model the(More)
We consider the problem of scheduling distributable real-time threads in networked embedded systems that operate under run-time uncertainties including those on thread execution times, thread arrivals, and node failure occurrences. We present a distributed scheduling algorithm called CUA. We show that CUA satisfies thread time constraints in the presence of(More)
We consider the problem of recovering from failures of distributable threads in distributed real-time systems that operate under run-time uncertainties including those on thread execution times, thread arrivals, and node failure occurrences. When a thread encounters a node failure, it causes orphans. Under a termination model, the orphans must be detected(More)
We demonstrate a consensus utility accrual scheduling algorithm for distributable threads with run-time uncertainties in execution time, arrival models, and node crash failures. The DUA-CLA algorithm's message complexity (O(f n)), lower time complexity bound (O(D + f d + nk)), and failure-free execution time (O(D + nk)) are established, where D is the(More)
(ABSTRACT) Energy efficiency is a critical feature of wireless sensor networks (WSNs), because sensor nodes run on batteries that are generally difficult to recharge once deployed. For target tracking—one of the most important WSN application types—energy efficiency needs to be considered in various forms and shapes, such as idle listening, trajectory(More)