Automotive companies increasingly adopt scaled agile methods to allow them to deal with
their organisational and product complexity. Suitable methods are needed to ensure safety …

Context. In many application domains, critical systems must comply with safety standards.
This involves gathering safety evidence in the form of artefacts such as safety analyses …

Context: Many critical systems must comply with safety standards as a way of providing
assurance that they do not pose undue risks to people, property, or the environment. Safety …

Most safety–critical systems are subject to rigorous assurance processes to justify that the
systems satisfy given requirements and are dependable. These processes are typically …

Context Critical systems in application domains such as automotive, railway, aerospace, and
healthcare are required to comply with safety standards. The understanding of the safety …

Software traceability, the ability to relate software development artifacts such as
requirements, design models and code to each other, is an important aspect in software …

Effective management of hazards is at the heart of achieving acceptable safety for any safety-
critical system. With the recent advancement in model-based systems engineering, various …

Traceability management relies on a supporting model, the traceability information model
(TIM), that defines which types of relationships exist between which artifacts and contains …

Abstract SACM (Structured Assurance Case Metamodel) is a standard for assurance case
specification and exchange. It consists of an argumentation metamodel and an evidence …

When defects in safety-critical systems are exposed to actual mishaps, this can lead to
property loss, injury, and/or death. Therefore, safety analysis should be performed to identify …