Flexible Tagged Architecture for Trustworthy Multi-core Platforms

Abstract

This project aimed to realize the full potential of fine - grained tagging scheme for monitoring and detecting errors and attacks on software programs. In this context, the project developed flexible hardware tagged architecture designs that can perform a wide range of tagging techniques with low overhead. In order to enable the fine - grained tagging techniques for real-time systems, the project also developed both static analysis and dynamic enforcement techniques to provide a strong guarantee for the worst-case program execution time with tagging. The evaluation studies through simulations and FPGA prototypes suggest that the proposed tagged architecture can provide both flexibility and efficiency, and also be safely applied to hard real time systems with strict deadlines.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2015
Accession Number
ADA619845

Entities

People

  • Gookwon Suh

Organizations

  • Cornell University

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Application-Specific Integrated Circuits
  • Computer Programming
  • Debugging
  • Diagrams
  • Domain Specific Programming Languages
  • Efficiency
  • Energy Consumption
  • Field Programmable Gate Arrays
  • Guarantees
  • Instruction Set Architecture
  • Integer Programming
  • Language
  • Models
  • Simulations
  • Test And Evaluation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Systems Analysis and Design