Formal verification of avionics self adaptive software-Reference-Cited by-同舟云学术

Formal verification of avionics self adaptive software

Published:2016-02-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th India Software Engineering Conference
language:
Short-container-title:

Author:

Kashi Rajanikanth N.¹,D'Souza Meenakshi²,Baghel S. Kumar²,Kulkarni Nitin²

Affiliation:

1. Honeywell Technology Solutions Laboratories, Bangalore, India

2. IIIT-Bangalore, Bangalore, India

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2856636.2856658

Reference19 articles.

1. DO-178B: Software Considerations in Airborne Systems and Equipment Certification 1982. DO-178B: Software Considerations in Airborne Systems and Equipment Certification 1982.

2. RNAV-I (GNSS or DME/DME/IRU) SIDs and STARs Chennai International India 2009. RNAV-I (GNSS or DME/DME/IRU) SIDs and STARs Chennai International India 2009.

3. DO-178C: Software Considerations in Airborne Systems and Equipment Certification 2011. DO-178C: Software Considerations in Airborne Systems and Equipment Certification 2011.

4. Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

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

1. A Modeling Method of Agents and SOA in Advanced Avionics System Based on AADL;Applied Sciences;2022-08-15

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

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

4. Workshop on Developmental aspects of Intelligent Adaptive Systems (DIAS);ACM SIGSOFT Software Engineering Notes;2018-01-11

5. Developmental aspects of Intelligent Adaptive Systems (DIAS);Proceedings of the 10th Innovations in Software Engineering Conference;2017-02-05