Embedded System Architecture Verification Tool: AADL Inspector v1.10 Upgraded

Software architecture modeling and early verification are key aspects of embedded applications.The Architecture Analysis and Design Language (AADL) is a language designed specifically for application software and execution platform architecture models, featuring both textual and graphical characteristics. AADL Inspector is a lightweight standalone tool:

Core processing capabilities include

√ Support for processing AADL v2.3 standard (SAE AS-5506D)

√ Deep compatibility with the Behavior Annex

√ Integration of the Error Annex (EMV2)

√ Cross-domain system assurance case construction through rich semantics

• Static attribute analysis

• Real-time verification

• Functional safety assurance

• Cybersecurity assessment

○ Supports front-end modeling languages for large-scale software-intensive systems

○ Serves as a hub format in the software development toolchain

Tool architecture and interface components consist of

The user-friendly graphical interface includes three core components:

• AADL source file browser: supports defining hierarchical project structures and clear access to existing libraries

• Multi-document editing environment: supports cross-file collaborative development

• Customizable tool tab group: used to activate and display the output results of processing tools

New features in AADL Inspector v1.10

▷ Support for SysMLv2

• SysMLv2 textual symbol parser and printer

• Support for SysMLv2 domain library

• Bidirectional conversion between SysMLv2 and AADL models

▷ AADL textual specification import

• Support for single file or hierarchical project import

• Syntax analysis (aadlrev)

• Compatible standards:

○ AADL v2.3(AS-5506D)

○ AADL Behavior Annex v2.0(AS-5506/3 Annex D)

○ AADL Error Model v2.0 (AS-5506/1A Annex E)

○ AADL ARINC653 Annex (AS-5506/1A Annex A)

○ AADL FACE™ Annex (AS-5506/4 Annex F)

• Upward compatibility with AADL v1, v2.0, and v2.1

• Support for converting legacy AADL models to v2.2 (with some limitations on attribute associations)

▷ External model import/export

• Support for importing FACE™, SysML, and Capella models

• Support for importing AADL libraries from GitHub

▷ Real-time and deployment wizard

• Provides guidance for real-time system deployment configuration

▷ Static rule checker

• Integrates OCARINA syntax and semantic analyzer (out of the box)

• Customizable AADL rule checking based on LMP

• Declarative model metrics

• Automatic detection of root systems

• Automatic generation of instance models

▷ Timing analysis

• Integrates CHEDDAR v3.2 analysis kernel (plug and play)

• Conversion from AADL to Cheddar models

• Enhanced post-processing output formats

• Output of scheduling static simulation VCD (Value Change Dump) files

• Response time analysis

• Scheduling-aware end-to-end flow latency analysis (SAFLA)

▷ Event-based simulation

• Integrates MARZHIN v2 multi-agent simulation engine (plug and play)

• AADL runtime environment simulation (multi-core/multi-processor/multi-partition architecture)

• Dynamic timeline display (processor/bus/process/thread/shared data)

• Asynchronous user interaction: input/output events and data

• Simulation scenarios (input ports) and probes (output ports)

• Output of simulation trace VCD files

▷ Model property spreadsheet

• Extract key real-time properties from all thread instances

• Display software to hardware allocation relationships

▷ Safety analysis

• Generate OpenPSA description files from AADL error annex

• Initiate fault tree analysis using Bridger to start Arbre Analyste

▷ Confidentiality analysis

• Customizable security policy rule implementation

• Security rule definition and verification (LAMP)

▷ PDF document generator

▷ Ada and C code generator (Ocarina)

• Support for multi-language code generation

▷ Tool customization capabilities

• “Plug and play” analysis tool integration

• Plugin definition scripting language support

• Command line option configuration

▷ LAMP-driven functionality (logical AADL model processing)

• AADL and XML/XMI/CSV parsing

• Model query language

• Model constraint language

• Model transformation language

• Embedded rules in AADL specifications (LAMP annex)

▷ Bidirectional engineering with STOOD

• Automatically generate editable AADL instance diagrams

• Model conversion from AADL text to STOOD design

• Generate declarative AADL models based on STOOD design

For more relatedtechnical information andbusiness services, please visit http://www.softtest.cn/ to leave a message, or contactXuanji Intelligent as follows:

Previous Recommendations AADL Inspector Fault Tree Safety Analysis ModuleProduct IntroductionModel Design and Simulation Analysis Technology Based on AADLTechnical ArticleSTOOD Real-time System Architecture Modeling and Verification ToolProduct Introduction

End

“People-oriented, innovation first”

Get more information▼

Follow us

Read the original text,get more information click to support Xuanji Intelligent