Model-based dependability assessment of phased-mission unmanned aerial vehicles
Research output: Contribution to journal › Conference article › Contributed › peer-review
Contributors
Abstract
Assessment of non-functional reliability and safety requirements in the early development phases helps to prevent conceptually wrong decisions and, as a consequence, significantly reduces overall development costs. The application of model-based system analysis techniques demonstrates promising results for complex avionics systems, especially software-intensive Unmanned Aerial Vehicles (UAV). Such systems are commonly designed to accomplish a specific mission consisting of multiple mission phases. The concept of phased mission systems enables the specification of individual requirements for different phases. For instance, the reliability requirements or system specifications are different for UAV flights over an agricultural field and a highway. Therefore, modern analytical methods have to distinguish between different mission phases and enable the analysis of phased missions. In this paper, we propose a new model-based method that allows system engineers to assess a conceptional design specification of the UAV concerning the fulfillment of phase-specific requirements. The proposed approach exploits modern probabilistic model checking techniques for the quantification of several dependability metrics. The method supports the systematic analysis of system specifications that contain both structural and behavioral system properties. A case study demonstrates the feasibility of the proposed method.
Details
| Original language | English |
|---|---|
| Pages (from-to) | 8915-8922 |
| Number of pages | 8 |
| Journal | IFAC-PapersOnLine |
| Volume | 53 |
| Issue number | 2 |
| Publication status | Published - 2020 |
| Peer-reviewed | Yes |
Conference
| Title | 21st World Congress of the International Federation of Automatic Control |
|---|---|
| Subtitle | Automatic Control – Meeting Societal Challenges |
| Abbreviated title | IFAC 2020 |
| Conference number | 21 |
| Duration | 12 - 17 July 2020 |
| Location | online |
| City | Berlin |
| Country | Germany |
Keywords
ASJC Scopus subject areas
Keywords
- Design methodologies, Error probability, Flying robots, Markov models, Reliability analysis, Safety analysis, Stochastic modeling, System analysis, Systems engineering