文章基本信息

标题：Model-Based Dependability Assessment of Phased-Mission Unmanned Aerial Vehicles
本地全文：下载
作者：Mikael Steurer ; Andrey Morozov ; Klaus Janschek 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：2
页码：8915-8922
DOI：10.1016/j.ifacol.2020.12.1416
语种：English
出版社：Elsevier
摘要：AbstractAssessment 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.
关键词：KeywordsDesign methodologiesFlying robotsError probabilityMarkov modelsReliability analysisSafety analysisStochastic modelingSystem analysisSystems engineering