Abstract
Many large scale embedded systems are safety-critical systems and are becoming increasingly complex. They are designed and developed by a worldwide network of enterprises and companies and often use multiple distributed models with little or late integration. System Architecture Virtual Integration (SAVI) is an effective way to improve system quality and reduce cost. It enables the model-driven virtual integration of complex systems across multiple development environments. It aims to find defects earlier in the development process, thus saving time. Architecture Analysis and Design Language (AADL), as a standard architecture modelling language, supports SAVI virtual integration process and can be a central and integrated model of integration. This paper gives an overview of SAVI virtual integration based on an AADL model. The integration can be performed using model transformation that transforms heterogeneous models into an AADL model, or using the model bus through which various annotated architecture models can interoperate. The focus of SAVI is to integrate and analyze systems, and then build. So, AADL-based non-functional properties analysis approaches are presented. The tool for these methods has been implemented to demonstrate feasibility and applicability.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A digital jet for the modern battlespace, June 2018. https://www.f35.com/about/life-cycle/software
Ellison, R.J.: Assuring software reliability. Technical report, Carnegie Mellon University, Aug. 2014
Hansson, J., Helton, S., Feiler, P.: ROI analysis of the system architecture virtual integration initiative. Technical report, Carnegie-Mellon Univerity Software Engineering Institute Pittsburgh United States (2018)
SAVI virtual integration overview, June 2018. http://savi.avsi.aero/about-savi/virtual-integration/
SAE International. AS5506C - (R) Architecture Analysis and Design Language (AADL). SAE International, January 2017
SAE International. (R) SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex. SAE International, September 2015
SAE International. AS5506/2 - SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex D: Behavior Model Annex. SAE International, January 2011
Redman, D.: SAVI behavior model integration virtual integration process. Global Product Data Interoperability Summit (2015)
Ahmad, E., Larson, B.R., Barrett, S.C., Zhan, N., Dong, Y.: Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. In: ACM SIGAda Ada Letters, vol. 34, pp. 29–38. ACM (2014)
Ahmad, E., Dong, Y.W., Larson, B., Lü, J.D., Tang, T., Zhan, N.J.: Behavior modeling and verification of movement authority scenario of Chinese train control system using AADL. Sci. China Inf. Sci. 58(11), 1–20 (2015). Nov
Ahmad, E., Dong, Y., Wang, S., Zhan, N., Zou, L.: Adding formal meanings to AADL with hybrid annex. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 228–247. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-15317-9_15
ATL - a model transformation technology, June 2018. http://www.eclipse.org/atl/
Feiler, P., Wrage, L., Hansson, J.: System architecture virtual integration: a case study. In: Embedded Real-time Software and Systems Conference (2010)
Delange, J., Feiler, P.: Architecture fault modeling with the aadl error-model annex. In: 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 361–368. IEEE (2014)
Feiler, P., Hudak, J.J., Delange, J., Gluch, D.: Architecture fault modeling and analysis with the error model annex, version 2 (2016)
Ericson, C.A.: Hazard Analysis Techniques for System Safety. Wiley, Hoboken (2005)
Wei, X., Dong, Y., Li, X., Eric Wong, W.: Architecture-level hazard analysis using AADL. J. Syst. Softw. 137, 580–604 (2018)
Wei, X., Dong, Y., Yang, M., Hu, N., Ye, H.: Hazard analysis for AADL model. In: 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 1–10, Aug 2014
Gu, B., Dong, Y., Wei, X.: A qualitative safety analysis method for AADL model. In: 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion, pp. 213–217, June 2014
Wei, X., Dong, Y., Ye, H.: QaSten: integrating quantitative verification with safety analysis for AADL model. In: 2015 International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 103–110, Sept 2015
Li, L., Dong, Y., Qin, Y., Zhang, F.: Design and implementation of software reconfiguration tool based on AADL. Comput. Sci. 38(7), 121–125 (2011)
Qin, Y., Dong, Y.: Research on embedded software dynamic reconfigurable technology based on mode. Comput. Sci. 39(2), 174–175 (2012)
Wei, X., Dong, Y., Xiao, M.: Architecture-level safety-based software reconfiguration method for integrated modular avionics systems. In IEEE International Conference on Software Quality, Reliability and Security Companion, July 2018
Dong, Y., Ren Wang, G., Zhang, F., Gao, L.: Reliability analysis and assessment tool for AADL model. J. Softw. 22(6), 1252–1266 (2011)
Gao, L., Dong, Y., Zhang, F., Wang, G.: AADL system reliability model transformation method. Comput. Eng. 37(14), 21–26 (2011)
Dingle, N.J., Knottenbelt, W.J., Suto, T.: Pipe2: a tool for the performance evaluation of generalised stochastic Petri nets. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 34–39 (2009)
Chang, S., Dong, Y., Zhang, F.: On reliability analysis for embedded systems with AADL behavior model 430(4), 116–119 (2012)
Dong, Y., Cheng, Y., Wu,T., Ye, H.: On schedulability analysis for embedded systems with aadl model. In: 2013 13th International Conference on Quality Software, pp. 320–325, July 2013
Cheddar: an open-source real-time scheduling tool/simulator, June 2018. http://beru.univ-brest.fr/singhoff/cheddar/
Zimmermann, A.: Modelling and performance evaluation with TimeNET 4.4. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 300–303. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66335-7_19
Acknowledgments
This work was supported by the National Science Foundation of China under Grant No. 61772423, and the Aviation Science Foundation of China under Grant No. 2016ZC31003 and No. 20161953020.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Dong, Y., Wei, X., Xiao, M. (2018). Overview: System Architecture Virtual Integration based on an AADL Model. In: Jones, C., Wang, J., Zhan, N. (eds) Symposium on Real-Time and Hybrid Systems. Lecture Notes in Computer Science(), vol 11180. Springer, Cham. https://doi.org/10.1007/978-3-030-01461-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-01461-2_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01460-5
Online ISBN: 978-3-030-01461-2
eBook Packages: Computer ScienceComputer Science (R0)