The Osate Slicer: Graph-Based Reachability for Architectural Models

Abstract

Models are hard to comprehend for both manual and automated analyses. For humans: High cognitive burden unwieldy far quicker than programs. For automated analyses: Traversal of model elements not easily converted to data- or control-flow ordering.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 20, 2023
Accession Number
AD1207043

Entities

People

  • Sam Procter

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Copyrights
  • Demographic Cohorts
  • Department Of Defense
  • Embedded Systems
  • Engineering
  • Feedback
  • Governments
  • Guarantees
  • Materials
  • Patents
  • Security
  • Software Development
  • Test And Evaluation
  • Test Methods
  • Universities
  • Validation

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Software Engineering.