Indirect control path analysis and goal coverage strategies for elaborating system safety goals in composite systems

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008

Volumn , Issue , 2008, Pages 184-191

  Black, Jennifer ^a   Koopman, Philip ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; REGRESSION ANALYSIS; REQUIREMENTS ENGINEERING; SYSTEMS ENGINEERING;

AUTOMOTIVE SYSTEMS; COMPOSITE SYSTEMS; DISTRIBUTED DEVELOPMENT ENVIRONMENTS; GOAL-ORIENTED REQUIREMENTS ENGINEERINGS; INDIRECT CONTROLS; SAFETY GOALS; SAFETY-CRITICAL EMBEDDED SYSTEMS; SAFETY-RELATED COMPONENTS; SUBGOALS; SYSTEM COMPONENTS; SYSTEM SAFETIES;

SAFETY ENGINEERING;

EID: 60349131831     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2008.29     Document Type: Conference Paper

References (20)

1. E. A. Addy. A case study on isolation of safety-critical software. In Proc. 6th Annual Conf. on Comp. Assurance (COMPASS'91), pages 75-83, June 1991.
2. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison-Wesley, Reading, MA, 2nd edition, 1972.
3. F. Bitsch. Classification of safety requirements for formal verification of software models for industrial automation systems. In Proc. Intl. Conf. on SW and Sys. Engineering and their Applications (ICSSEA 2000), Paris, France, Dec. 2000.
4. F. Bitsch. Safety patterns - the key to formal specification of safety requirements. In U. Voges, editor, Proc. 20th Intl. Conf. on Comp. Safety, Reliability and Security (SAFECOMP '01), volume 2187 of Lecture Notes in Computer Science, pages 176-189, Budapest, Hungary, Sept. 2001. Springer-Verlag.
5. T. F. Bowen, F. S. Dworack, C. H. Chow, N. Griffeth, G. E. Herman, and Y.-J. Lin. The feature interaction problem in telecommunications systems. In Proc. 7th Intl. Conf. on SW Eng. for Telecom. Switching Sys., pages 59-62, Bournemouth, UK, July 1989.
6. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goaldirected requirements acquisition. In M. Sintzoff, C. Ghezzi, and G. Roman, editors, Science of Computer Programming, number 1-2, pages 3-50. Elsevier Science, Amsterdam, The Netherlands, Apr. 1993.
7. R. Darimont and A. van Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration. In Proc. 4th ACM SIGSOFT Symp. on Found. of SW Eng., volume 21 of Software Engineering Notes, pages 179-190. ACM SIGSOFT, Nov. 1996.
8. M. S. Feather. Language support for the specification and development of composite systems. ACM Trans. on Prog. Lang., Syst., 9(2): 198-234, Apr. 1987.
9. S. E. Keller, L. G. Kahn, and R. B. Panara. Specifying software quality requirements with metrics. In R. H. Thayer and M. Dorfman, editors, System and Software Requirements Engineering, chapter 3, pages 145-163. IEEE Comp. Soc. Press, Los Alamitos, CA, 1990.
10. R. Koymans, editor. Specifying Message Passing and Time-Critical Systems With Temporal Logic, volume 651 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, 1992.
11. E. Letier and A. van Lamsweerde. Agent-based tactics for goal-oriented requirements elaboration. In Proc. 24th Intl. Conf. on SW Eng. (ICSE'02), pages 83-93, Orlando, FL, May 2002.
12. E. Letier and A. van Lamsweerde. Deriving operational software specifications from system goals. In Proc. 10th ACM SIGSOFT Symp. on Foundations of SW Eng. (FSE-10), pages 119-128, Charleston, SC, Nov. 2002.
13. N. G. Leveson. Safeware - System Safety and Computers. Addison-Wesley, Reading, MA, 1995.
14. N. G. Leveson. Intent specifications: An approach to building human-centered specifications. IEEE Trans. SW Eng., 26(l):15-35, Jan. 2000.
15. R. R. Lutz. Analyzing software requirements errors in safety-critical, embedded systems. In Proc. IEEE Intl. Symp. on Requirements Engineering, pages 126-133, San Diego, CA, Jan. 1993.
16. R. R. Lutz and C. Mikulski. Empirical analysis of safety-critical anomalies during operations. IEEE Trans. SW Eng., 30(3):172-180, Mar. 2004.
17. J. Mylopoulos, L. K. Chung, and B. A. Nixon. Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans. SW Eng., 18(6):483-497, June 1992.
18. N. J. Nilsson. Problem-Solving in Artificial Intelligence. McGraw-Hill Computer Science Series. McGraw-Hill, New York, 1971.
19. C. Temple. Avoiding the babbling-idiot failure in a time-triggered communication system. In Proc. 28th Intl. Symp. on Fault-Tolerant Computing (FTCS-28), pages 218-227, Munich, Germany, June 1998.
20. A. van Lamsweerde, R. Darimont, and E. Letier. Managing conflicts in goal-driven requirements engineering. IEEE Trans. SW Eng., 24(11):908-926, Nov. 1998.