Event Listing

16 FEB 2015
@ 2:00 pm
PRECISE Seminar: High-Assurance Multi-Core Processors with Verifiable and Comprehensive Information Flow Control
As computing devices are increasingly consolidated and shared by multiple, potentially distrusting, applications, hardware must be able to provide strong isolation among software entities. For example, automative systems must be able to ensure that safety-critical control… Read more
22 JAN 2015
@ 1:00 pm
PRECISE Seminar: Formal Verification of Distributed Aircraft Controllers
Formal verification and theorem proving have been used successfully in many discrete applications, such as chip design and verification.  However, computation is not confined to the discrete world of desktop computing.  Increasingly, we depend on discrete software to control… Read more
10 DEC 2014
@ 11:00 am
Joint PRECISE-GRASP Seminar: Remote and Distributed Estimation over Shared Networks - New Results and Open Problems
This talk will focus on the design of distributed estimation systems that are formed by multiple non-collocated components. A shared network is used to disseminate information among the components. I will discuss two recent results: Assuming that the network is… Read more
25 NOV 2014
@ 1:30 pm
PRECISE Seminar: Robust Abstractions for Replicated Shared State
In the age of cloud-connected mobile devices, users want responsive apps that read and write shared data everywhere, at all times, even if network connections are slow or unavailable. Replication and eventual consistency, while able to deliver this experience, require us to… Read more
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