Validation of ultrahigh dependability for software-based systems
Communications of the ACM
Safeware: system safety and computers
Safeware: system safety and computers
Adapting traceability environments to project-specific needs
Communications of the ACM
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
Safety Critical Computer Systems
Safety Critical Computer Systems
A Systematic Approach to Safety Case Maintenance
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Requirements discovery during the testing of safety-critical software
Proceedings of the 25th International Conference on Software Engineering
The Galileo Fault Tree Analysis Tool
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
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
Requirement traceability in safety critical systems
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
A visual traceability modeling language
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
IEEE Transactions on Computers
Hi-index | 0.00 |
[Context and motivation] Safety critical software systems pervade almost every facet of our lives. We rely on them for safe air and automative travel, healthcare diagnosis and treatment, power generation and distribution, factory robotics, and advanced assistance systems for special-needs consumers. [Question/Problem] Delivering demonstrably safe systems is difficult, so certification and regulatory agencies routinely require full life-cycle traceability to assist in evaluating them. In practice, however, the traceability links provided by software producers are often incomplete, inaccurate, and ineffective for demonstrating software safety. Also, there has been insufficient integration of formal method artifacts into such traceability. [Principal ideas/results] To address these weaknesses we propose a family of reusable traceability queries that serve as a blueprint for traceability in safety critical systems. In particular we present queries that consider formal artifacts, designed to help demonstrate that: 1) identified hazards are addressed in the safety-related requirements, and 2) the safety-related requirements are realized in the implemented system. We model these traceability queries using the Visual Trace Modeling Language, which has been shown to be more intuitive than the defacto SQL standard. [Contribution] Practitioners building safety critical systems can use these trace queries to make their traceability efforts more complete, accurate and effective. This, in turn, can assist in building safer software systems and in demonstrating their adequate handling of hazards.