Programa de investigación y educación de posgrado del Reino Unido
La Iniciativa de Sistemas de TI complejos a gran escala del Reino Unido (LSCITS) [1] es un programa de investigación y formación de posgrado centrado en los problemas del 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 financiación concedidas entre 2006 y 2013. [2] [3]
Fondo
La motivación inicial para la creación de un programa de investigación en sistemas informáticos complejos a gran escala fue la publicación en 2004 de un informe [4] de la Real Academia de Ingeniería y la Sociedad Británica de Informática . En dicho informe se examinaron las causas del fracaso de una serie de grandes proyectos de software y se formularon varias recomendaciones de investigación para abordar algunos de estos problemas.
Un segundo informe, escrito por Seth Bullock y Dave Cliff y publicado también 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 llevó el título Complejidad y comportamiento emergente en los sistemas de TIC [5]. Las principales conclusiones de este informe fueron que los principales desafíos que se deben abordar en el Reino Unido son los obstáculos institucionales y culturales para la investigación interdisciplinaria apropiada y que había una necesidad urgente de abordar las omisiones en la educación universitaria en ciencias de la computación en el 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 principales preocupaciones de la industria eran las cuestiones sociotécnicas que surgen de las interacciones entre organizaciones, personas y sistemas y en la ingeniería de sistemas de alta integridad. Sobre la base de esto, se formó un consorcio con dos socios (York, Oxford) centrados en métodos formales y sistemas de alta integridad y dos socios (Leeds, St Andrews) centrados en sistemas sociotécnicos. Posteriormente, se aprobó otro proyecto 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 comenzó en octubre de 2007 y el programa de Doctorado en Ingeniería asociado comenzó en octubre de 2009.
Fogonadura
Investigación
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 sociotécnicos que nos ayuden a comprender las interacciones complejas entre organizaciones, procesos y sistemas". [7]
La pila LSCITS (Figura 1) muestra las áreas de investigación que son particularmente relevantes para LSCITS.
El trabajo del proyecto se centró inicialmente en las siguientes áreas:
No se incluyeron los trabajos sobre fundamentos matemáticos, ya que estos se financiaron en un programa de investigación independiente del EPSRC con centros de investigación en ciencias de la complejidad en la Universidad de Bristol y la Universidad de Warwick . Posteriormente se financió otro centro sobre simulación de sistemas complejos en la Universidad de Southampton .
El trabajo sobre nuevos enfoques computacionales fue reemplazado por el trabajo sobre computación en la nube a medida que la importancia de esta área emergió durante el proyecto. [8]
Las publicaciones clave a continuación describen el trabajo del proyecto con más detalle.
El programa de doctorado en ingeniería de LSCITS
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 del programa cursan una serie de módulos básicos y optativos y realizan investigaciones en colaboración 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, en la que describen varios proyectos de investigación relacionados sobre un tema común, en lugar de un único tema.
Los módulos principales del plan 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 cursan una serie de módulos opcionales además de estos temas básicos de informática, matemáticas y administración. En general, los módulos básicos y opcionales tienen como objetivo brindar a los estudiantes de doctorado en ingeniería amplitud y profundidad en los temas de LSCITS.
Paralelamente a la parte docente del programa, los estudiantes realizan investigaciones; los proyectos de investigación abarcan temas de LSCITS, incluidos sistemas sociotécnicos, computación de alto rendimiento, computación en la nube, ingeniería de sistemas y software, sistemas críticos de 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 capacidad e 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 de los distintos paquetes de trabajo y actividades de LSCITS. John McDermid trabaja con Richard Paige, director del Centro de Doctorado en Ingeniería de LSCITS, para gestionar el programa de Doctorado en Ingeniería de LSCITS con sede en York.
El director rinde cuentas al presidente del Consejo Asesor Científico Internacional del LSCITS y al presidente del Consejo Nacional de Partes Interesadas del LSCITS. [11] Estos dos consejos proporcionan su orientación y asesoramiento sobre los programas de investigación y capacitación del LSCITS.
Publicaciones clave
Los artículos que se presentan a continuación, organizados según la pila LSCITS que se muestra en la Figura 1, describen el trabajo del proyecto. En el sitio web de LSCITS se encuentra disponible una lista completa de publicaciones. [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 y O. Sokolski (editores), Fundamentos del software informático. 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 globales: una perspectiva de sistemas a gran escala. Documento informativo para el proyecto de la Oficina de Previsión Científica del Gobierno del Reino Unido sobre el futuro del comercio informático 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.
La complejidad en las organizaciones
- J. Rooksby y I. Sommerville. (2012) La gestión y el uso de sitios de redes sociales en un departamento gubernamental. Trabajo cooperativo asistido por computadora – The Journal of Collaborative Computing.
- J. Keen. (2011) La gobernanza de la privacidad y la confidencialidad. Documento preparado para la XV reunión del IRSPM, Dublín, 11-13 de abril de 2011.
- J. Keen. (2009) Integración a cualquier precio: el caso del Programa Nacional de Tecnologías de la Información del NHS. En: H. Margetts, C. Hood y 6. P. (eds.) Paradoxes of Modernization. Oxford, Oxford University Press.
Ingeniería de sistemas sociotécnicos
- Baxter, G.; Sommerville, I. (2010). "Sistemas sociotécnicos: de los métodos de diseño a la ingeniería de sistemas". Interactuando con computadoras . 23 : 4–17. doi : 10.1016/j.intcom.2010.07.003 .
- I. Sommerville (editor). Manual de ingeniería de sistemas sociotécnicos. (2011). Universidad de St Andrews.
Sistemas de alta integridad
- X. Ge, RF Paige, J. McDermid: Propagación probabilística de fallos y análisis de transformación. 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 para la 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 personajes de juegos mediante la aplicación de algoritmos evolutivos a metamodelos de ingeniería basados en modelos". Ingeniería de software basada en búsquedas . Apuntes de clase en informática. Vol. 2011. págs. 112–126. doi :10.1007/978-3-642-23716-4_13. ISBN 978-3-642-23715-7.S2CID6103107 .
Sistemas de software predecibles
- R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, G. Tamburrelli (2011). Gestión y optimización dinámica de la calidad de servicio en sistemas basados en servicios. En: IEEE Transactions on Software Engineering.
- L. Feng, M. Kwiatkowska y D. Parker. (2011) Aprendizaje automático de supuestos probabilísticos para razonamiento compositivo. Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11), volumen 6603 de LNCS, páginas 2–17, Springer.
- M. Kwiatkowska. (2007) Verificación cuantitativa: modelos, técnicas y herramientas. Actas de la 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: Verificación de modelos probabilísticos para análisis de rendimiento y confiabilidad. ACM SIGMETRICS Performance Evaluation Review, 36(4), páginas 40–45, ACM.
Computación en la nube
- John Cartlidge e Ilango Sriram (2011). Modelado de la resiliencia en centros de datos a escala de la 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). The Cloud Adoption Toolkit: Supporting Cloud Adoption Decisions in the Enterprise. Software: Practice and Experience – Edición especial sobre arquitecturas de software y entornos de desarrollo de aplicaciones para computación en la nube.
Publicaciones de grupos similares
- Sistemas de escala ultragrande: descripción general. Instituto de Ingeniería de Software, Universidad Carnegie Mellon.
- Goth, G. (2008). "Sistemas ultragrandes: ¿redefiniendo la ingeniería de software?". IEEE Software . 25 (3): 91–94. doi :10.1109/MS.2008.82.
- H. Sillitto, (2010) "Principios de diseño para sistemas de escala ultragrande". Actas del 20º Simposio Internacional Anual del Consejo Internacional de Ingeniería de Sistemas (INCOSE), julio de 2010, Chicago, Illinois, EE. UU.
- Northrop, L. et al. (2006). Sistemas de ultragran escala: el desafío del software del futuro. Instituto de Ingeniería de Software, Universidad Carnegie Mellon. (6,5 MB de descarga)
Véase también
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 informáticos 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 .
- ^ "BCS Policy Hub". 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, Semantic & Adaptive Systems, Hewlett-Packard Labs" (PDF) . Eprints.ecs.soton.ac.uk . Consultado el 2 de julio de 2015 .
- ^ Informe anual del EPSRC 2006-7 Archivado el 2 de abril de 2012 en Wayback Machine, pág. 10/11
- ^ "Initiative overview" (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 .
- ^ "Engineering Doctorate Centre". 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 listados 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 sobre 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 .
