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.

Publisher:

Software Engineering Institute

This presentation was created for a conference series or symposium and does not necessarily reflect the positions and views of the Software Engineering Institute.

Abstract

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