Profile photo of Steven Reiss
Steven Reiss, Ph.D.
PRECISE Seminar: Searching for the User Interface - First Steps
March 28, 2014

User interface code can be complex and buggy.  Moreover, designing user-friendly interfaces can be difficult.   One way around this is is to reuse interfaces others have written and tested.  We are developing a framework whereby the user provides a sketch of the desired interface and we use code search over open source repositories to find existing user implementations that have an interface similar to the sketch.  The tool we have developed extracts user interfaces from the open source applications, matches them against the user's sketch, lets the programmer interact with the results,…

Profile photo of Miroslav Pajic
Miroslav Pajic
PRECISE Seminar: Robustness of Attack-resilient State Estimators
March 28, 2014

(Joint work with Konstantinos Gatsis)

The interaction between information technology and physical world makes Cyber-Physical Systems (CPS) vulnerable to malicious attacks beyond the standard cyber attacks. This has motivated the need for attack-resilient state estimation. Yet, the existing state-estimators are based on the non-realistic assumption that the exact system model is known. Consequently, in this work we present a method for state estimation in presence of attacks, for systems with noise and modeling errors. When the estimated states are used by a state-based…

Profile photo of Konstantinos Gatsis
Konstantinos Gatsis
PRECISE Seminar: Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels
March 28, 2014

(Joint work with Miroslav Pajic)

We consider a wireless networked control system with multiple loops closing over a shared wireless medium. To avoid interferences a centralized scheduler decides which control task accesses the channel at each time step, opportunistically based on the random wireless channel conditions that systems experience. We formulate the problem of designing channel-aware scheduling and transmit power allocation mechanisms that guarantee Lyapunov-like control performance for all tasks in expectation over the channel conditions, while they also…

Profile photo of Jonathan Sprinkle
Jonathan Sprinkle, Ph.D.
PRECISE Seminar: Humans and Models in a Cyber-Physical World
March 26, 2014

This talk covers several results focused on humans interacting with Cyber-Physical Systems: those systems whose computation, control, and communication aspects are tightly coupled. Human inputs to these systems has typically required significant training, which reduces the impact of these systems and the cost of their adoption. The main approach taken to mitigating issues in these systems is to utilize code generation and model based design, in order to utilize verification tools in domains for which they were not originally imagined, or whose complexity might prevent users from another…

Profile photo of Marco Caccamo
Marco Caccamo, Ph.D.
PRECISE Seminar: Predictable Integration of Safety-Critical Software on COTS-based Embedded Systems
March 5, 2014

Building safety-critical real-time systems out of inexpensive, non-realtime, COTS components is challenging. Although COTS components generally offer high performance, they can occasionally incur significant timing delays. To prevent this, we propose two approaches: 1) a new "clean slate" real-time, memory-centric scheduling paradigm, named PRedictable Execution Model (PREM); and 2) a framework of novel application-transparent, kernel-level techniques to perform fine-grained resource reservation of cache space and memory bandwidth in multi-core real-time systems.

We have…