= AADL Inspector = AADL Inspector is a model processing framework for AADL. Its aim is to provide a light weight and extensible tool to perform static and dynamic analysis of AADL architectures, and to easily connect any AADL compliant verification tool or code generator. [[Image(LoupeAADL.jpg)]] The new version of AADL Inspector (v1.1) encompasses the following features: * Import of AADL textual specifications (individual files or projects) * syntactic analysis (aadlrev) * AADL v2.1 (AS-5506B) * AADL Behavior Annex (AS-5506/2 Annex D + errata) * AADL v1 and v2.0 upwards compatibility * converts legacy AADL 1.0 and 2.0 architectures into 2.1 (with a few restrictions on property associations) * Static rules analysis * full traceability with the standard document definitions * AADL Naming rules (chapters 4.1, 4.2, 4.3 and 4.4) * AADL Legality rules (chapters 4.1, 4.2, 4.3 and 4.4) * AADL Consistency rules (chapter 4.5) * Architectural metrics * customization capabilities (to support AADL subsets and project specific rules) * Schedulability analysis * Integration of the CHEDDAR v3 analysis kernel * AADL to Cheddar model transformation * Enhanced output format for post-processing * Dynamic simulation * Integration of the MARZIN Multi-Agents simulation engine * Emulation of the AADL run-time (currently restricted to mono-processor architectures) * Display of dynamic time-lines for Threads and Shared Data * Real Time Properties editor * Extracts main RT properties from all the Thread instances * Spreadsheet editor for easy modification * Inserts changes into the textual declarative model * Command line options for batch processing [[Image(inspector3.jpg)]]