FENG Guangding, MENG Bo, XIANG Yangkui. A Single Feasibility Study of System Multi-feature Analysis and Evaluation Tool Based on AADL Model[J]. International Journal of Plant Engineering and Management, 2023, 28(4): 193-212

A Single Feasibility Study of System Multi-feature Analysis and Evaluation Tool Based on AADL Model
FENG Guangding, MENG Bo, XIANG Yangkui
PLA Unit 32382, Wuhan 430000, China
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.
Key words:    IMA    multi-feature analysis    AADL    analysis tool   
Received: 2023-09-08     Revised:
DOI: 10.13434/j.cnki.1007-4546.2023.0401
Corresponding author:     Email:
Author description:
PDF(8175KB) Free
FENG Guangding
XIANG Yangkui

[1] TAO Y. AADL-based model verification and code generation technology[D]. University of Electronic Science and Technology of China, 2009. (in Chinese)
[2] LABROSSE J J. Embedded real-time operating system C/OS-III application development: Based on STM32 microcontrollers[M]. HE X Q, ZHANG A H, trans. Beihang University Press, 2012. (in Chinese)
[3] PRISAZNUK P J. Arinc 653 role in Integrated Modular avionics (IMA)[J]. AIAA/IEEE Digital Avionics Systems Conference - Proceedings, 2008: 1-10.
[4] LITTLEFIELD-LAWWILL J, VISWANATHAN R. Advancing open standards in Integrated Modular Avionics: An industry analysis[C]//Digital Avionics Systems Conference, 2007. DASC'07. IEEE/AIAA 26th. 2007.
[5] JAMESON S, STONEKING C, COOPER D G, et al. Data fusion for the apache longbow: Implementation and experiences[C]// Annual Forum Proceedings-American Helicopter Society. 2005,61(1): 585.
[6] PARKINSON P, KINNAN L. Safety-critical software development for integrated modular avionics[J]. Embedded System Engineering, 2015,11(7): 40-41.
[7] LEINER B, SCHLAGER M, OBERMAISSER R. A comparison of partitioning operating systems for integrated systems[G]// Computer Safety, Reliability, and Security. Springer, 2007: 342-355.
[8] KENT S. Model driven engineering[C]// Integrated Formal Methods. 2002: 286–298.
[9] FEILER P H, GLUNCH D P, HUDAK J J. The Architecture Analysis & Design Language ({AADL}). An Introduction[R]. 2006.
[10] FEILER P H, GLUCH D P. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language[M]. Addison-Wesley, 2012.
[11] FEILER P H, LEWIS B, VESTAL S. An overview of the SAE architecture analysis & design language (AADL) standard: a basis for model-based architecture-driven embedded systems engineering[G]// Architecture Description Languages. Springer, 2005: 3-15.
[12] LASNIER G, ZALILA B, PAUTET L. Ocarina: An environment for aadl models analysis and automatic code generation for high integrity applications[G]// Reliable Software Technologies-Ada-Europe 2009. Springer, 2009: 237-250.
[13] DISSAUX P, SINGHOFF F. Stood and cheddar: AADL as a pivot language for analysing performances of real time architectures[C]// Proceedings of the European Real Time System conference. Toulouse, France. 2008.
[14] CHKOURI M Y, ROBERT A, BOZGA M. Translating AADL into BIP-application to the verification of real-time systems[G]//Models in Software Engineering. Springer, 2009: 5-19.
[15] SRIVAREE R C, SMITH A E. Estimating all-terminal network reliability using a neural network[C]// Proceedings of the 1998 IEEE International Conference on Systems, Man, and Cybernetics. San Diego, USA: IEEE Reliability Society, 1998: 4734-4739
[16] SAWIONEK, WOJCIECHOWSKI J, ARABAS J. Synthesis of reliable networks in the presence of line failures[J]. Circuits and Systems, 2000,40(1):649-652
[17] BONAVENTURA V. Service availability of communication networks[J]. Proceedings of IEEE NTC'80, 1980,1(session-15. 2): 876-899
[18] WANG X F, CHEN G. Synchronization in small-world dynamical networks[J]. International Journal of Bifurcation and Chaos, 2002,12(1):187
[19] BARABASI A -L, ALBERT R. Emergence of scalingin random networks[J]. Science, 1999,286: 509-512.
[20] WATTS D J, STROGATZ S H. Collective dynamics of "small world" networks[J]. Nature,1998,93:440-442.
[21] NEWMAN M E J. The Structure and function of complex networks [ J]. SIAM Review, 2003,45 (2):167-256.