@article{11310,
  author = {Lionel Briand and Davide Falessi and Shiva Nejati and Mehrdad Sabetzadeh and Tao Yue},
  title = {Traceability and SysML Design Slices to Support Safety Inspections: a Controlled Experiment},
  abstract = {Certifying safety-critical software and ensuring its safety requires checking the conformance between safety requirements and design. Increasingly, the development of safety-critical software relies on modeling, and the System Modeling Language (SysML) is now commonly used in many industry sectors. Inspecting safety conformance by comparing design models against safety requirements requires safety inspectors to browse through large models and is consequently time consuming and error-prone. To address this, we have devised a mechanism to establish traceability between (functional) safety requirements and SysML design models to extract design slices (model fragments) that filter out irrelevant details but keep enough context information for the slices to be easy to inspect and understand. In this paper, we report on a controlled experiment assessing the impact of the traceability and slicing mechanism on inspectors\&$\#$39; conformance decisions and effort. Results show a significant decrease in effort and an increase in decisions\&$\#$39; correctness and level of certainty.},
  year = {2014},
  journal = {ACM Transactions on Software Engineering and Methodology},
  volume = {23},
  number = {9},
  publisher = {ACM},
  address = {New York},
}