Model-based Reliability And Safety Analysis, Fosters Agility In Design Of Mission-Critical Systems

In Systems Engineering Verification and Testing for Reliability and Safety are the most complex, error-prone and expensive tasks. This paper explains how Model Based Systems Engineering Techniques and Methodologies, powered by SysML, can facilitate Agility in Design for Reliability and Safety of Mission-Critical Systems in several Industries like Aerospace, Medical, Automotive, Transportation. We highlight how Model Based Systems Engineering is increasingly key in traditionally conservative industries like e.g. Aerospace where Safety is of the utmost importance but Systems Engineering Design has always neglected new techniques and trends. Indeed recently DO-178B/ED-12B, the primary document for safety approval of aerospace systems, has been updated to the “C” version, where an entire supplement, “DO-331/ED216: Model Based Development and Verification supplement” is reserved to the use of Model-Based Techniques to Avionic Safety. To assert the application in various industries of these automation/MBSE techniques, one example from a critical industry like Medical has been used. The example, based on an insulin pump system design, explains the value users get from taking Model-Based approach to safety and reliability analysis and integrating it into MBSE toolkit, with big benefits of reusing most of analysis item in the same project new versions or new projects. Keywords—MBSE; Model Based Systems Engineering; Model Based Reliability and Safety Analysis; SysML; Mission and Safety Critical Systems Design; Requirements Automated Verification; Reliability Analysis; Safety Analysis; Functional Analysis; FMEA; FMECA; Systems Reliability and Safety