Guided safety analysis for cyber physical systems

A system for maintaining the safety of a software-based system, the system comprising:

• at least one electronic processor configured to
• automatically generate a first artifact tree for a hazard for a first version of the software-based system by recursively following traceability paths defined by a model for a plurality of artifacts associated with mitigating the hazard, the traceability paths representing links between the plurality of artifacts;
• automatically transform the first artifact tree into a first augmented tree using a set of heuristics, the set of heuristics automatically inserting one or more augmentation nodes into the first artifact tree;
• automatically generate a second artifact tree for the hazard for a second version of the software-based system by recursively following the traceability paths defined by the model;
• automatically transform the second artifact tree for the hazard into a second augmented tree using the set of heuristics, the set of heuristics automatically inserting one or more augmentation nodes into the second artifact tree;
• automatically compare the first augmented tree and the second augmented tree to generate a delta view;
• and
• automatically generate at least one selected from a group consisting of a safety warning for the second version of the software-based system based on the delta view and an actionable recommendation based on the delta view to maintain safety of the second version of the software-based system.

Non-transitory computer readable medium including instructions that, when executed by at least one electronic processor, perform a set of functions, the set of functions comprising:

• automatically generating a first artifact tree for a hazard for a first version of a software-based system by recursively following traceability paths defined by a model for a plurality of artifacts associated with mitigating the hazard, the traceability paths representing links between the plurality of artifacts;
• automatically transforming the first artifact tree into a first augmented tree using a set of heuristics, the set of heuristics automatically inserting one or more augmentation nodes into the first artifact tree;
• automatically generating a second artifact tree for the hazard for a second version of the software-based system by recursively following the traceability paths defined by the model;
• automatically transforming the second artifact tree for the hazard into a second augmented tree using the set of heuristics, the set of heuristics automatically inserting one or more augmentation nodes into the second artifact tree;
• automatically comparing the first augmented tree and the second augmented tree to generate a delta view;
• and
• automatically generating at least one selected from a group consisting of a safety warning for the second version of the software-based system based on the delta view and an actionable recommendation based on the delta view to maintain safety of the second version of the software-based system.