Seminars

Speaker
Profile photo of Jackson R. Mayo
Jackson R. Mayo, Ph.D.
PRECISE Seminar: Robust Digital Computation in the Physical World
January 18, 2017

Modern digital hardware and software designs are increasingly complex but are themselves only idealizations of a real system that is instantiated in, and interacts with, an analog physical environment. Insights from physics, formal methods, and complex systems theory can aid in extending reliability and security measures from pure digital computation (itself a challenging problem) to the broader cyber-physical and out-of-nominal arena. Example applications to design and analysis of high-consequence controllers and extreme-scale scientific computing illustrate the interplay of physics and…

Speaker
Photo of Alper Bozkurt, Ph.D.
Alper Bozkurt, Ph.D.
PRECISE Seminar: Internet of Bionic Things (Cyber-Enabled Bionic Organisms for Environmental Sensing)
November 16, 2016

The present day technology falls short in offering autonomous mobile robots that can function effectively and efficiently under unknown and dynamic environmental conditions. Insects and canines, on the other hand, exhibit an unmatched ability to navigate through a wide variety of environments and overcome perturbations by successfully maintaining control and stability. In this talk, Dr. Alper Bozkurt will present how microsystems based neural stimulation and physiological monitoring systems are used to wirelessly navigate cockroaches and train dogs to enable cyber-physical working…

Speaker
Francky Catthoor, Ph.D.
PRECISE Seminar: Challenges for future IoT gateway/infrastructure platforms and the embedding of new memory technologies
November 11, 2016

It is well-known that today's computing platforms for the IoT big data server and network router infrastructure is highly energy-consuming. And scaling this to the exascale sizes and Tbps bandwidth handling, which are required for the future, looks implausible with incremental innovations. The exploding energy consumption in today's solutions is largely due to the requirement for maintaining a strong platform flexibility and programmability across a wide range of different tasks and services. But still, also some clear opportunities are emerging to reduce this energy compared to the state-…

Speaker
Gregor Goessler, Ph.D.
PRECISE Seminar: Definitions of Logical Causality for Trace Analysis
October 19, 2016

Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to the occurrence of a failure, and the causality relation between the failure and a damage. The second issue is especially complex when several failures are detected and their impact on the occurrence of the damage has to be assessed. In this talk I will propose a formal framework for reasoning about logical causality between component failures and the violation of a system-level specification.

Speaker
John Garrity
PRECISE Seminar: Overview of GE & GE Research’s "Systems & Synthesis" Lab
October 12, 2016

I will provide an overview of GE, GE Research, and the "Systems & Synthesis" lab. Our  mission is to develop solutions that accelerate systems & sub-systems development & integration through software synthesis, V&V, and large systems discrete event simulation technologies. Our team consists of Controls Engineers, Electrical, & Systems Engineering with a focus on embedded software development & test as well as Formal methods for requirements capture, analysis & design validation & verification. My talk will focus on how we are tying these technologies to…