Article

The essential synthesis of problem frames and assurance cases

Authors:

Elisabeth A. Strunk,

John C. KnightAuthors Info & Claims

IWAAPF '06: Proceedings of the 2006 international workshop on Advances and applications of problem frames

Pages 81 - 86

https://doi.org/10.1145/1138670.1138683

Published: 23 May 2006 Publication History

Get Access

Abstract

Problem frames and assurance cases are two current research areas that can improve - and have improved - system dependability, in critical and noncritical systems alike. While these two techniques are effective separately, their synthesis is much more powerful. This paper describes the rationale behind the synthesis, the particular pieces that influence each other, and the beginning of a process to integrate the two in software system development.

References

[1]

Bishop, Peter and Robin Bloomfield. "A Methodology for Safety Case Development." http:// www.adelard.co.uk/resources/papers/index.htm

Google Scholar

[2]

J. Hall, M. Jackson, R. Laney, B. Nuseibeh, and L. Rapanotti. "Relating Software Requirements and Architectures using Problem Frames." Proceedings of IEEE International Requirements Engineering Conference (RE'02), Essen, Germany, September 2002.

Digital Library

Google Scholar

[3]

Jackson, M. "Problem Frames." Addison-Wesley: Harlow, England, 2001.

Google Scholar

[4]

Kelly, T. P. "A Systematic Approach to Safety Case Management." Proc. of SAE 2004 World Congress, Detroit, MI, March 2004.

Google Scholar

[5]

Weaver, R. A. and T. P. Kelly. "The Goal Structuring Notation - A Safety Argument Notation." Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases, July 2004.

Google Scholar

Cited By

View all

Junaid W(2021)Evaluating the Effectiveness of Problem Frames for Contextual Modeling of Cyber-Physical Systems: a Tool Suite with Adaptive User InterfacesProceedings of the 25th International Conference on Evaluation and Assessment in Software Engineering10.1145/3463274.3463344(284-287)Online publication date: 21-Jun-2021
https://dl.acm.org/doi/10.1145/3463274.3463344
Ouedraogo MMouratidis HDubois EKhadraoui D(2013)Security Assurance Evaluation and IT Systems’ Context of Use Security CriticalityMobile and Handheld Computing Solutions for Organizations and End-Users10.4018/978-1-4666-2785-7.ch005(70-91)Online publication date: 2013
https://doi.org/10.4018/978-1-4666-2785-7.ch005
Kroculick JHood C(2012)A Dependability Assessment Process for Ensuring Consistent Provisioning of Network RecoveryProcedia Computer Science10.1016/j.procs.2012.01.0368(177-183)Online publication date: 2012
https://doi.org/10.1016/j.procs.2012.01.036
Show More Cited By

Index Terms

The essential synthesis of problem frames and assurance cases
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

Creating safety assurance cases for rebreather systems
ASSURE '13: Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems

The creation of safety assurance cases is a new requirement for rebreather manufacturers, where a rebreather is simply understood as a self-contained underwater breathing apparatus. The two main potential benefits to creating safety assurance cases for ...
Constructing safety assurance cases for medical devices
ASSURE '13: Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems

This paper lays out a approach for safety assurance case argumentation. The approach links together in a principled manner a device's highest-level safety claims, operating environments and hazards; and its safety requirements, final implementation, and ...
International Working Group on Assurance Cases (for Security)

Critical systems are aptly named--from electric power to water and gas to the telephone system and theInternet, they're all critical to some aspect of our daily lives. We're a networked society and assuch, it's important to both know whether critical ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IWAAPF '06: Proceedings of the 2006 international workshop on Advances and applications of problem frames

May 2006

93 pages

ISBN:1595934065

DOI:10.1145/1138670

Conference Chairs:
Jon G. Hall
CRC, Open University, UK
,
Lucia Rapanotti
CRC, Open University, UK
,
Karl Cox
NICTA, Australia
,
Zhi Jin
Academy of Sciences, China

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 23, 2006

Shanghai, China

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
212
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Junaid W(2021)Evaluating the Effectiveness of Problem Frames for Contextual Modeling of Cyber-Physical Systems: a Tool Suite with Adaptive User InterfacesProceedings of the 25th International Conference on Evaluation and Assessment in Software Engineering10.1145/3463274.3463344(284-287)Online publication date: 21-Jun-2021
https://dl.acm.org/doi/10.1145/3463274.3463344
Ouedraogo MMouratidis HDubois EKhadraoui D(2013)Security Assurance Evaluation and IT Systems’ Context of Use Security CriticalityMobile and Handheld Computing Solutions for Organizations and End-Users10.4018/978-1-4666-2785-7.ch005(70-91)Online publication date: 2013
https://doi.org/10.4018/978-1-4666-2785-7.ch005
Kroculick JHood C(2012)A Dependability Assessment Process for Ensuring Consistent Provisioning of Network RecoveryProcedia Computer Science10.1016/j.procs.2012.01.0368(177-183)Online publication date: 2012
https://doi.org/10.1016/j.procs.2012.01.036
Ouedraogo MMouratidis HDubois EKhadraoui D(2011)Security Assurance Evaluation and IT Systems' Context of Use Security CriticalityInternational Journal of Handheld Computing Research10.4018/jhcr.20111001042:4(59-81)Online publication date: 1-Oct-2011
https://dl.acm.org/doi/10.4018/jhcr.2011100104
Ouedraogo MMouratidis HHecker ABonhomme CKhadraoui DDubois EPreston D(2011)A new approach to evaluating security assurance2011 7th International Conference on Information Assurance and Security (IAS)10.1109/ISIAS.2011.6122822(215-221)Online publication date: Dec-2011
https://doi.org/10.1109/ISIAS.2011.6122822
Graydon PKnight J(2010)Software Process Synthesis in Assurance Based Development of Dependable SystemsProceedings of the 2010 European Dependable Computing Conference10.1109/EDCC.2010.19(75-84)Online publication date: 28-Apr-2010
https://dl.acm.org/doi/10.1109/EDCC.2010.19
Agudo IVivas JLópez J(2009)Security assurance during the software development cycleProceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing10.1145/1731740.1731763(1-6)Online publication date: 18-Jun-2009
https://dl.acm.org/doi/10.1145/1731740.1731763
Hall JRapanotti LJackson M(2008)Problem Oriented Software EngineeringIEEE Transactions on Software Engineering10.1109/TSE.2007.7076934:2(226-241)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1109/TSE.2007.70769
Hall JRapanotti LJackson M(2007)Problem Oriented Software EngineeringProceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods10.1109/SEFM.2007.29(15-24)Online publication date: 10-Sep-2007
https://dl.acm.org/doi/10.1109/SEFM.2007.29
Mohamed AZulkernine M(2007)Improving Reliability and Safety by Trading off Software Failure CriticalitiesProceedings of the 10th IEEE High Assurance Systems Engineering Symposium10.1109/HASE.2007.44(267-274)Online publication date: 14-Nov-2007
https://dl.acm.org/doi/10.1109/HASE.2007.44
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Creating safety assurance cases for rebreather systems

Constructing safety assurance cases for medical devices

International Working Group on Assurance Cases (for Security)