Stochastic error propagation analysis of model-driven space robotic software implemented in simulink

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Abstract

Model-driven software development methods are widely used in safety-critical domains including space robotics. TheMATLAB Simulink environment is the common choice of control engineers. This article introduces a new method for a fully automatic transformation of a Simulink model to a dualgraph model for stochastic error propagation analysis. The error propagation analysis provides important inputs for system reliability methods, required by industrial standards such as FTA and FMEA. The dual-graph error propagation model is a mathematical abstraction of key system design aspects that influence error propagation processes: control flow, data flow, and component-level reliability properties. This model helps to estimate the likelihood of error propagation to hazardous system parts and quantify the negative impact of a fault in a particular component on the overall system reliability. In praxis, the manual creation of an error propagation model of a complex system requires a huge effort. The transformation method, introduced in this article, is a fast and promising solution. The method is demonstrated as a part of a stochastic analysis of a real-world model-driven space robotic software.

Details

Original languageEnglish
Title of host publicationProceedings of the 3rd Workshop Model-Driven Robot Software Engineering, MORSE 2016
EditorsChristian Piechnick, Davide Brugali, Uwe Assmann
PublisherAssociation for Computing Machinery
Pages24-31
Number of pages8
ISBN (electronic)9781450342599
Publication statusPublished - 1 Jul 2016
Peer-reviewedYes

Publication series

SeriesMORSE: Model-Driven Robot Software Engineering

Conference

Title3rd Workshop on Model-Driven Robot Software Engineering, MORSE 2016
Duration1 July 2016
CityLeipzig
CountryGermany

Keywords

Keywords

  • Control flow, Data flow, Error propagation model, Model transformation, Model-based analysis, Modeldriven software, Simulink, Space robotic software