publication . Article . Preprint . 2012

Large-scale complex IT systems

Ian Sommerville; Marta Kwiatkowska; Dave Cliff; Justin Keen; Richard F. Paige; John A. McDermid; Radu Calinescu; Tim Kelly;
Open Access English
  • Published: 01 Jul 2012
  • Country: United Kingdom
Abstract
This paper explores the issues around the construction of large-scale complex systems which are built as 'systems of systems' and suggests that there are fundamental reasons, derived from the inherent complexity in these systems, why our current software engineering methods and techniques cannot be scaled up to cope with the engineering challenges of constructing such systems. It then goes on to propose a research and education agenda for software engineering that identifies the major challenges and issues in the development of large-scale complex, software-intensive systems. Central to this is the notion that we cannot separate software from the socio-technical...
Subjects
free text keywords: General Computer Science, Complex systems, Systems engineering, QA76 Computer software, QA76, Computer Science - Software Engineering, Computer Science - Computers and Society, Information technology, business.industry, business, Reductionism, Complex system, Data science, World Wide Web, Computer science

CFTC & SEC. Findings Regarding the Market Events of May 6th, 2010. Report of the staffs of the CFTC and SEC to the Joint Advisory Committee on Emerging Regulatory issues. September 30th, 2010. http://www.sec.gov/news/studies/2010/marketevents-report.pdf Checkland, P. Systems Thinking, Systems Practice. Chichester, UK: Wiley. 1981.

DoD. Systems Engineering Guide for Systems of Systems. US Department of Defense. 2008.

In Proc. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, pages 130-136. 2010.

Ge, X., Paige, R.F. and McDermid, J. A. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. In: Proc. Agile 2010, IEEE Press, August 2010.

Goth, G. Ultralarge Systems: Redefining Software Engineering. IEEE Software, 25 (3), 91-94.

M. Kwiatkowska, M., Norman, G., and Parker D., PRISM: Probabilistic Model Checking for Performance and Reliability Analysis. ACM SIGMETRICS Performance Evaluation Review, 36(4), pages 40-45, ACM.March 2009.

Maier, M.W., 'Architecting Principles for System of Systems', Systems Engineering, 1(4), 1998, pp. 267-284.

Australian National University. http://epress.anu.edu.au/info_systems/mobile_devices/pr01.html.

Paige, R. F., Charalambous, R., Ge, X. and Brooke, P.J. 'Towards Agile Development of HighIntegrity Systems', in Proc. 27th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP) 2008, LNCS, Springer-Verlag, Newcastle, UK. 2008.

Northrop, L. et al. Ultra-Large-Scale Systems: The Software Challenge of the Future. Technical Report. Carnegie Mellon University Software Engineering Institute. 2006. [OpenAIRE]

Rittel, H., and Webber, M. 'Dilemmas in a General Theory of Planning'. Policy Sciences, Vol. 4, Elsevier Scientific Publishing Company, Inc., Amsterdam, 155-73, 1973.

Rushby, J. Software Verification and System Assurance. Proc. 7th IEEE Int. Conf. on Software Engineering and Formal Methods. Hanoi, Vietnam. 2009. [OpenAIRE]

Keynote address, 8th IEEE Conference on Composition-based Software Systems. Madrid. 2008.

http://sites.google.com/site/iansommerville/keynote-talks/DesigningForRecovery.pdf Sillitto, H. 'Design Principles for Ultra-Large Scale (ULS) Systems'. Proc. 20th INCOSE International Symposium, Chicago, July 2010.

Any information missing or wrong?Report an Issue