System safety as an emergent property in composite systems

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2009, Pages 369-378

  Black, Jennifer ^a   Koopman, Philip ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE SYSTEMS; COMPOSITE SYSTEMS; EMERGENT PROPERTY; FALSE NEGATIVES; FORMAL SPECIFICATION; INDIRECT CONTROL; MATHEMATICAL DEFINITIONS; PARTIAL DECOMPOSITION; RUNTIMES; SAFETY GOALS; SUBGOALS; SUBSYSTEM LEVEL; SYSTEM BEHAVIORS; SYSTEM COMPLEXITY; SYSTEM LEVELS; SYSTEM SAFETY;

REGRESSION ANALYSIS; REMOTELY OPERATED VEHICLES; SYSTEMS ENGINEERING;

MONITORING;

EID: 70450042754     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2009.5270316     Document Type: Conference Paper

References (26)

1. Aristotle. Metaphysics: Book VIII. Trans. by W.D. Ross, http://classics.mit.edu/Aristotle/metaphysics.8.viii.html.
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. J. Black and P. Koopman. Indirect control path analysis and goal coverage strategies for elaborating system safety goals in composite systems. In Proc. 14th Pacific Rim Intl. Symp. on Dependable Comp. (PRDC'08), Taipei, Taiwan, Dec. 2008.
6. 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.
7. P. Cariani. Emergence and artificial life. In C. G. Langton, C. Taylor, J. D. Farmer, and S. Rasmussen, editors, Artificial Life II: Proc. of the 2nd Workshop on Artificial Life, pages 775-797. Addison-Wesley, 1991.
8. A. Dardenne, A. v. Lamsweerde, and S. Fickas. Goal-directed 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.
9. R. Darimont and A. v. 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.
10. V. Darley. Emergent phenomena and complexity. In R. A. Brooks and P. Maes, editors, Artificial Life IV: Proc. of the 4th Workshop on Synthesis and Simulation of Living Systems, pages 411-416. MIT Press, 1994.
11. 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.
12. 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.
13. 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.
14. A. v. Lamsweerde, R. Darimont, and E. Letier. Managing conflicts in goal-driven requirements engineering. IEEE Trans. SW Eng., 24(11):908-926, Nov. 1998.
15. E. Letier and A. v. 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.
16. E. Letier and A. v. 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.
17. N. G. Leveson. Safeware - System Safety and Computers. Addison-Wesley, Reading, MA, 1995.
18. N. G. Leveson. Intent specifications: An approach to building human-centered specifications. IEEE Trans. SW Eng., 26(1):15-35, Jan. 2000.
19. N. G. Leveson. Model-based analysis of socio-technical risk. Technical Report ESD-WP-2004-08, MIT, Cambridge, MA, Dec. 2004.
20. G. H. Lewes. Problems of Life and Mind, volume 2 of 1st Ser. James R. Osgood and Co., Boston, MA, 1875.
21. P. Li, L. Alvarez, and R. Horowitz. Ahs safe control laws for platoon leaders. IEEE Trans. Contr. Syst. Technol., 5(6):614-628, Nov. 1997.
22. 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.
23. N. J. Nilsson. Problem-Solving in Artificial Intelligence. McGraw-Hill Computer Science Series. McGraw-Hill, New York, 1971.
24. J. Pollard and E. D. Sussman. An examination of sudden acceleration. Technical Report DOT-HS-807-367, NHTSA, Washington, DC, 1989.
25. M. Privosnik, M. Marolt, A. Kavcic, and S. Divjak. Evolutionary construction of emergent properties in multi-agent systems. In Proc. 11th Mediterranean Electrotechnical Conference (MELECON'02).
26. A. M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proc. of the London Mathematics Society, 42:230-265, 1936.