The essential synthesis of problem frames and assurance cases

Expert Systems

Volumn 25, Issue 1, 2008, Pages 9-27

  Strunk, Elisabeth A ^a   Knight, John C ^a  

^a University of Virginia   (United States)

Author keywords

Assurance cases; Problem frames; Safety cases

Indexed keywords

ENGINEERING RESEARCH; EXPERT SYSTEMS; INFORMATION TECHNOLOGY; PROBLEM SOLVING;

ASSURANCE CASES; NONCRITICAL SYSTEMS; PROBLEM FRAMES; SAFETY CASES; SYSTEM DEVELOPMENT;

SYSTEMS ENGINEERING;

EID: 38149015357     PISSN: 02664720     EISSN: 14680394     Source Type: Journal    
DOI: 10.1111/j.1468-0394.2008.00452.x     Document Type: Conference Paper

References (11)

1. Bishop, P. R. Bloomfield (1998) A methodology for safety case development, in Safety-critical Systems Symposium, Birmingham, UK.
2. Bleistein, S.J., K. Cox J.M. Verner (2006) Validating strategic alignment of organizational IT requirements using goal modeling and problem diagrams, Journal of Systems and Software, 79 (3), 362 378.
3. Green, D. (2002) Runway safety monitor algorithm for runway incursion detection and alerting, Technical Report, NASA Langley CR 211416.
4. Gunter, C., E. Gunter, M. Jackson P. Zave (2000) A reference model for requirements and specifications, IEEE Software, 17 (3), 37 43.
5. Hall, J., M. Jackson, R. Laney, B. Nuseibeh L. Rapanotti (2002) Relating software requirements and architectures using problem frames, in Proceedings of the IEEE International Requirements Engineering Conference (RE '02), New York : IEEE, 137 144.
6. Jackson, M. (2001) Problem Frames, Harlow : Addison-Wesley.
7. Kelly, T. (1998) Arguing safety - a systematic approach to managing safety cases. PhD Dissertation, University of York, UK.
8. Kelly, T. (2004) A systematic approach to safety case management, in Proceedings of SAE 2004 World Congress, Warrendale, PA: Society of Automotive Engineers.
9. Owre, S., N. Shankar, J. Rushby D. Stringer-Calvert (2001) PVS Reference Manual, Menlo Park, CA: SRI International.
10. Weaver, R. T. Kelly (2004) The goal structuring notation - a safety argument notation, in Proceedings of Dependable Systems and Networks, 2004 Workshop on Assurance Cases, New York: IEEE, 420-425.
11. Zave, P. M. Jackson (1997) Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology, 6 (1), 1 30.