Laura Humphrey, Ph.D.
PRECISE Seminar: Certification and Design Challenges for Autonomous Systems
September 3, 2014

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 discussing current certification practices for avionics, then discuss challenges for extending these practices for autonomous systems. For the second topic, we will describe a mission scenario in which multiple unmanned air, ground, and sea vehicles must be used by a human operator to provide security for base defense. We will…

Yunja Choi, Ph.D.
PRECISE Seminar: Constraint Specification & Test Generation for OSEK/VDX-based Operating Systems
August 4, 2014

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 to model a sound environment that satisfies system requirements and constraints in order to ensure efficiency and effectiveness of verification.

This talk introduces my approach to address this issue using constraint patterns identified from the OSEK/VDX international standard for automotive operating systems.…

Weidong Mao, Ph.D.
PRECISE Seminar: Advances in Video On-Demand Systems
June 19, 2014

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 years.  These advances enable the delivery of large amount of content to multiple devices of large number of subscribers in scale with increasing capabilities.

This presentation will discuss the next generation Video On Demand architecture and several recent advances in Control/Data Plane and Content Delivery…

Profile photo of Sarfraz Khurshid
Sarfraz Khurshid, Ph.D.
PRECISE Seminar: Assertion-driven Development and Analyses
May 12, 2014

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 a far broader role of assertions where they are the cornerstone of a wide range of analyses that synergistically promise to bring about an unprecedented increase in reliability.

This talk describes our ongoing work on assertion-driven development and analyses, where developers first assert designs and then…

Profile photo of Swarat Chaudhuri
Swarat Chaudhuri, Ph.D.
PRECISE Seminar: Adventures in Automated Programming
April 3, 2014

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 specifications.  In this talk, I will describe my recent work in this area. Topics covered will include:

(1) A probabilistic approach to program synthesis where "beliefs" about missing elements in a program are refined based on examples supplied by the programmer.

(2) A method for synthesizing path-planning…