Formal Methods in Avionic Software Certification: The DO-178C Perspective-Reference-Cited by-同舟云学术

Formal Methods in Avionic Software Certification: The DO-178C Perspective

Published:2012 Issue: Volume: Page:205-215
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
language:
Short-container-title:

Author:

Gigante Gabriella,Pascarella Domenico

Publisher

Springer Berlin Heidelberg

Link

Reference16 articles.

1. RTCA/DO-178B, EUROCAE/ED-12B: Software Considerations in Airborne Systems and Equipment Certification (December 1, 1992)

2. RTCA/DO-178C: Software Considerations in Airborne Systems and Equipment Certification (December 13, 2011)

3. RTCA Inc., Document RTCA/DO-178B, Federal Aviation Administration (January 11, 1993), Advisory Circular 20-115B

4. Formal Methods and the Certification of Critical Systems, John Rushby, Technical Report CSL-93-7 (December 1993)

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

2. Test Generation with PathCrawler;Computer Science Foundations and Applied Logic;2024

4. Non-Functional Certification of Modern Distributed Systems: A Research Manifesto;2023 IEEE International Conference on Software Services Engineering (SSE);2023-07

5. Bridging the Gap Between Certification and Software Development;Proceedings of the 17th International Conference on Availability, Reliability and Security;2022-08-23