|
|
Articles:2023,Vol:28,Issue(4):193-212 |
|
|
Citation: |
|
|
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 |
| Abstract: |
| 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:
|
|
|
|
|
|
|
|
References: |
|
|
[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. |
|
|
|
|
|
|
|
