Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

< Back to Article

Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification

Fig 7

Scenario-oriented requirement for flight control software.

MARTE time model is used to describe the requirement. With timing constraints.

Fig 7

doi: https://doi.org/10.1371/journal.pone.0167168.g007