Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Presentation

Temporal Partitioning and Verification in Distributed Cyber-Physical Systems

  • 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.

  • Download