Forensic Software Engineering and the Need for New Approaches to Accident Investigation
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A contract-based approach to designing safe systems
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
A pragmatic approach to reasoning about the assurance of safety arguments
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Contract-based justification for COTS component within safety-critical applications
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
The HEAT/ACT preliminary safety case: a case study in the use of goal structuring notation
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Combining software evidence: arguments and assurance
REBSE '05 Proceedings of the 2005 workshop on Realising evidence-based software engineering
Expert Assessment of Arguments: A Method and Its Experimental Evaluation
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Conceptual Modeling: Foundations and Applications
Demonstration of safety in healthcare organisations
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Modeling safety case evolution – examples from the air traffic management domain
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Defining and decomposing safety policy for systems of systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Evolutionary safety analysis: motivations from the air traffic management domain
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Trace queries for safety requirements in high assurance systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Certification-based development of critical systems
Proceedings of the 34th International Conference on Software Engineering
Hi-index | 0.00 |
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety case can be challenged by changing regulatory requirements, additional safety evidence and a changing design. In order to maintain an accurate account of the safety of the system, all such challenges must be assessed for their impact on the original safety argument. This is increasingly being recognised by many safety standards. However, many safety engineers are experiencing difficulties with safety case maintenance at present, the prime reason being that they do not have a systematic and methodical approach by which to examine the impact of change on safety argument. This paper presents an approach that begins to address these difficulties by defining a process, based upon the principles of goal structuring, for the systematic impact assessment of safety case challenges.