The safety requirements engineering dilemma

Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998

Volumn , Issue , 1998, Pages 147-149

  Berry, Daniel M ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

REQUIREMENTS ENGINEERING; SPECIFICATIONS;

ALL-HAZARDS; COMMUNITY IS; HAZARD IDENTIFICATION; MODUS OPERANDI; POTENTIAL EFFECTS; REQUIREMENTS ANALYSIS; REQUIREMENTS CHANGE; SOFTWARE AND SYSTEM SAFETIES;

HAZARDS;

EID: 84864242778     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1998.667930     Document Type: Conference Paper

References (7)

1. Anderson, T., de Lemos, R., and Saeed, A., "Analysis of Safety Requirements for Process Control Systems, " in Predictably Dependable Computing Systems, ed. B. Randell, J.C. Laprie, B. Littlewood, H. Kopetz, Springer, Berlin (1995).
2. de Lemos, R., Saeed, A., and Anderson, T., "On the Safety Analysis of Requirements Specifications, " pp. 217-227 in Proceedings of the Thirteenth International Conference on Safety, Reliability, and Security (SAFECOMP '94), ed. V. Maggioli, Springer (1994).
3. Leveson, N.G., Safeware: System Safety and Computers, Addison Wesley, Reading, MA (1995).
4. Leveson, N.G., "Intent Specifications: An Approach to Building Human-Centered Specifications, " Technical Report, Computer Science and Engineering, University of Washington, Seattle, WA (1997).
5. Modugno, F., Leveson, N.G., Reese, J.D., Partridge, K., and Sandys, S.D., "Integrated Safety Analysis of Requirements Specifications, " Requirements Engineering 2(2), p.65-78 (1997).
6. Saeed, A., de Lemos, R., and Anderson, T., "Robust Requirements Specifications for Safety-Critical Systems, " pp. 219-229 in Proceedings of the Twelfth International Conference on Safety, Reliability, and Security (SAFECOMP '93), ed. J. Góski, Springer (1993).
7. van Lamsweerde, A. and Letier, E., "Integrating Obstacles in Goal-Driven Requirements Engineering, " Technical Report, Catholic University of Louvain, Department of Software Engineering, Louvain (1997).