Using Formal Requirements and Model-Checking for Verification and Validation of an Unmanned Rotorcraft-Reference-Cited by-同舟云学术

Using Formal Requirements and Model-Checking for Verification and Validation of an Unmanned Rotorcraft

Published:2015-01-02 Issue: Volume: Page:
ISSN:
Container-title:AIAA Infotech @ Aerospace
language:
Short-container-title:

Author:

Torens Christoph¹,Adolf Florian¹

Affiliation:

1. German Aerospace Center (DLR)

Publisher

American Institute of Aeronautics and Astronautics

Link

http://arc.aiaa.org/doi/pdf/10.2514/6.2015-1645

Reference49 articles.

1. The temporal logic of programs

2. Study on the Barriers to the Industrial Adoption of Formal Methods

3. Ten Commandments of Formal Methods ...Ten Years Later

4. The industrial take-up of formal methods in safety-critical and other areas: A perspective

5. 5Barjaktarovic, M. and Nassiff, M. “The State-of-the-art in Formal Methods,” AFOSR Summer Research Technical Report for Rome Research Site, Formal Methods Framework-Monthly Status Report, F30602-99-C-0166, WetStone Technologies, 1998.

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

1. Autonomous Flight-Test Data in Support of Safety of Flight Certification;Journal of Air Transportation;2021-04

2. Generating Certification Evidence for Autonomous Aerial Vehicles Decision-Making;Journal of Aerospace Information Systems;2021-01

3. Advances in Computational Intelligence and Autonomy for Aerospace Systems;2018-01

4. Index;Advances in Computational Intelligence and Autonomy for Aerospace Systems;2018-01

5. Handling Inlet Unstart in Hypersonic Vehicles Using Nonlinear Dynamic Inversion Adaptive Control with State Constraints;Advances in Computational Intelligence and Autonomy for Aerospace Systems;2018-01