Emergence: A new source of failures in complex systems

Proceedings - 3rd International Conference on Dependability, DEPEND 2010

Volumn , Issue , 2010, Pages 133-138

  Vinerbi, Lorenzo ^a   Bondavalli, Andrea ^b   Lollini, Paolo ^b  

^a Resiltech Srl   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Emergence; Goal oriented approaches; Off the shelf components; Requirements engineering; System complexity

Indexed keywords

COMPLEX SYSTEMS; EMERGENCE; GOAL-ORIENTED APPROACH; NEW SOURCES; OFF-THE-SHELF COMPONENTS; REQUIREMENT SPECIFICATION; SYSTEM COMPLEXITY; SYSTEM FAILURES; SYSTEM LIFECYCLE;

REQUIREMENTS ENGINEERING; SYSTEMS ENGINEERING;

SAFETY ENGINEERING;

EID: 77958020377     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEPEND.2010.28     Document Type: Conference Paper

References (17)

1. G. H. Lewes. Problems of Life and Mind. Volume 2 of 1st Ser: The foundations of a creed. Scholarly Publishing Office, University of Michigan Library, December 22, 2005.
2. B. Boehm and C. Abts. Cots integration: plug and pray? IEEE Computer, 32(1):135-138, Jan 1999.
3. B. Boehm. Software Engineering Economics. Englewood Cliffs, NJ: Prentice-Hall, 198J.
4. B. Nuseibeh and S. Easterbrook. Requirements engineering: a roadmap. In Proceedings of the ACM Conference on The Future of Software Engineering (ICSE'00), pp. 35-46, New York, NY, USA, 2000.
5. S. C. Johnson and R. W. Butler. Design for validation. IEEE Aerospace and Electronic Systems, pp. 38-43, Jan 1992.
6. J. Mylopoulos, L. Chung, and B. Nixon. Representing and using nonfunctional requirements: A process-oriented approach. IEEE Transactions on Software Engeneering, 18(6):483-497, 1992.
7. N. Fenton, B. Littlewood, M. Neil, L. Strigini, A. Sutcliffe, and D. Wright. Assessing dependability of safety critical systems using diverse evidence. In IEE Proceedings Software, 145(1):35-39, Feb 1998.
8. J. Black and P. Koopman. System safety as an emergent property in composite systems. In Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), pp. 369-378, Estoril, Portugal, Jun 29 - Jul 2, 2009.
9. A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11-33, Jan- Mar 2004.
10. A. Dardenne, A. v. Lamsweerde, and S. Fickas. Goal directed requirements acquisition. In Science of Computer Programming, M. Sintzoff, C. Ghezzi, and G. Roman, editors, number 1-2, pp. 3-50. Elsevier Science, Amsterdam, The Netherlands, Apr 1993.
11. PRIN, Programmi di ricerca scientifica di rilevante interesse nazionale - Progetto di ricerca DOTS-LCCI: Dependable Off-The- Shelf based middleware systems for Large-scale Complex Critical Infrastructures. Anno 2008.
12. SILFI, Bando Unico Ricerca e Sviluppo Regione Toscana, POR FESR 2007 - 2013 ATTIVITA' J.1, Titolo: "Sistema Modulare di Detezione Incendi e Lotta al fuoco per Rotabili Ferroviari".
13. J. E. Burge and D. C. Brown. NFR's: Fact or Fiction?, Technical Report, Computer Science Dept., WPI, Worcester, USA, 2002.
14. S. Supakkul. A UML profile for goal-oriented and use casedriven representation of NFRs and FRs. In Proceedings of the 3rd International Conference on Software Engineering Research, Management and Applications, pp. 112-121, 2005.
15. A. v. Lamsweerde. Formal specification: a roadmap. In Proceedings of the ACM Conference on The Future of Software Engineering (ICSE'00), pp. 147-159, New York, NY, USA, 2000.
16. B. Nuseibeh and S. Easterbrook. Requirements engineering: a roadmap. In Proceedings of the ACM Conference on The Future of Software Engineering (ICSE'00), pp. 35-46, New York, NY, USA, 2000.
17. ARTEMIS-JU-100022 CHESS - Composition with guarantees for High-integrity Embedded Software components aSsembly. https://www.artemis-ju.eu/chess