Feasibility Analysis of IMA Configuration Design Tool

With the widespread application of integrated modular aviation(IMA)electronic systems,the requirements of IMA characteristic analysis and configuration generation have also improved significantly."Configuration and design system based on AADL models(real-time,reliability,interactive complexity,and schedulability)analysis of the AADL model"mainly get through key characteristic analysis for optimization,combined with input of component parameter information and constraint information,assist designers in generating system configuration information,and form a comprehensive modular avionics system resource configuration strategy generation platform.Also,the tool can generate configuration plans for avionics system software and hardware physical architecture configuration.The analysis of the avionics system model mainly involves designers inputting the existing system model architecture for multi characteristic analysis,it can realize the multi-character analysis based on software intensive system architecture models for software dense systems.Inter-complexity and schedulability analysis,and according to characteristic constraint analysis、system model assessment parameters and system architecture constraint parameters to generate configuration scheme information that meets the requirements.The system can meet domestic and foreign software-intensive systems and meet its quality requirements.

A Single Feasibility Study of System Multi-feature Analysis and Evaluation Tool Based on AADL Model

The tool for analyzing and evaluating system characteristics based on the AADL model can achieve real-time,reliability,security,and schedulability analysis and evaluation for software-intensive systems.It provides a complete solution for quality analysis of real-time,reliability,safety,and schedulability in the design and demonstration stages of software-intensive systems.By using the system′s multi-characteristic(real-time capability,reliability,safety,schedulability)analysis and evaluation tool based on AADL models,it can meet the software non-functional requirements stipulated by the existing model development standards and specifications.This effectively enhances the efficiency of demonstrating the compliance of the system′s non-functional quality attributes in the design work of our unit′s software-intensive system.It can also improve the performance of our unit′s software-intensive system in engineering inspections and requirement reviews conducted by various organizations.The improvement in the quality level of software-intensive systems can enhance the market competitiveness of our unit′s electronic products.