Event Listing

18 NOV 2014
@ 1:30 pm
Joint PRECISE-GRASP Seminar: Pushback Rate Control - The Design and Field Testing of an Airport Congestion Control Algorithm
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
10 OCT 2014
@ 12:00 pm
PRECISE Seminar: Making Formal Methods Work in Industrial Practice
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
08 OCT 2014
@ 12:00 pm
PRECISE Seminar: Electronics for Interacting with the Real World
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
03 OCT 2014
@ 5:00 pm
PRECISE Seminar: Penn Tech Entrepreneur - From Humble Dorm Room to World Class Billionaire
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
03 SEP 2014
@ 12:00 pm
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
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
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
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
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
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