Modeling Languages and Analysis Tools for Complex Distributed

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. We propose to leverage 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 will extend the capabilities of AADL to allow analysis and simulation at the architecture level, detailed analysis at the module level, and support for implementation. This toolset will be marketed for use by DoD and private-sector embedded systems developers as part of an architecture-driven development methodology for safety-critical embedded systems.