Simulation and Analysis Toolset for an Industry Standard Embedded Systems Specification Language

Abstract

The Architecture Analysis and Design Language (AADL) is an SAE standard language for describing the software and hardware architecture of performance-critical real-time systems. In addition, the AADL standard allows the definition of annexes, i.e., formal extensions to the standard language to enhance the design specifications of hardware or software components. Our work has leveraged the AADL language and tool development efforts to create a new toolset that incorporates simulation and analysis technologies for embedded real-time systems developed within the Charon and ACSR/VERSA projects at the University of Pennsylvania. Our integration of AADL with Charon and VERSA has extended the capabilities of AADL to allow analysis and simulation at the architecture level, detailed analysis at the module level, and provided support for implementation. This document constitutes the final technical report for our Phase II AFOSR STTR (FY 2004, Topic 23, "Modeling Languages and Analysis Tools for Complex Distribution").

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2008
Accession Number
ADA510895

Entities

People

  • Duncan Clarke
  • Oleg Sokolsky

Tags

Communities of Interest

  • Biomedical
  • Human Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Computer Programming
  • Computer Programs
  • Contracts
  • Debugging
  • Department Of Defense
  • Embedded Systems
  • Engineering
  • Language
  • Operating Systems
  • Pennsylvania
  • Simulations
  • Software Development
  • Specifications
  • Standards
  • Universities
  • User Interface

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.