search menu icon-carat-right cmu-wordmark

Temporal Partitioning and Verification in Distributed Cyber-Physical Systems

March 2017 Presentation
Dionisio de Niz, Bjorn Andersson

This presentation describes innovations in the temporal protection of components that perform computations throughout multiple processors and have end-to-end timing requirements.

Abstract

This presentation describes innovations in the temporal protection of components that perform computations throughout multiple processors and have end-to-end timing requirements.