Towards Scalable Verification of Commercial Avionics Software-Reference-Cited by-同舟云学术

Towards Scalable Verification of Commercial Avionics Software

Published:2010-04-20 Issue: Volume: Page:
ISSN:
Container-title:AIAA Infotech@Aerospace 2010
language:
Short-container-title:

Author:

Bhatt Devesh¹,Madl Gabor¹,Oglesby David¹,Schloegel Kirk¹

Affiliation:

1. Honeywell International, Inc.

Publisher

American Institute of Aeronautics and Astronautics

Link

http://arc.aiaa.org/doi/pdf/10.2514/6.2010-3452

Reference11 articles.

1. 3Bhatt,D.,Hall,B.,Dajani-Brown,S.,Hickman,S.,andPaulitsch,M.“Model-baseddevelopmentandtheimplicationstodesignassurance andcertification,”ProceedingsofDigitalAvionicsSystemsConference,2005.

2. 4Bhatt,D.,Hickman,S.,Schloegel,K.,andOglesby,D.“AnApproachandToolforTestGenerationfromModel-basedFunctionalRequirements,”Proceedingsof1stInternationalWorkshoponAerospaceSoftwareEngineering,2007.

3. What's Decidable about Hybrid Automata?

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

1. Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12

2. Unite: an adapter for transforming analysis tools to web services via OSLC;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

3. Requirements-Driven Model Checking and Test Generation for Comprehensive Verification;Lecture Notes in Computer Science;2022

4. Scalable Ontology-Based V&V Process for Heterogeneous Systems and Applications;2022

5. Integrating OSLC Services into Eclipse;Computer Aided Systems Theory – EUROCAST 2022;2022