La iniciativa de sistemas de TI complejos a gran escala del Reino Unido (LSCITS) [1] es un programa de investigación y educación de posgrado que se centra en los problemas de desarrollo de sistemas de TI complejos a gran escala (también denominados sistemas de ultra gran escala o ULSS). La iniciativa está financiada por el EPSRC , con más de diez millones de libras de fondos otorgados entre 2006 y 2013. [2] [3]
Fondo
La motivación inicial para el establecimiento de un programa de investigación en sistemas de TI complejos a gran escala fue la publicación de un informe de 2004 [4] de la Royal Academy of Engineering y la British Computer Society . Este informe examinó las causas de las fallas de una serie de grandes proyectos de software y formuló varias recomendaciones de investigación para abordar algunos de estos problemas.
Un segundo informe, escrito por Seth Bullock y Dave Cliff y también publicado en 2004, fue encargado por la Oficina de Ciencia y Tecnología del Departamento de Comercio e Industria (DTI) del Gobierno del Reino Unido y se tituló Complexity and Emergent Behavior in ICT Systems [5] Las principales conclusiones de este informe fueron que los principales desafíos que deben abordarse en el Reino Unido son los obstáculos institucionales y culturales para la investigación interdisciplinaria adecuada y que había una necesidad urgente de abordar las omisiones en la educación universitaria en ciencias de la computación del Reino Unido.
En octubre de 2005, el EPSRC nombró a Dave Cliff Director de la iniciativa LSCITS [6] y se le pidió que consultara ampliamente con la industria sobre sus problemas en esta área y, sobre la base de esta consulta, formara un consorcio para abordar estos problemas. . Los resultados de la consulta fueron que las preocupaciones clave de la industria eran cuestiones socio-técnicas que surgen de las interacciones entre organizaciones, personas y sistemas y en la ingeniería de sistemas de alta integridad. Sobre esta base, se formó un consorcio con dos socios (York, Oxford) que se centran en métodos formales y sistemas de alta integridad y dos socios (Leeds, St Andrews) que se centran en sistemas socio-técnicos. Posteriormente, se aprobó un proyecto adicional centrado en la computación en la nube con las universidades de Bristol, St Andrews y Aston como socios.
El proyecto de investigación de cinco años se inició en octubre de 2007 con el programa EngD asociado a partir de octubre de 2009.
Socios
- Universidad de Bristol . Departamento de Ciencias de la Computación (Prof. Dave Cliff )
- Universidad de Leeds . Instituto de Ciencias de la Salud (Prof. Justin Keen). El Dr. Andreas Hild y el Sr. Kanwar Adeel Waheed Khan también trabajaron en el equipo de LSCITS durante el período 2008-2011, examinando la complejidad en los aspectos de las organizaciones.
- Universidad de Oxford . Departamento de Ciencias de la Computación (Prof. Marta Kwiatkowska )
- Universidad de St Andrews . Facultad de Ciencias de la Computación (Prof. Ian Sommerville )
- Universidad de York . Departamento de Ciencias de la Computación (Prof. John McDermid, Prof. Tim Kelly, Prof. Richard Paige, Dr. Radu Calinescu)
Investigar
El objetivo del proyecto de investigación LSCITS es:
- "Mejorar los enfoques técnicos existentes para la ingeniería de sistemas complejos y desarrollar nuevos enfoques socio-técnicos que nos ayuden a comprender las complejas interacciones entre organizaciones, procesos y sistemas". [7]
La pila LSCITS (Figura 1) muestra las áreas de investigación que son particularmente relevantes para LSCITS.
El enfoque del trabajo del proyecto se centró inicialmente en las siguientes áreas:
- Complejidad en las organizaciones (liderado por la Universidad de Leeds )
- Ingeniería de sistemas socio-técnicos (dirigida por la Universidad de St Andrews ).
- Sistemas de software predecibles (dirigido por la Universidad de Oxford )
- Sistemas de alta integridad (liderados por la Universidad de York )
El trabajo sobre fundamentos matemáticos no se incluyó ya que estos fueron financiados en un programa de investigación separado por el EPSRC con centros de investigación de la ciencia de la complejidad en la Universidad de Bristol y la Universidad de Warwick . Posteriormente, en la Universidad de Southampton se financió otro centro de simulación de sistemas complejos .
El trabajo sobre enfoques computacionales novedosos fue reemplazado por trabajos sobre computación en la nube, ya que la importancia de esta área surgió durante el proyecto. [8]
Las publicaciones clave a continuación describen el trabajo del proyecto con más detalle.
El programa LSCITS EngD
El programa LSCITS EngD [9] es un programa de Doctorado en Ingeniería , coordinado por la Universidad de York [10], que se centra en la formación y la investigación en sistemas informáticos complejos. Los estudiantes en el programa toman una variedad de módulos enseñados básicos y opcionales y llevan a cabo investigaciones en conjunto con un patrocinador industrial. La diferencia clave entre este programa y un doctorado convencional es que los estudiantes pasan la mayor parte de su tiempo trabajando con el patrocinador industrial y pueden presentar una tesis de portafolio, describiendo varios proyectos de investigación relacionados sobre un tema común, en lugar de un solo tema.
Los módulos principales del esquema incluyen
- Métodos empíricos para LSCITS
- Ingeniería de sistemas de alta integridad
- Sistemas de software predecibles
- Sistemas socio-técnicos
- Ingeniería de sistemas para LSCITS
- Innovación Tecnológica
Los estudiantes toman varios módulos opcionales además de estos temas centrales de informática, matemáticas y administración. En general, los módulos básicos y opcionales están destinados a proporcionar a los estudiantes de EngD amplitud y profundidad en los temas de LSCITS.
Paralelamente a la parte impartida del programa, los estudiantes realizan investigaciones; Los proyectos de investigación abarcan temas de LSCITS, que incluyen sistemas socio-técnicos, computación de alto rendimiento, computación en la nube, ingeniería de sistemas y software, sistemas críticos para la seguridad, sistemas interactivos y accesibles y toma de decisiones avanzada. Los patrocinadores industriales de EngD incluyen corporaciones multinacionales líderes, hasta pequeñas y medianas empresas que desean desarrollar la capacidad y la capacidad de investigación.
Gestión y gobernanza
La gestión operativa de toda la iniciativa LSCITS es responsabilidad del director (Dave Cliff) y de los dos codirectores de la iniciativa (Ian Sommerville y John McDermid). Ian Sommerville gestiona la integración entre los distintos paquetes de trabajo y actividades de LSCITS. John McDermid trabaja con Richard Paige, el Director del Centro LSCITS EngD, para administrar el programa de Doctorado en Ingeniería LSCITS con sede en York.
El Director informa al presidente del Consejo Asesor Científico Internacional de LSCITS y al presidente del Consejo Nacional de Partes Interesadas de LSCITS. [11] Estas dos juntas brindan su orientación y asesoramiento sobre los programas de investigación y capacitación de LSCITS.
Publicaciones clave
Los documentos a continuación, organizados de acuerdo con la pila LSCITS que se muestra en la Figura 1, describen el trabajo del proyecto. Una lista completa de publicaciones está disponible en el sitio web de LSCITS. [12]
LSCITS en general
- R. Calinescu y M. Kwiatkowska (2010). Técnicas de Ingeniería de Software para el Desarrollo de Sistemas de Sistemas. En C. Choppy & O. Sokolski (editores), Foundations of Computer Software. Tendencias y técnicas futuras para el desarrollo, vol. 6026 de LNCS, págs. 59–82, Springer. Preimpresión disponible en línea. [13]
- D. Cliff y L. Northrop (2011). Los mercados financieros mundiales: una perspectiva de sistemas de escala ultra grande. Documento informativo para el proyecto de la Oficina de Prospectiva Científica del Gobierno del Reino Unido sobre el futuro del comercio de computadoras en los mercados financieros. Septiembre de 2011.
- I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T. Kelly, M. Kwiatkowska, J. McDermid y R. Paige. (2011) Sistemas de TI complejos a gran escala.
Complejidad en las organizaciones
- J. Rooksby e I. Sommerville. (2012) La gestión y el uso de sitios de redes sociales en un departamento de gobierno. Trabajo cooperativo asistido por computadora: The Journal of Collaborative Computing.
- J. Keen. (2011) La gobernanza de la privacidad y la confidencialidad. Documento preparado para IRSPM XV, Dublín, 11-13 de abril de 2011.
- J. Keen. (2009) Integración a cualquier precio: el caso del programa nacional de TI del NHS. En: H Margetts, C Hood y 6 P (eds) Paradoxes of Modernization. Oxford, Oxford University Press.
Ingeniería de sistemas socio-técnicos
- Baxter, G .; Sommerville, I. (2010). "Sistemas socio-técnicos: de los métodos de diseño a la ingeniería de sistemas" . Interactuar con las computadoras . 23 : 4–17. doi : 10.1016 / j.intcom.2010.07.003 .
- I. Sommerville (editor). El Manual de Ingeniería de Sistemas Socio-técnicos. (2011). Universidad de St Andrews.
Sistemas de alta integridad
- X. Ge, RF Paige, J. McDermid: Análisis probabilístico de propagación y transformación de fallas. SAFECOMP 2009: 215-228.
- Paige, RF; Galloway, A .; Charalambous, R .; Ge, X .; Brooke, PJ (2011). "Procesos ágiles de alta integridad para el desarrollo de software crítico de seguridad". Revista internacional de sistemas informáticos críticos . 2 (2): 181–216. doi : 10.1504 / IJCCBS.2011.041259 .
- Williams, JR; Poulding, SM; Rose, LM; Paige, RF; Polack, FAC (2011). Identificación de comportamientos deseables de los personajes del juego mediante la aplicación de algoritmos evolutivos a metamodelos de ingeniería basados en modelos . SSBSE . Apuntes de conferencias en Ciencias de la Computación. 2011 . págs. 112-126. doi : 10.1007 / 978-3-642-23716-4_13 . ISBN 978-3-642-23715-7.
Sistemas de software predecibles
- R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, G. Tamburrelli (2011). Optimización y gestión dinámica de QoS en sistemas basados en servicios. En: IEEE Transactions on Software Engineering.
- L. Feng, M. Kwiatkowska y D. Parker. (2011) Aprendizaje automatizado de supuestos probabilísticos para el razonamiento composicional. Proc. 14ª Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software (FASE'11), volumen 6603 de LNCS, páginas 2–17, Springer.
- M. Kwiatkowska. (2007) Verificación cuantitativa: modelos, técnicas y herramientas. Proc. 6ª reunión conjunta de la Conferencia Europea de Ingeniería de Software y el Simposio ACM SIGSOFT sobre los Fundamentos de la Ingeniería de Software (ESEC / FSE), páginas 449-458, ACM Press.
- M. Kwiatkowska, G. Norman y D. Parker. (2009) PRISM: Comprobación de modelos probabilísticos para análisis de rendimiento y confiabilidad. Revisión de la evaluación del desempeño de ACM SIGMETRICS, 36 (4), páginas 40–45, ACM.
Computación en la nube
- John Cartlidge e Ilango Sriram (2011). Modelado de resiliencia en centros de datos a escala de nube. Actas del 23º Simposio Europeo de Modelado y Simulación, Roma. Septiembre de 2011
- A. Khajeh-Hosseini, D. Greenwood, JW Smith e I. Sommerville (2011). El kit de herramientas de adopción de la nube: apoyo a las decisiones de adopción de la nube en la empresa. Software: práctica y experiencia: edición especial sobre arquitecturas de software y entornos de desarrollo de aplicaciones para la computación en la nube.
Publicaciones de grupos similares
- Sistemas de gran escala: descripción general. Instituto de Ingeniería de Software, Universidad Carnegie Mellon.
- Goth, G. (2008). "Ultralarge Systems: ¿redefiniendo la ingeniería de software?" . Software IEEE . 25 (3): 91–94. doi : 10.1109 / MS.2008.82 .
- H. Sillitto, (2010) "Principios de diseño para sistemas de gran escala". Proc. 20º Simposio Internacional del Consejo Internacional Anual de Ingeniería de Sistemas (INCOSE), julio de 2010, Chicago, IL, EE. UU.
- Northrop, L. y col. (2006). Sistemas a gran escala: el desafío del software del futuro. Instituto de Ingeniería de Software, Universidad Carnegie Mellon. (6,5 MB de descarga)
Ver también
- Computación en la nube
- Sistemas sociotécnicos
- Sistema de sistemas
Referencias
- ^ "Acerca de los sistemas informáticos complejos a gran escala" . Universidad de Bristol . Consultado el 2 de julio de 2015 .
- ^ "LSCITS-RPv2: Iniciativa de sistemas de TI complejos a gran escala - Programa de investigación v2" . Gow.epsrc.ac.uk . Consultado el 2 de julio de 2015 .
- ^ "Computación en la nube para sistemas informáticos complejos a gran escala" . Gow.epsrc.ac.uk . Consultado el 2 de julio de 2015 .
- ^ "Centro de políticas de BCS" . Bcs.org. 25 de junio de 2015 . Consultado el 2 de julio de 2015 .
- ^ "Complejidad y comportamiento emergente en sistemas de TIC: Informe técnico HP-2004-187, Sistemas semánticos y adaptativos, Hewlett-Packard Labs" (PDF) . Eprints.ecs.soton.ac.uk . Consultado el 2 de julio de 2015 .
- ^ Informe anual 2006-7 de EPSRC Archivado el 2 de abril de 2012 en Wayback Machine p. 10/11
- ^ "Visión general de la iniciativa" . Universidad de Bristol . Consultado el 2 de julio de 2015 .
- ^ "Computación en la nube" . Universidad de Bristol . Consultado el 2 de julio de 2015 .
- ^ "Centro de Doctorado en Ingeniería" . Universidad de York. 2010. Archivado desde el original el 7 de enero de 2011 . Consultado el 19 de octubre de 2015 .
- ^ "Centros de formación doctoral clasificados por universidad" . EPSRC. Archivado desde el original el 29 de junio de 2011 . Consultado el 19 de octubre de 2015 .
- ^ "Gestión de sistemas informáticos complejos a gran escala" . Universidad de Bristol . Consultado el 2 de julio de 2015 .
- ^ "Publicaciones de sistemas informáticos complejos a gran escala" . Universidad de Bristol . Consultado el 2 de julio de 2015 .
- ^ "Técnicas de Ingeniería de Software para el Desarrollo de Sistemas de Sistemas" . Prismmodelchecker.org . Consultado el 2 de julio de 2015 .