Model-Based Safety Assurance and Traceability (MobSTr) Dataset

• To the best of our knowledge, it is the most comprehensive freely available dataset of its kind and therefore represents a prime example of model-based safety assurance and traceability
• Custom Eclipse installation is provided, which enables easy installation and barrier-free reuse for research projects

Main feature(s):

• Fully traced set of safety-relevant artifacts to demonstrate model-based safety assurance and traceability
• Full stack of artifacts that covers the entire pre-implementation life-cycle(including hazard analysis and risk assessment, failure mode and effects analysis, as well as fault tree analysis)
• Defined traceability information model that describes the link types based on the needs of safety assessment

• Can be used on laptops and desktop machines
• Some of the artifacts can be accessed with the following tools: -- Eclipse APP4MC (optional) -- Eclipse Papyrus (optional) -- Eclipse Capra (optional) -- ODE Editor (optional) -- Microsoft Excel (optional)

• Researchers
• Interested Industrial Practitioners

EPL2 licensed (Eclipse public license).