Event Listing

Increased congestion on the airport surface has increased taxi times, fuel consumption, and emissions. In this talk, I will describe how operational data can be used to develop and validate queuing models of airport operations. These models yield new insights on the effect of… Read more

Industrial-scale embedded control systems are often developed in the model-based development (MBD) paradigm. The design process typically involves capturing a 'plant model' to describe the physical processes to be controlled, and a 'controller model,' which is usually a block… Read more

It used to be that we built electronic systems to interact with specific users: taking inputs, providing outputs. Seeing the incredible value that electronics has brought to so many applications, today we would like to build system that interact with all aspects of the… Read more

Are you interested in starting your own company? Do you want to see how others have succeeded? Join Penn Alumnus Robert Bond as he speaks about how college students like yourselves have started companies from their dorm room. Behind every great company is a great… Read more

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

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

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

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

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

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