Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software

Abstract

How do we combine the need for safety with the need for speed?

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2023
Accession Number
AD1214452

Entities

People

  • Björn Andersson
  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Acquisition
  • Aircrafts
  • Army Aircraft
  • Army Aviation
  • Cargo Aircraft
  • Computations
  • Computer Programming
  • Computer Programs
  • Control Systems
  • Department Of Defense
  • Engineering
  • Genetic Algorithms
  • Materials
  • Performance Tests
  • Software Development
  • Transport Aircraft
  • Universities

Fields of Study

  • Computer science
  • Engineering