search menu icon-carat-right cmu-wordmark

Temporal Partitioning and Verification in Distributed Cyber-Physical Systems

Presentation
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

Abstract

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

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