Model data for BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development

<p>BSafeML is a SysML and SafeML profile that provides a model-based approach to hazard management. In this repository, we provide the relevant research data that are being cited in the paper, titled, 'BSafeML: A Model-based Hazard Management Technique based on SysML and SafeML'.</p><p>There are four pieces of research data included</p><ul><li>Research Data A, which includes the XML file for the BSafeML profile that can be imported in any modeling environment, a 'readme' file that provides the instruction on how the profile can be imported and used in Sparx Enterprise Architect, and the application of BSafeML to the GDF case study.</li><li>Research Data B, which is a text-based definition of BSafeML, to facilitate independent implementation of BSafeML.</li><li>Research Data C, which includes diagrams extracted from the model as in Research Data A.</li><li>Research Data D, which is the questionnaire designed to qualitatively evaluate BSafeML with relevant stakeholders.</li></ul>