Event Listing

03 SEP 2014
@ 12:00 pm
Seminar
PRECISE Seminar: Certification and Design Challenges for Autonomous Systems
This seminar will cover three topics -- certification challenges for autonomous systems, a DoD-relevant application domain for human-autonomous mission planning, and formal methods for synthesis of human-automation mission plans. For the first topic, we will start by… Read more
04 AUG 2014
@ 4:00 pm
Seminar
PRECISE Seminar: Constraint Specification & Test Generation for OSEK/VDX-based Operating Systems
Automotive operating system is a safety-critical software that controls electrical devices installed in automobiles. It is supposed to work safely under any arbitrary interactions with application programs, which is a major difficulty in safety verification.  It is important… Read more
19 JUN 2014
@ 3:00 pm
Seminar
PRECISE Seminar: Advances in Video On-Demand Systems
With the advent of high performance storage, content delivery network (CDN), adaptive IP streaming, advanced compression, and broadband networks, Video On Demand (VOD) technologies and services for cable systems and broadband Internet have evolved significantly in recent… Read more
12 MAY 2014
@ 11:00 am
Seminar
PRECISE Seminar: Assertion-driven Development and Analyses
To increase reliability, developers have long used assertions -- logical statements that are expected to be true -- as lightweight specifications of crucial properties of code.  Assertions have predominantly served two purposes: documentation and runtime checking. We envision… Read more
03 APR 2014
@ 12:30 pm
Seminar
PRECISE Seminar: Adventures in Automated Programming
The field of automated programming envisions a software design process where the programmer writes nondeterministic specifications of programming tasks in a domain-specific language, and a program synthesis algorithm is used to find correct implementations of these… Read more
28 MAR 2014
@ 3:00 pm
Seminar
PRECISE Seminar: Searching for the User Interface - First Steps
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… Read more
28 MAR 2014
@ 1:30 pm
Seminar
PRECISE Seminar: Robustness of Attack-resilient State Estimators
(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… Read more
28 MAR 2014
@ 1:00 pm
Seminar
PRECISE Seminar: Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels
(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,… Read more
26 MAR 2014
@ 12:00 pm
Seminar
PRECISE Seminar: Humans and Models in a Cyber-Physical World
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… Read more
05 MAR 2014
@ 11:00 am
Seminar
PRECISE Seminar: Predictable Integration of Safety-Critical Software on COTS-based Embedded Systems
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… Read more