- •Содержание
- •Р ис.2 Модель переходов состояний в жц проекта критического по
- •2.2.2Квалификационные испытания критического по [1, 2, 3, 6, 3, 15]:
- •2.2.3 Управление качеством критического по
- •2.2.4Базовая модель менеджмента в сфере «Программная инженерия».
- •2.2.5Уровень критичности. Риски. Безопасность (функциональная и информационная). Оценка и регулирование величины рисков, связанных со скрытыми дефектами критического по.
- •2.2.6Отчуждаемость критического по.
- •2.2.7Систематическое использование метрик для количественного измерения показателей качества программного продукта и процессов жц.
- •4Общие требования к структуре и содержанию Реферата «Аттестационного Задания»
- •4.1Название темы «Аттестационного задания» выбирается из приведенного ниже «Перечня рекомендуемых тем». (п.5 настоящего «Методического руководства…»)
- •4.2Введение должно определять общий контекст дисциплины «Инженерия критического по», в котором производится реферативный анализ конкретной выбранной темы.
- •4.4Выводы
- •4.5Заключение
- •4.6Список фактически использованной литературы.
- •5Перечень рекомендуемых тем «Аттестационного задания».
- •5.1Процессная парадигма инженерии критического по.*)
- •5.2Качество критического по
- •5.3Управление разработкой программных средств.
- •5.4Квалификационные испытания критического по.
- •5.5Методология разработки критического по.
- •5.6Модели качества процессов жц по spice.
- •5.7Модели качества программного продукта sQuaRe
- •5.8Полимодельная инварианто – ориентированная Model-checking верификация.
- •5.9Динамическая спецификация критического по
- •5.10 Статический анализ в инженерии критического по.
- •5.11 Нормативная база инженерии критического по
- •5.12 Управление конфигурациями по. Повторное использование по.
- •6Рекомендуемая литература. Электронный архив
5.12 Управление конфигурациями по. Повторное использование по.
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт 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.
Гарантирование качества. Отчеты по верификации и валидации. Инспекции.
Квалификация ПО в системном контексте.
6Рекомендуемая литература. Электронный архив
Таблица 3 - Список рекомендуемой литературы
№ |
Название |
Имя файла в папке электронного архива materials/ |
Примечание |
|
|
ГОСТ Р ИСО/МЭК 12207-2010 Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств |
ГОСТ_Р_12207.pdf |
Идентичен международному стандарту (ISO/IEC/IEEE 12207:2008 "System and software engineering - Software life cycle processes") |
|
|
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:
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. |
|
|
ISO/IEC/IEEE 42010:2011 Системная и программная инженерия. Описание архитектуры |
iso-iec-ieee-42010-2011.pdf |
|
|
|
Серия стандартов ГОСТ Р 15504 |
папка ГОСТ_Р_15504 |
Стандарты серии ГОСТ Р ИСО/МЭК 15504 Информационная технология. Оценка процесса. |
|
|
ГОСТ Р ИСО/МЭК 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 |
|
|
|
ГОСТ Р ИСО/МЭК 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 |
|
|
|
ГОСТ Р ИСО/МЭК 15504-3-2009 Часть 3. Руководство по проведению оценки Information technology. Process assessment. Part 3. Guidance to performing an assessments |
gost_r_isomek_15504-3-2009.pdf |
|
|
|
Серия стандартов IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems (Системы электрические/электронные/программируемые электронные, связанные с функциональной безопасностью) |
папка 61508 |
Конкретно по ПО стандарт: ГОСТ Р МЭК 61508-3-2007 «Системы электрические/электронные/программируемые электронные, связанные с функциональной безопасностью. Часть 3. Требования к программному обеспечению» |
|
|
ECSS |
папка ECSS |
|
|
|
ECSS-E-ST-10C 6 March 2009 Space engineering – System engineering general requirements (Разработка космических систем – общие требования) |
ECSS-E-ST-10C(6March2009).pdf |
|
|
|
ECSS-M-00-O3А. 25 апреля 2000. Управление разработкой и сопровождением космического проекта. Общее регулирование и сопровождение рисков |
ECSS-M-00-03A.pdf |
Риски представляют собой угрозу успеху любого проекта, поскольку они оказывают отрицательные влияния на стоимость проекта, на план-график его разработки, а также на основные его технические характеристики. Целью этого регулирования и сопровождения риска при проектировании является его выявление, проведение оценки его состояния, понижение уровня, осуществление его допуска и контроля. Причем регулирование рисков в космических проектах проводится систематическим, самым активным и всесторонним, эффективным и экономически рациональным образом, с учетом проектно-технических и программных ограничений. Стандарт определяет основные принципы и требования по комплексному регулированию рисками в ходе выполнения космического проекта. Он объясняет как следует любому из исполнителей проекта осуществлять политику (стратегию) комплексного регулирования риском в проекте, и на любом уровне, т.е. заказчика, поставщика первого уровня или поставщиков более низких уровней. |
|
|
ECSS-Q-ST-80C Software product assurance |
ECSS-Q-ST-80C(6March2009).doc |
|
|
|
ECSS-Q-ST-30 C Dependability |
ECSS-Q-ST-30C(6March2009).doc |
|
|
|
ECSS-Q-ST-40 C Safety |
ECSS-Q-ST-40C(6March2009).doc |
|
|
|
ECSS-Q-ST-40-02C Hazard analysis |
ECSS-Q-ST-40-02C(15November2008).pdf |
|
|
|
ECSS-Q-ST-40-12C Fault tree analysis - Adoption notice ECSS/IEC 61025 |
ECSS-Q-ST-40-12C(31July2008).pdf |
|
|
|
ECSS-Q-HB-80-01A Reuse of existing software Date of issue:5 December 2011
|
ECSS-Q-HB-80-01A(5December2011).pdf |
|
|
|
ECSS-Q-HB-80-03A Software dependability and safety Date of issue: 26 January 2012
|
ECSS-Q-HB-80-03A(26January2012).pdf |
|
|
|
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 |
|
|
|
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 |
|
|
|
ECSS-Q-HB-80-04A Software metrication programme definition and implementation Date of issue: 30 March 2011
|
ECSS-Q-HB-80-04A(30March2011).pdf |
|
|
|
ECSS-E-ST-40 C Software |
ECSS-E-ST-40C(6March2009).pdf |
|
|
|
Серия стандартов Европейского Космического Агентства (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 |
|
|
|
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 |
|
|
ГОСТ Р МЭК 60880-2010 Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А |
GOST_R_60880_or.pdf |
|
|
|
ГОСТ Р МЭК 62138 – 2011 Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории В и С |
GOST_R_62138_or.pdf |
|
|
|
Основы Программной Инженерии (по SWEBOK) |
папка SWEBOK |
В каждом файле по главе. 1-й файл: software_engineering.pdf |
|
|
A Guide to the Project Management Body Of Knowledge (PM BOK). PMI Standards Committee. William R. Duncan, Director of Standards.1996. Введение в Свод Знаний по Управлению Проектами. |
Pm-book.pdf |
|
|
|
ДСТУ 3798-98 Вироби медичні електричні. Частина 1. Загальні вимоги безпеки (ІЕС 60601-1:1988) |
dstu3798-98u.pdf |
|
|
|
Кларк Э.М. Верификация моделей программ: Model Checking |
[Кларк, Грамберг, Пелед][2002] Верификация моделей программ.djvu |
Книга: Кларк Э.М., Грамберг О., Пелед Д.: пер. с англ. под ред. Р. Смелянского. – М.: МЦНМО, 2002. – 416 с. |
|
|
Карпов Ю.Г. Model checking. Верификация параллельных и распределенных программных систем. |
Карпов Ю.Г. Model Checking.pdf |
Книга: Ю.Г. Карпов. – СПб.: БХВ-Петербург, 2010. – 560 с. |
|
|
Конорев Б.М. и другие. Квалификационные испытания критического ПО космических систем: целевая технология независимой верификации и прогнозирования скрытых дефектов. |
knit-14-4-2008-02.pdf |
Статья в журнале: Космическая наука и технология. НАНУ, НКАУ, 2008, т. 14. №4. с. 9-26. |
|
|
Инвариантно-ориентированная оценка качества программного обеспечения космических систем // Под ред. Конорева Б.М., Харченко В.С. – Госцентркачества ГКЯРУ, Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ», 2009. – 224 с. |
монография-2009.pdf |
|
|
|
ГОСТ Р ИСО/МЭК 15026-2002 Информационная технология. Уровни целостности систем и программных средств |
15026-2002.pdf |
Полный аутентичный текст международного стандарта ИСО/МЭК 15026—98 |
|
|
Стандарты НКАУ |
папка СОУ_НКАУ |
|
|
|
СОУ-Н НКАУ 0012:2006. Галузева система управління якістю. Вимоги до якості програмного забезпечення програмно-технічних комплексів критичного призначення./ керівник розробки Б. Конорев. – К.: НКАУ, 2006р. – 118 с. |
СОУ-Н 0012.doc |
|
|
|
СОУ-Н НКАУ 0031:2007 Галузева система управління якістю. Методи оцінки показників якості програмного забезпечення програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України [Текст] / Конорев Б.М. (наук. керівник розробки). – 2007. – 127 с. |
SOU-NSAU 0031.doc |
|
|
|
СОУ-Н НКАУ 0058:2009 Галузева система управління якістю. Вимоги до функціональної безпеки програмного забезпечення програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України [Текст] / Харченко В.С. (наук. керівник розробки). – 2009. – 57 с. |
SOU-N_NSAU_0058-2009.doc |
|
|
|
СОУ-Н НКАУ 0060:2010 Галузева система управління якістю. Гарантоздатність програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України [Текст] / Харченко В.С. (наук. керівник розробки). – 2011. – 60 с. |
SOU-N_NSAU_0060-2010.doc |
|
|
|
СОУ-Н ДКА 0061:2012 Галузева система управління якістю. Процеси життєвого циклу програмного забезпечення програмно-технічних комплексів критичного призначення. Настанова Національного космічного агентства України [Текст] / Харченко В.С. (наук керівник розробки). – 2012. – 116 с.
|
СОУ-Н 0061.doc |
|
|
|
ПрСОУ-Н ДКА 0078:201_ Галузева система управління якістю. Верифікація програмного забезпечення програмно-технічних комплексів критичного призначення. Настанова Державного космічного агентства України (проект) [Текст] / Харченко В.С. (наук. керівник розробки). – 201_. – 80 с. |
|
проект на утверждении |
|
|
Оценка и обеспечение качества программных средств космических систем / Под ред. Харченко В.С., Конорева Б.М. – Нац. косм. агентство Украины, Госцентркачества, Нац. аэрокосм. ун-т «ХАИ». – 2007. – 243 с. |
Качество ПО КС24.12.2007.pdf |
|
|
|
Харченко В.С. Методы моделирования и оценки качества и надежности программного обеспечения / В.С. Харченко, В.В. Скляр, О.М. Тарасюк // Харьков: ХАИ, 2004. – 159 с. |
|
|
|
|
Сергієнко В.В.. Інваріанто-орієнтована інформаційна технологія незалежної верифікації програмного забезпечення інформаційно-керуючих систем критичного застосування. Дис. канд. техн. наук : 05.13.06 / В. В. Сергієнко ; Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2012. - 166 с. |
dis_Sergienko.pdf |
|
|
|
ISO/IEC 15939:2007 Systems and software engineering -- Measurement process |
|
|
|
|
IEC 62304 Medical device software – Software life cycle processes. First edition 2006-05 |
info_iec62304{ed1.0}en_d.pdf (только содержание) |
|
|
|
Фатрелл Р. Т. Управление программными проектами: достижение оптимального качества при минимальных затратах / Фатрелл Р. Т., Шафер Д. Ф., Шафер Л. И.; пер. с англ. —М.: Вильямс, 2003. –1125 с.
|
|
|
|
|
Липаев В.В. Программная инженерия / Липаев В.В. – М.:ТЕИС, 2006.– 606 с. |
Липаев_Программная инженерия.pdf |
|
|
|
Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. Киев: Наукова думка, 2006. - 452с. |
Лаврищева Е.М. Методы программирования. Теория, инженерия, практика (2006).pdf |
|
|
|
Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем |
Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем.pdf |
|
|
|
Методы и средства инженерии программного обеспечения.–/Лаврищева Е.М., Петрухин В.А.Москва, МФТИ.–2007.–415 с.–(рус.).
|
lavrishcheva_petrukhin.pdf |
|
|
|
Соммервилл И. Инженерия программного обеспечения / И. Соммервилл Пер. с англ. – М.: Вильямс, 2002. – 623 с |
|
|
|
|
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) |
|
|
|
ГОСТ Р ИСО/МЭК ТО 16326-2002 Руководство по применению ГОСТ Р ИСО/МЭК 12207 при управлении проектом |
ГОСТ Р ТО 16326-2002.doc |
|
|
|
Раскин Л.Г., Серая О.В. Нечеткая математика. Основы теории. Приложения. – Х.: Парус, 2008. – 352с. |
|
|
|
|
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. |
|
|
|
|
Леоненков А.В. Нечеткое моделирование в среде MATLAB и fuzzy TECH. – СПб.: БХВ – Петербург, 2003.-736 с. |
|
|
*) Реферативный анализ – анализ, опирающийся на опубликованные результаты исследований (в литературных источниках)
**) Представленные ниже рекомендации по содержанию Введения Аттестационного Задания определяют общий контекст курса «Инженерия критического ПО» и должны быть в разумной степени адаптированы исполнителем по объему и номенклатуре для выбранной темы.
Don’t afraid to guess! Соображайте!
*) Здесь парадигма – общий стиль определяющий совокупность форм при представлении и изучении предметной области модуля учебной программы.