High Assurance Modeling and Rapid Engineering (HAMR) for Embedded Systems

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 28, 2019
Accession Number
AD1118547

Entities

People

  • Hariharan Thiagarajan
  • Jason Belt
  • John Hatcliff

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber
  • Engineered Resilient Systems
  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Demographic Cohorts
  • Department Of Homeland Security
  • Embedded Systems
  • Engineering
  • Ground Stations
  • Homeland Security
  • Infrastructure
  • Injectors
  • Operating Systems
  • Platforms
  • Programming Languages
  • Security
  • Simulations
  • Unmanned Systems
  • Verification
  • Visualizations