The existence of refinement mappings
Theoretical Computer Science
A survey of software inspection checklists
ACM SIGSOFT Software Engineering Notes
Applied software architecture
Building Knowledge through Families of Experiments
IEEE Transactions on Software Engineering
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
Evaluating software architectures: methods and case studies
Evaluating software architectures: methods and case studies
Principles of survey research: part 3: constructing a survey instrument
ACM SIGSOFT Software Engineering Notes
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
Making Architecture Reviews Work in the Real World
IEEE Software
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Change-Oriented Requirements Traceability: Support for Evolution of Embedded Systems
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
An Experimental Comparison of Usage-Based and Checklist-Based Reading
IEEE Transactions on Software Engineering
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
ICSM '03 Proceedings of the International Conference on Software Maintenance
QuaTrace: A Tool Environment for (Semi-) Automatic Impact Analysis Based on Traces
ICSM '03 Proceedings of the International Conference on Software Maintenance
Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives
Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives
Goal-centric traceability for managing non-functional requirements
Proceedings of the 27th international conference on Software engineering
A case study on value-based requirements tracing
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Context-Free Slicing of UML Class Models
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Value-Based Software Engineering
Value-Based Software Engineering
Determining the cost-quality trade-off for automated software traceability
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Automated impact analysis of UML models
Journal of Systems and Software
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Design decision rationale: experiences and steps ahead towards systematic use
ACM SIGSOFT Software Engineering Notes
Requirements Engineering
Design and Analysis of Experiments
Design and Analysis of Experiments
The Challenges of Building Advanced Mechatronic Systems
FOSE '07 2007 Future of Software Engineering
Value-Based Design Decision Rationale Documentation: Principles and Empirical Feasibility Study
WICSA '08 Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)
Rationale-Based Software Engineering
Rationale-Based Software Engineering
Introduction to Information Retrieval
Introduction to Information Retrieval
Automated traceability analysis for UML model refinements
Information and Software Technology
Applying empirical software engineering to software architecture: challenges and lessons learned
Empirical Software Engineering
SafeSlice: a model slicing and design safety inspection tool for SysML
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Building up and reasoning about architectural knowledge
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
HASE '11 Proceedings of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The value of design rationale information
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Classification, Structuring, and Assessment of Evidence for Safety -- A Systematic Literature Review
ICST '13 Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation
Hi-index | 0.00 |
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 article, we report on a controlled experiment assessing the impact of the traceability and slicing mechanism on inspectors' conformance decisions and effort. Results show a significant decrease in effort and an increase in decisions' correctness and level of certainty.