The Multicore Challenge in Assured Autonomy

Abstract

Timing verification of software executing on undocumented multicore can be achieved through an abstraction that models the effect of shared hardware resources. Run-time monitoring of execution time is possible by monitoring a lower bound on the cumulative number of units of execution that a task has performed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2021
Accession Number
AD1126942

Entities

People

  • Björn Andersson
  • Dionisio de Niz
  • Mark Klein

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Acquisition
  • Actuators
  • Autonomous Systems
  • Autonomy
  • Copyrights
  • Department Of Defense
  • Engineering
  • Environment
  • Filtration
  • Governments
  • Guarantees
  • Intervals
  • Materials
  • Monitoring
  • Numbers
  • Perception
  • Real Numbers
  • Software Development
  • Time Intervals
  • Universities
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Parallel and Distributed Computing.