WikiDer > Крупномасштабные сложные ИТ-системы
Великобритания Крупномасштабные сложные ИТ-системы (LSCITS) Инициатива[1] это программа исследований и последипломного образования, посвященная проблемам разработки крупномасштабных сложных ИТ-систем (также называемых Ультра-большие системы или ULSS). Инициатива финансируется EPSRC, с более чем десятью миллионами фунты финансирования, предоставленного в период с 2006 по 2013 год.[2][3]
Фон
Первоначальным стимулом для создания программы исследований в области крупномасштабных сложных ИТ-систем была публикация отчета 2004 г.[4] посредством Королевская инженерная академия и Британское компьютерное общество. В этом отчете рассмотрены причины неудач ряда крупных программных проектов и дан ряд рекомендаций по исследованию для решения некоторых из этих проблем.
Второй отчет, составленный Сетом Баллоком и Дэйвом Клиффом и также опубликованный в 2004 году, был заказан Управлением науки и технологий Министерства торговли и промышленности (DTI) правительства Великобритании и носил название Сложность и возникающее поведение в системах ИКТ[5] Основные выводы этого отчета заключаются в том, что основными проблемами, которые необходимо решить в Великобритании, являются институциональные и культурные препятствия для проведения соответствующих междисциплинарных исследований, и что существует острая необходимость в устранении упущений в британском бакалавриате в области компьютерных наук.
В октябре 2005 года EPSRC назначил Дейва Клиффа директором инициативы LSCITS.[6] и попросили подробно проконсультироваться с представителями отрасли по их проблемам в этой области и на основе этой консультации сформировать консорциум для решения этих проблем. В результате консультации выяснилось, что основными проблемами отрасли были социально-технические вопросы, возникающие в результате взаимодействия между организациями, людьми и системами, а также в системной инженерии с высоким уровнем целостности. На основе этого был сформирован консорциум с двумя партнерами (Йорк, Оксфорд), специализирующимися на формальных методах и системах высокой степени интеграции, и двумя партнерами (Лидс, Сент-Эндрюс), сосредоточенными на социотехнических системах. Впоследствии был одобрен еще один проект, посвященный облачным вычислениям, с университетами Бристоля, Сент-Эндрюса и Астона в качестве партнеров.
Пятилетний исследовательский проект стартовал в октябре 2007 года, а соответствующая программа EngD началась в октябре 2009 года.
Партнеры
- Бристольский университет. Кафедра компьютерных наук (проф. Дэйв Клифф)
- Университет Лидса. Институт медицинских наук (профессор Джастин Кин). Д-р Андреас Хильд и г-н Канвар Адил Вахид Хан также работали в команде LSCITS с 2008 по 2011 г., исследуя сложность организационных аспектов.
- Оксфордский университет. Кафедра компьютерных наук (проф. Марта Квятковска)
- Сент-Эндрюсский университет. Школа компьютерных наук (проф. Ян Соммервилл)
- Йоркский университет. Департамент компьютерных наук (профессор Джон Макдермид, профессор Тим Келли, профессор Ричард Пейдж, доктор Раду Калинеску)
Исследование
Целью исследовательского проекта LSCITS является:
- «улучшить существующие технические подходы к проектированию сложных систем и разработать новые социотехнические подходы, которые помогают нам понять сложные взаимодействия между организациями, процессами и системами».[7]
Стек LSCITS (рис. 1) показывает области исследований, которые особенно актуальны для LSCITS.
Основное внимание в работе проекта изначально уделялось следующим направлениям:
- Сложность в организациях (во главе с Университет Лидса)
- Социально-технические системы (руководитель Сент-Эндрюсский университет).
- Предсказуемые программные системы (во главе с Оксфордский университет)
- Системы высокой степени интеграции (во главе с Йоркский университет)
Работы по математическим основам не были включены, поскольку они финансировались в рамках отдельной исследовательской программы EPSRC с научно-исследовательскими центрами сложности в Бристольский университет и Уорикский университет. Еще один центр моделирования сложных систем был профинансирован позже в Саутгемптонский университет.
Работа над новыми вычислительными подходами была заменена работой над облачные вычисления поскольку значение этой области проявилось в ходе проекта.[8]
В ключевых публикациях ниже более подробно описывается работа над проектом.
Программа LSCITS EngD
Программа LSCITS EngD [9] является Доктор технических наук схема, согласованная Йоркский университет[10] который фокусируется на обучении и исследованиях сложных ИТ-систем. Студенты программы изучают ряд основных и дополнительных модулей преподавания и проводят исследования совместно с промышленным спонсором. Ключевое отличие этой программы от обычной программы PhD заключается в том, что студенты проводят большую часть своего времени, работая с промышленным спонсором, и могут представить тезисы портфолио, описывающие несколько связанных исследовательских проектов по общей теме, а не по одной теме.
Основные модули на схеме включают
- Эмпирические методы для LSCITS
- Системная инженерия с высокой степенью интеграции
- Предсказуемые программные системы
- Социально-технические системы
- Системная инженерия для LSCITS
- Технологические инновации
Студенты изучают ряд дополнительных модулей в дополнение к этим основным темам из информатики, математики и менеджмента. В целом, основные и дополнительные модули предназначены для того, чтобы студенты EngD могли получить как можно больше, так и глубже в темах LSCITS.
Параллельно с преподаваемой частью программы студенты проводят исследования; исследовательские проекты охватывают темы LSCITS, включая социотехнические системы, высокопроизводительные вычисления, облачные вычисления, системную и программную инженерию, критически важные системы безопасности, интерактивные и доступные системы и расширенное принятие решений. Промышленные спонсоры EngD включают ведущие транснациональные корпорации, а также малые и средние предприятия, желающие создать исследовательский потенциал и потенциал.
Управление и руководство
За оперативное управление всей Инициативой LSCITS отвечает Директор (Дэйв Клифф) и два содиректора инициативы (Ян Соммервилл и Джон Макдермид). Ян Соммервилл управляет интеграцией различных рабочих пакетов и мероприятий LSCITS. Джон МакДермид вместе с Ричардом Пейджем, директором центра LSCITS EngD, руководит базирующейся в Йорке программой докторской степени LSCITS.
Директор подчиняется председателю Международного научного консультативного совета LSCITS и председателю Национального совета заинтересованных сторон LSCITS.[11] Эти два совета предоставляют свои рекомендации и рекомендации по исследовательским и учебным программам LSCITS.
Ключевые публикации
Приведенные ниже документы, организованные в соответствии со стеком LSCITS, показанным на Рисунке 1, описывают работу над проектом. Полный список публикаций доступен на веб-сайте LSCITS.[12]
LSCITS в целом
- Р. Калинеску и М. Квятковска (2010). Методы программной инженерии для разработки систем систем. В С. Чоппи и О. Сокольски (редакторы), Основы компьютерного программного обеспечения. Будущие тенденции и методы развития, т. 6026 из LNCS, стр. 59–82, Springer. Препринт доступен в Интернете.[13]
- Д. Клифф и Л. Нортроп (2011). Глобальные финансовые рынки: перспектива сверхбольших систем. Информационный документ для проекта Управления научного предвидения правительства Великобритании «Будущее компьютерной торговли на финансовых рынках». Сентябрь 2011 г.
- И. Соммервилл, Д. Клифф, Р. Калинеску, Дж. Кин, Т. Келли, М. Квятковска, Дж. МакДермид и Р. Пейдж. (2011) Крупномасштабные сложные ИТ-системы.
Сложность в организациях
- Дж. Руксби и И. Соммервиль. (2012) Управление и использование сайтов социальных сетей в государственном учреждении. Совместная работа с компьютерной поддержкой - Журнал совместных вычислений.
- Дж. Кин. (2011) Управление конфиденциальности и конфиденциальности. Документ подготовлен для IRSPM XV, Дублин, 11–13 апреля 2011 г.
- Дж. Кин. (2009) Интеграция любой ценой: пример национальной программы NHS для ИТ. В: H Margetts, C Hood and 6 P (eds) Paradox of Modernization. Оксфорд, издательство Оксфордского университета.
Социально-технические системы
- Baxter, G .; Соммервилл, И. (2010). «Социально-технические системы: от методов проектирования до системной инженерии». Взаимодействие с компьютерами. 23: 4–17. Дои:10.1016 / j.intcom.2010.07.003.
- И. Соммервиль (редактор). Справочник по социально-технической системной инженерии. (2011). Университет Сент-Эндрюс.
Системы высокой степени интеграции
- X. Ge, R.F. Пейдж, Дж. Макдермид: Вероятностный анализ распространения и преобразования отказов. SAFECOMP 2009: 215-228.
- Paige, R.F .; Galloway, A .; Charalambous, R .; Ge, X .; Брук, П.Дж. (2011). «Гибкие процессы с высокой степенью интеграции для разработки программного обеспечения, важного для безопасности». Международный журнал критических компьютерных систем. 2 (2): 181–216. Дои:10.1504 / IJCCBS.2011.041259.
- Уильямс, J.R .; Poulding, S.M .; Rose, L.M .; Paige, R.F .; Полак, Ф.А.С. (2011). Выявление желательного поведения игрового персонажа посредством применения эволюционных алгоритмов к инженерным метамоделям, управляемым моделями. SSBSE. Конспект лекций по информатике. 2011. С. 112–126. Дои:10.1007/978-3-642-23716-4_13. ISBN 978-3-642-23715-7.
Предсказуемые программные системы
- Р. Калинеску, Л. Грунске, М. Квятковска, Р. Мирандола, Дж. Тамбуррелли (2011). Динамическое управление и оптимизация QoS в сервисных системах. В: Транзакции IEEE по разработке программного обеспечения.
- Л. Фенг, М. Квятковска и Д. Паркер. (2011) Автоматизированное изучение вероятностных предположений для композиционных рассуждений. Proc. 14-я Международная конференция по фундаментальным подходам к разработке программного обеспечения (FASE'11), том 6603 LNCS, страницы 2–17, Springer.
- М. Квятковская. (2007) Количественная проверка: модели, методы и инструменты. Proc. 6-е совместное заседание Европейской конференции по разработке программного обеспечения и симпозиума ACM SIGSOFT по основам программной инженерии (ESEC / FSE), страницы 449-458, ACM Press.
- М. Квятковска, Дж. Норман и Д. Паркер. (2009) ПРИЗМА: Проверка вероятностной модели для анализа производительности и надежности. Обзор оценки эффективности ACM SIGMETRICS, 36 (4), страницы 40–45, ACM.
Облачные вычисления
- Джон Картлидж и Иланго Шрирам (2011). Моделирование устойчивости в облачных центрах обработки данных. Материалы 23-го Европейского симпозиума по моделированию и имитационному моделированию, Рим. Сентябрь 2011 г.
- А. Хадже-Хоссейни, Д. Гринвуд, Дж. В. Смит и И. Соммервилль (2011). Набор инструментов для внедрения облака: поддержка решений по внедрению облака на предприятии. Программное обеспечение: практика и опыт - специальный выпуск по архитектурам программного обеспечения и средам разработки приложений для облачных вычислений.
Публикации похожих групп
- Сверхбольшие системы: обзор. Институт программной инженерии, Университет Карнеги-Меллона.
- Гот, Г. (2008). "Сверхлегкие системы: новое определение программной инженерии?". Программное обеспечение IEEE. 25 (3): 91–94. Дои:10.1109 / MS.2008.82.
- Х. Силлитто, (2010) «Принципы проектирования для сверхбольших систем». Proc. 20-й Международный симпозиум Международного совета по системной инженерии (INCOSE), июль 2010 г., Чикаго, Иллинойс, США.
- Northrop, L. et al. (2006). Ультра-крупномасштабные системы: программные задачи будущего. Институт программной инженерии, Университет Карнеги-Меллона. (Загрузка 6.5MB)
Смотрите также
Рекомендации
- ^ «О крупномасштабных сложных ИТ-системах». Бристольский университет. Получено 2 июля 2015.
- ^ "LSCITS-RPv2: Инициатива крупномасштабных сложных ИТ-систем - Исследовательская программа v2". Gow.epsrc.ac.uk. Получено 2 июля 2015.
- ^ «Облачные вычисления для крупномасштабных сложных ИТ-систем». Gow.epsrc.ac.uk. Получено 2 июля 2015.
- ^ «Центр политики BCS». Bcs.org. 25 июня 2015 г.. Получено 2 июля 2015.
- ^ «Сложность и возникающее поведение в системах ИКТ: технический отчет HP-2004-187, семантические и адаптивные системы, Hewlett-Packard Labs» (PDF). Eprints.ecs.soton.ac.uk. Получено 2 июля 2015.
- ^ Годовой отчет EPSRC за 2006-7 гг. В архиве 2 апреля 2012 г. Wayback Machine п. 10/11
- ^ «Обзор инициативы». Бристольский университет. Получено 2 июля 2015.
- ^ "Облачные вычисления". Бристольский университет. Получено 2 июля 2015.
- ^ «Центр инженерной докторантуры». Йоркский университет. 2010. Архивировано с оригинал 7 января 2011 г.. Получено 19 октября 2015.
- ^ «Центры подготовки докторантов перечислены университетом». EPSRC. Архивировано из оригинал 29 июня 2011 г.. Получено 19 октября 2015.
- ^ «Управление крупномасштабными сложными ИТ-системами». Бристольский университет. Получено 2 июля 2015.
- ^ "Публикации крупных сложных ИТ-систем". Бристольский университет. Получено 2 июля 2015.
- ^ «Методы программной инженерии для разработки систем систем». Prismmodelchecker.org. Получено 2 июля 2015.