Model‐Based Systems Engineering (MBSE) is gaining popularity in organizations creating complex systems where it is crucial to collaborate in a multi‐disciplinary environment. SysML, being one of the key MBSE components, has a good foundation for capturing requirements, architecture, constraints, views and viewpoints. However, SysML does not provide the necessary constructs to capture safety and reliability information in the system model. A group of industry experts at the OMG has been working since 2016 to define a new specification providing the necessary capabilities. This paper provides an update on the progress of this work. It discusses the proposed specification's use of generic concepts to allow information interchange amongst diverse analyses, its use of existing SysML constructs to provide automation of safety and reliability work in existing modelling tools, and describes several of the supported analysis methods.

Robotic systems (RSs) are often used for performing critical tasks with little or no human intervention. Such RSs must satisfy certain dependability requirements including reliability, availability, security and safety. In this paper, we focus on the safety aspect and propose a methodology and associated framework for safety assessment of RSs in the early phases of development. The methodology relies upon model-driven engineering approach and describes a preliminary safety assessment of safety-critical RSs using fault tree (FT) analysis (FTA). The framework supports a domain specific language for RSs called RobotML and includes facilities (i) to automatically generate or manually construct FTs and perform both qualitative and quantitative FTA, (ii) to make semantic connections with formal verification and FTA tools, (iii) to represent FTA results in the RobotML modeling environment. In the case study, we illustrate the proposed methodology and framework by considering a mobile robot developed in the scope of the Proteus project.978-1-4673-6358-7/13/$31.00 ©2013 IEEE

Model-driven engineering is a promising approach used to develop and analyze complex systems from different domains. In this paper, we focus on the safety aspect and introduce a methodology and associated framework for modeldriven safety analysis (SA) of large critical systems. The methodology is meant to cope with design complexity and reduce time of SA process. The framework, called Sophia, supports proposed methodology and includes facilities (i) to automatically perform various SA methods, (ii) to make semantic connections with formal SA tools, (iii) to represent SA results in the system modeling environment. We illustrate our approach using a case study from transport domain.

No abstract

No abstract