Управление конфигурациями ПО. Повторное использование ПО

В реферате по теме рекомендуется рассмотреть следующие вопросы:

· Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Управление конфигурациями ПО в системном и программном контексте» (6.3.5, 7.2.2), «Управление информацией» (6.3.6), «Управление документацией ПО» (7.2.1), «Разработка домена ПО повторного использования» (7.3.1), «Менеджмент активов повторного использования» (7.3.2), «Менеджмент программ повторного использования активов» (7.3.3), «Верификация ПО» (7.2.4), «Валидация ПО» (7.2.5), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7).

Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.

· Раскрытие спецификации (детализации структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.

· Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.

· Понятие конфигурации документации активов ПО.

· Концепция управления конфигурациями ПО. Цели. Технология.

· Концепция повторного использования активов в ПИ. Цели. Особенности повторного использования в инженерии критического ПО.

· Параметризация компонентов повторного применения. Настройка. Компоненты COTS.

· Гарантирование качества. Отчеты по верификации и валидации. Инспекции.

· Квалификация ПО в системном контексте.

Рекомендуемая литература. Электронный архив

Таблица 3 - Список рекомендуемой литературы

№	Название	Имя файла в папке электронного архива materials/	Примечание
1.	ГОСТ Р ИСО/МЭК 12207-2010 Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств	ГОСТ_Р_12207.pdf	Идентичен международному стандарту (ISO/IEC/IEEE 12207:2008 "System and software engineering - Software life cycle processes")
2.	ISO/IEC 25010:2011 Systems and software engineering -- Systems and software Quality Requirements and Evaluation (SQuaRE) -- System and software quality models (Проектирование систем и разработка программного обеспечения. Требования к качеству систем и программного обеспечения и их оценка (SQuaRE). Модели качества систем и программного обеспечения)	ISOIEC_FDIS25010_(E).pdf (язык англ.)	ISO/IEC 25010:2011 defines: 1. A quality in use model composed of five characteristics (some of which are further subdivided into subcharacteristics) that relate to the outcome of interaction when a product is used in a particular context of use. This system model is applicable to the complete human-computer system, including both computer systems in use and software products in use. A product quality model composed of eight characteristics (which are further subdivided into subcharacteristics) that relate to static properties of software and dynamic properties of the computer system. The model is applicable to both computer systems and software products.
3.	ISO/IEC/IEEE 42010:2011 Системная и программная инженерия. Описание архитектуры	iso-iec-ieee-42010-2011.pdf
4.	Серия стандартов ГОСТ Р 15504	папка ГОСТ_Р_15504	Стандарты серии ГОСТ Р ИСО/МЭК 15504 Информационная технология. Оценка процесса.
4.1	ГОСТ Р ИСО/МЭК 15504-1-2009 Часть 1. Основные понятия и словарь (ISO/IEC 15504-1:2004, Information technology - Process assessment - Part 1: Concepts and vocabulary)	gost_r_isomek_15504-1_otsenka_protsessov_kontseptsiya_i_slovar.pdf
4.2	ГОСТ Р ИСО/МЭК 15504-2-2009 Часть 2. Проведение оценки (ISO/IEC 15504-2:2003 Information technology - Process assessment -Part 2: Performing an assessment(IDT))	gost_r_isomek_15504-2_otsenka_protsessa_provedenie_otsenki.pdf
4.3	ГОСТ Р ИСО/МЭК 15504-3-2009 Часть 3. Руководство по проведению оценки Information technology. Process assessment. Part 3. Guidance to performing an assessments	gost_r_isomek_15504-3-2009.pdf
5.	Серия стандартов IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems (Системы электрические/электронные/программируемые электронные, связанные с функциональной безопасностью)	папка 61508	Конкретно по ПО стандарт: ГОСТ Р МЭК 61508-3-2007 «Системы электрические/электронные/программируемые электронные, связанные с функциональной безопасностью. Часть 3. Требования к программному обеспечению»
6.	ECSS	папка ECSS
6.1	ECSS-E-ST-10C 6 March 2009 Space engineering – System engineering general requirements (Разработка космических систем – общие требования)	ECSS-E-ST-10C(6March2009).pdf
6.2	ECSS-M-00-O3А. 25 апреля 2000. Управление разработкой и сопровождением космического проекта. Общее регулирование и сопровождение рисков	ECSS-M-00-03A.pdf	Риски представляют собой угрозу успеху любого проекта, поскольку они оказывают отрицательные влияния на стоимость проекта, на план-график его разработки, а также на основные его технические характеристики. Целью этого регулирования и сопровождения риска при проектировании является его выявление, проведение оценки его состояния, понижение уровня, осуществление его допуска и контроля. Причем регулирование рисков в космических проектах проводится систематическим, самым активным и всесторонним, эффективным и экономически рациональным образом, с учетом проектно-технических и программных ограничений. Стандарт определяет основные принципы и требования по комплексному регулированию рисками в ходе выполнения космического проекта. Он объясняет как следует любому из исполнителей проекта осуществлять политику (стратегию) комплексного регулирования риском в проекте, и на любом уровне, т.е. заказчика, поставщика первого уровня или поставщиков более низких уровней.
6.3	ECSS-Q-ST-80C Software product assurance	ECSS-Q-ST-80C(6March2009).doc
6.4	ECSS-Q-ST-30 C Dependability	ECSS-Q-ST-30C(6March2009).doc
6.5	ECSS-Q-ST-40 C Safety	ECSS-Q-ST-40C(6March2009).doc
6.6	ECSS-Q-ST-40-02C Hazard analysis	ECSS-Q-ST-40-02C(15November2008).pdf
6.7	ECSS-Q-ST-40-12C Fault tree analysis - Adoption notice ECSS/IEC 61025	ECSS-Q-ST-40-12C(31July2008).pdf
6.8	ECSS-Q-HB-80-01A Reuse of existing software Date of issue:5 December 2011	ECSS-Q-HB-80-01A(5December2011).pdf
6.9	ECSS-Q-HB-80-03A Software dependability and safety Date of issue: 26 January 2012	ECSS-Q-HB-80-03A(26January2012).pdf
6.10	ECSS-Q-HB-80-02 Part 1A Software process assessment and improvement Part 1: Framework Date of issue: 8 October 2010	ECSS-Q-HB-80-02_Part1A(8October2010).pdf
6.11	ECSS-Q-HB-80-02 Part 2A Software process assessment and improvement Part 2: Assessor instrument Date of issue: 8 October 2010	ECSS-Q-HB-80-02_Part2A(8October2010).pdf
6.12	ECSS-Q-HB-80-04A Software metrication programme definition and implementation Date of issue: 30 March 2011	ECSS-Q-HB-80-04A(30March2011).pdf
6.13	ECSS-E-ST-40 C Software	ECSS-E-ST-40C(6March2009).pdf
6.14	Серия стандартов Европейского Космического Агентства (ESA): Software Engineering Standards (PSS-05-0) of the European Space Agency (ESA). Carlo Mazza, Jon Fairclough, Bryan Melton, Daniel de Pablo, Adriaan Scheffer, Richard Stevens. Publisher: Prentice-Hall International (UK) Ltd. First published 1994 ISBN 0-13-106568-8 Software Engineering Guides (PSS-05-01 to PSS-05-11) of the European Space Agency (ESA). Carlo Mazza, Jon Fairclough, Bryan Melton, Daniel de Pablo, Adriaan Scheffer, Richard Stevens, Michael Jones, Gianfranco Alvisi. Publisher: Prentice-Hall International (UK) Ltd. First published 1996 ISBN 0-13-449281-1	Папка ESA
7.	IAEA Safety Guide DS-431. Design of Instrumentation and Control Systems for Nuclear Power Plants (МАГАТЭ. Руководство по безопасности. Проектирование ИУС для АЭС)	DS43120120917.pdf	Взамен NS-G-1.1 and NS-G-1.3
8.	ГОСТ Р МЭК 60880-2010 Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А	GOST_R_60880_or.pdf
9.	ГОСТ Р МЭК 62138 – 2011 Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории В и С	GOST_R_62138_or.pdf
10.	Основы Программной Инженерии (по SWEBOK)	папка SWEBOK	В каждом файле по главе. 1-й файл: software_engineering.pdf
11.	A Guide to the Project Management Body Of Knowledge (PM BOK). PMI Standards Committee. William R. Duncan, Director of Standards.1996. Введение в Свод Знаний по Управлению Проектами.	Pm-book.pdf
12.	ДСТУ 3798-98 Вироби медичні електричні. Частина 1. Загальні вимоги безпеки (ІЕС 60601-1:1988)	dstu3798-98u.pdf
13.	Кларк Э.М. Верификация моделей программ: Model Checking	[Кларк, Грамберг, Пелед][2002] Верификация моделей программ.djvu	Книга: Кларк Э.М., Грамберг О., Пелед Д.: пер. с англ. под ред. Р. Смелянского. – М.: МЦНМО, 2002. – 416 с.
14.	Карпов Ю.Г. Model checking. Верификация параллельных и распределенных программных систем.	Карпов Ю.Г. Model Checking.pdf	Книга: Ю.Г. Карпов. – СПб.: БХВ-Петербург, 2010. – 560 с.
15.	Конорев Б.М. и другие. Квалификационные испытания критического ПО космических систем: целевая технология независимой верификации и прогнозирования скрытых дефектов.	knit-14-4-2008-02.pdf	Статья в журнале: Космическая наука и технология. НАНУ, НКАУ, 2008, т. 14. №4. с. 9-26.
16.	Инвариантно-ориентированная оценка качества программного обеспечения космических систем // Под ред. Конорева Б.М., Харченко В.С. – Госцентркачества ГКЯРУ, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2009. – 224 с.	монография-2009.pdf
17.	ГОСТ Р ИСО/МЭК 15026-2002 Информационная технология. Уровни целостности систем и программных средств	15026-2002.pdf	Полный аутентичный текст международного стандарта ИСО/МЭК 15026—98
18.	Стандарты НКАУ	папка СОУ_НКАУ
18.1	СОУ-Н НКАУ 0012:2006. Галузева система управління якістю. Вимоги до якості програмного забезпечення програмно-технічних комплексів критичного призначення./ керівник розробки Б. Конорев. – К.: НКАУ, 2006р. – 118 с.	СОУ-Н 0012.doc
18.2	СОУ-Н НКАУ 0031:2007 Галузева система управління якістю. Методи оцінки показників якості програмного забезпечення програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України [Текст] / Конорев Б.М. (наук. керівник розробки). – 2007. – 127 с.	SOU-NSAU 0031.doc
18.3	СОУ-Н НКАУ 0058:2009 Галузева система управління якістю. Вимоги до функціональної безпеки програмного забезпечення програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України [Текст] / Харченко В.С. (наук. керівник розробки). – 2009. – 57 с.	SOU-N_NSAU_0058-2009.doc
18.4	СОУ-Н НКАУ 0060:2010 Галузева система управління якістю. Гарантоздатність програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України [Текст] / Харченко В.С. (наук. керівник розробки). – 2011. – 60 с.	SOU-N_NSAU_0060-2010.doc
18.5	СОУ-Н ДКА 0061:2012 Галузева система управління якістю. Процеси життєвого циклу програмного забезпечення програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України [Текст] / Харченко В.С. (наук керівник розробки). – 2012. – 116 с.	СОУ-Н 0061.doc
18.6	ПрСОУ-Н ДКА 0078:201_ Галузева система управління якістю. Верифікація програмного забезпечення програмно-тех­ніч­них комплексів критичного призначення. Настанова Державного космічного агентства України (проект) [Текст] / Харченко В.С. (наук. керівник розробки). – 201_. – 80 с.		проект на утверждении
19.	Оценка и обеспечение качества программных средств космических систем / Под ред. Харченко В.С., Конорева Б.М. – Нац. косм. агентство Украины, Госцентркачества, Нац. аэрокосм. ун-т «ХАИ». – 2007. – 243 с.	Качество ПО КС24.12.2007.pdf
20.	Харченко В.С. Методы моделирования и оценки качества и надежности программного обеспечения / В.С. Харченко, В.В. Скляр, О.М. Тарасюк // Харьков: ХАИ, 2004. – 159 с.
21.	Сергієнко В.В.. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування. Дис. канд. техн. наук: 05.13.06 / В. В. Сергієнко; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2012. - 166 с.	dis_Sergienko.pdf
22.	ISO/IEC 15939:2007 Systems and software engineering -- Measurement process
23.	IEC 62304 Medical device software – Software life cycle processes. First edition 2006-05	info_iec62304{ed1.0}en_d.pdf (только содержание)
24.	Фатрелл Р. Т. Управление программными проектами: достижение оптимального качества при минимальных затратах / Фатрелл Р. Т., Шафер Д. Ф., Шафер Л. И.; пер. с англ. —М.: Вильямс, 2003. –1125 с.
25.	Липаев В.В. Программная инженерия / Липаев В.В. – М.:ТЕИС, 2006.– 606 с.	Липаев_Программная инженерия.pdf
26.	Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. Киев: Наукова думка, 2006. - 452с.	Лаврищева Е.М. Методы программирования. Теория, инженерия, практика (2006).pdf
27.	Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем	Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем.pdf
28.	Методы и средства инженерии программного обеспечения.–/Лаврищева Е.М., Петрухин В. А.Москва, МФТИ.–2007.–415 с.–(рус.).	lavrishcheva_petrukhin.pdf
29.	Соммервилл И. Инженерия программного обеспечения / И. Соммервилл Пер. с англ. – М.: Вильямс, 2002. – 623 с
30.	ISO/IEC 16326 ed1.0 (2009-12) TC/SC JTC 1/SC 7 Systems and software engineering -- Life cycle processes -- Project management	info_isoiec16326{ed1.0}en.pdf (только intro)
31.	ГОСТ Р ИСО/МЭК ТО 16326-2002 Руководство по применению ГОСТ Р ИСО/МЭК 12207 при управлении проектом	ГОСТ Р ТО 16326-2002.doc
32.	Раскин Л.Г., Серая О.В. Нечеткая математика. Основы теории. Приложения. – Х.: Парус, 2008. – 352с.
33.	Eldon Y. Li, Houn-Gee-Chen, Waiman Cheung. Total Quality Management in Software Development Process/ The Journal of Quality Assurance Institute, vol. 14, No.1, January 2000, pp 4-6 & 35-41.
34.	Леоненков А.В. Нечеткое моделирование в среде MATLAB и fuzzy TECH. – СПб.: БХВ – Петербург, 2003.-736 с.

*) Реферативный анализ – анализ, опирающийся на опубликованные результаты исследований (в литературных источниках)

**) Представленные ниже рекомендации по содержанию Введения Аттестационного Задания определяют общий контекст курса «Инженерия критического ПО» и должны быть в разумной степени адаптированы исполнителем по объему и номенклатуре для выбранной темы.

Don’t afraid to guess! Соображайте!

*) Здесь парадигма – общий стиль определяющий совокупность форм при представлении и изучении предметной области модуля учебной программы.