Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems-Reference-Cited by-同舟云学术

Incorporating Formal Methods and Measures Obtained through Analysis, Simulation Testing for Dependable Self-Adaptive Software in Avionics Systems

Published:2017 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 10th Annual ACM India Compute Conference on ZZZ - Compute '17
language:
Short-container-title:

Author:

Kashi Rajanikanth N.¹,D'Souza Meenakshi²,Kishore Koyalkar Raman¹

Affiliation:

1. Honeywell Technology Solutions Labs, Bangalore, Karnataka, India

2. IIIT-Bangalore, Bangalore, Karnataka, India

Publisher

ACM Press

Reference15 articles.

1. Macías-Escrivá, et al., 'Self-adaptive systems: A survey of current approaches, research challenges and applications.', Expert Syst. Appl40 (18), 2013.

2. Anand S. Rao and Michael P. George, "BDI agents: From theory to practice". In Proc. of the First International Conference on Multiagent Systems, 1995.

3. MazeiarSalehie, et al., "Self-Adaptive Software: Landscape and Research Challenges". ACM Trans. on Autonomous and Adaptive Systems, Vol. V, 2009.

4. Markus C. Huebscher and Julie A. McCann, A survey of autonomic computing---degrees, models, and applications. ACM Comput. Surv. Aug 2008.

5. Rajanikanth N Kashi, et al., Incorporating Adaptivity using Learning in Avionics Self Adapative Software: A Case Study, ICACCI 2016, Jaipur, India, Sept. 2016.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A verifiable multi-agent framework for dependable and adaptable avionics;Sādhanā;2021-02-04

2. Machine Learning-Enabled Adaptation of Information Fusion Software Systems;2019 22th International Conference on Information Fusion (FUSION);2019-07

3. Avionics Self-adaptive Software: Towards Formal Verification and Validation;Distributed Computing and Internet Technology;2018-12-11