Model Based Systems Engineering (MBSE) Interface

Current Model Based System Engineering (MBSE) tools cannot do effective safety assurance.  System engineering models provide evidence for the safety case, but they cannot provide the safety argument itself. Hence the DSM needs to refer to those models as evidence.

Where MBSE tools provide a URL for a system component then the DSM can refer to it directly.  Sparx EA has a HTML export feature capability and DOORS has its own URL format for requirements

The DSM can also import Excel spreadsheets, so you can import a table of requirements that can be cited as evidence.  For instance if an argument depends on the existence of a safety interlock then it can directly reference the requirement imported from DOORS, including a hyperlink to the DOORS URL.

A function to detect when referenced evidence changes will be included in the next release.