Model checking
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
A scenario-driven approach to traceability
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Evaluating software architectures: methods and case studies
Evaluating software architectures: methods and case studies
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
ICSE '81 Proceedings of the 5th international conference on Software engineering
A Survey of Program Slicing Techniques.
A Survey of Program Slicing Techniques.
ICSM '03 Proceedings of the International Conference on Software Maintenance
Task-directed software inspection
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Context-Free Slicing of UML Class Models
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Requirements Engineering
The Challenges of Building Advanced Mechatronic Systems
FOSE '07 2007 Future of Software Engineering
SysML for Systems Engineering
Automated traceability analysis for UML model refinements
Information and Software Technology
A Practical Guide to SysML: Systems Modeling Language
A Practical Guide to SysML: Systems Modeling Language
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Software for Dependable Systems: Sufficient Evidence?
Software for Dependable Systems: Sufficient Evidence?
Getting back to basics: Promoting the use of a traceability information model in practice
TEFSE '09 Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Object-Oriented Software Engineering Using UML, Patterns, and Java
Object-Oriented Software Engineering Using UML, Patterns, and Java
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
User requirements modeling and analysis of software-intensive systems
Journal of Systems and Software
A computational framework for authoring and searching product design specifications
Advanced Engineering Informatics
ADDiff: semantic differencing for activity diagrams
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of 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
HASE '11 Proceedings of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
Towards a model-based evolutionary chain of evidence for compliance with safety standards
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Traceability and SysML design slices to support safety inspections: A controlled experiment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Context: Traceability is one of the basic tenets of all safety standards and a key prerequisite for software safety certification. In the current state of practice, there is often a significant traceability gap between safety requirements and software design. Poor traceability, in addition to being a non-compliance issue on its own, makes it difficult to determine whether the design fulfills the safety requirements, mainly because the design aspects related to safety cannot be clearly identified. Objective: The goal of this article is to develop a framework for specifying and automatically extracting design aspects relevant to safety requirements. This goal is realized through the combination of two components: (1) A methodology for establishing traceability between safety requirements and design, and (2) an algorithm that can extract for any given safety requirement a minimized fragment (slice) of the design that is sound, and yet easy to understand and inspect. Method: We ground our framework on System Modeling Language (SysML). The framework includes a traceability information model, a methodology to establish traceability, and mechanisms for model slicing based on the recorded traceability information. The framework is implemented in a tool, named SafeSlice. Results: We prove that our slicing algorithm is sound for temporal safety properties, and argue about the completeness of slices based on our practical experience. We report on the lessons learned from applying our approach to two case studies, one benchmark and one industrial case. Both studies indicate that our approach substantially reduces the amount of information that needs to be inspected for ensuring that a given (behavioral) safety requirement is met by the design.