OSATE Support Strategy

Abstract

Tool Maintenance (bug correction improvements). OSATE itself: Modeling Language (compilation to intermediate representation); Common Analysis Execution. AADL Evolution: Standardization of new versions of AADL; Develop reference implementation of the OSATE tool supporting it. Modeling Knowhow: How to model different types of systems; How to model aspects of a system to analyze specific property types (e.g. scheduling, security, safety). New Specialized Analysis: Analysis theory; OSATE plugin development.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 21, 2022
Accession Number
AD1158129

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Contractors
  • Contracts
  • Copyrights
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Language
  • Maintenance
  • Materials
  • Patents
  • Personal Information Managers
  • Scheduling (Production)
  • Security
  • Software Development
  • Trademarks
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.