Current Projects:

(Also see Historical Projects page)


Autonomous Vehicle Safety and Robustness Testing


Low Cost Embedded Network Message Authentication

Student Researcher: Chris Szilagyi

How can you get cryptographically secure multicast authentication on a real time embedded network such as CAN or FlexRay? You only have a few bits to spend for this in each message, as well as limited memory and CPU power. Example result: combining truncated authenticators from multiple message packets provides a useful engineering tradeoff among bandwidth, attack resistance, and control latency.


Embedded Network Gateway Survivability

Student Researcher: Justin Ray

How can you mitigate malicious and non-malicious timing fault propagation across an embedded network gateway? Or, put another way, how can you keep your car's radio from destabilizing you car's suspension system? Example result: using a FIFO queue to mitigate timing clumps from an IT-style network to a control network can be worse than just throwing clumped messages away. Predictive filters look like a good way to go instead.


Invariant-Based Embedded System Safety Monitor

Student Researcher: Aaron Kane.

Can we create a simple, generic safety shutdown building block? Ideally, what we want is a standard component building block to ensure that a subsystem or entire system gets shut down if it exhibits unsafe behavior, without having to model the details of the design. Example result: these ideas have been successfully applied to a prototype autonomous vehicles and a prototype commercial vehicle technology demonstration platform.


Shared Hardware Support for Mixed Task Criticality Levels

Student Researcher: Malcolm Taylor

What does it take to get virtualization right for embedded systems? Hint: there is more to it than memory protection and CPU sheduling. (New start; more information at a later date.)


Philip Koopman   Phone: +1.412.268.5225  US Eastern Time  More Contact Info
{e-mail}