文章基本信息

标题：Model-based Dependability Analysis of Fault-tolerant Inertial Navigation System: A Practical Experience Report
本地全文：下载
作者：Mikael Steurer ; Andrey Morozov ; Klaus Janschek 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2019
卷号：52
期号：12
页码：394-399
DOI：10.1016/j.ifacol.2019.11.275
语种：English
出版社：Elsevier
摘要：AbstractModel-based systems engineering approaches are commonly used to develop safetycritical mechatronic systems. Recently, a new SysML-based method for the dependability analysis of Unmanned Aerial Vehicles (UAVs) has been introduced. The method consists of three main steps: (i) creation of a structural SysML model using building blocks from the underlying UAV dependability profile that extends the model with block-level reliability and time properties, (ii) transformation of the semi-formal SysML model into a formal Dual-Graph Error Propagation Model (DEPM) that captures relevant structural and behavioral properties of the system, (iii) DEPM-based evaluation of system dependability metrics using Markov chain models and state-of-the-art probabilistic model checking techniques. This paper describes the practitioner experiences and lessons learned after the application of the aforementioned method to a sophisticated real-world embedded fault-tolerant inertial navigation system. The case study revealed two particular limitations that have been overcome by the optimization of the method against the state-space explosion of underlying Markov chain models and the introduction of a new computation algorithm for DEPMs with realistic extremely low fault activation probabilities.
关键词：Keywordssystem analysisdesignsystems architecturereliability engineeringdependabilitySysMLMarkov chainsmicrosensorsspace technology