Yumei Wu
School of Reliability and Systems Engineering, Beihang University, Beijing, 100191, China
Weipeng Wang
School of Reliability and Systems Engineering, Beihang University, Beijing, 100191, China
Zhengwei Yu
School of Reliability and Systems Engineering, Beihang University, Beijing, 100191, China
Bin Liu
School of Reliability and Systems Engineering, Beihang University, Beijing, 100191, China
ABSTRACT
A method to model IMA software dynamic reconfiguration with AADL and verify the models deadlock-free with Petri Net are proposed. Compared with current research, the model can describe the reconfiguration caused by both fault tolerance and requirement change and the verification has good performance on checking deadlock-free of AADL model. This paper gives some basic concepts of IMA dynamic reconfiguration and AADL behavior annex, presents the method of modeling IMA reconfiguration with AADL, the model transformation and the verification of its deadlock-free using Petri Net.
PDF References Citation
How to cite this article
Yumei Wu, Weipeng Wang, Zhengwei Yu and Bin Liu, 2013. Study of Ima Software Dynamic Reconfiguration Based on Aadl. Information Technology Journal, 12: 6627-6630.
DOI: 10.3923/itj.2013.6627.6630
URL: https://scialert.net/abstract/?doi=itj.2013.6627.6630
DOI: 10.3923/itj.2013.6627.6630
URL: https://scialert.net/abstract/?doi=itj.2013.6627.6630
REFERENCES
- Deshan, C., K. Ehsan, M. Sam and R. Roshanak, 2013. Proactive self-adaptation for improving the reliability of mission-critical, embedded and mobile software. IEEE Trans. Software Eng., 39: 1714-1735.
CrossRefDirect Link - Jibb, D.J. and J.B. Walker, 2000. Avionics architecture standards as an approach to obsolescence management. Proceedings of the Symposium on Strategies to Mitigate Obsolescence in Defense Systems Using Commercial Components, October 23-25, 2000, Budapest, Hungary, pp: 16-1-16-12.
Direct Link - Karimpour, J., R. Alyari and A.A. Noroozi, 2013. Formal framework for specifying dynamic reconfiguration of adaptive systems. Inst. Eng. Technol. Software, 7: 258-270.
CrossRefDirect Link - Seeling, K., 1996. Reconfiguration in an integrated avionics design. Proceedings of the 15th AIAA/IEEE Digital Avionics Systems Conference, October 27-31, 1996, Atlanta, GA., pp: 471-478.
CrossRefDirect Link - Suo, D.J., J.X. An and J.H. Zhu, 2011. AADL-based modeling and TPN-based verification of reconfiguration in integrated modular avionics. Proceedings of the 18th Asia Pacific Software Engineering Conference, December 05-08, 2011, Ho Chi Minh, Vietnam, pp: 266-273.
CrossRefDirect Link - Suo, D.J., J.X. An and J.H. Zhu, 2011. A new approach to improve safety of reconfiguration in integrated modular avionics. Proceedings of the 30th IEEE/AIAA Digital Avionics Systems Conference, October 16-20, 2011, Venue Seattle, WA., pp: 1C4-1-1C4-12.
CrossRefDirect Link