Помощь в написании студенческих работ
Антистрессовый сервис

Технологии повторного использования при разработке программного обеспечения систем реального времени

Диссертация: Технологии повторного использования при разработке программного обеспечения систем реального времени
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Практическая ценность работы была подтверждена? путем применения перечисленных результатов: в процессе разработки ПО для ряда проектов автоматизированных информационно-управляющих систем (АИУС) различного назначения. Это позволило сократить времяразработки и существенно снизить затраты* Hat поддержку систем. Использование предложенного методатакже позволяет более эффективно организовать процесс… Читать ещё >

Технологии повторного использования при разработке программного обеспечения систем реального времени (реферат, курсовая, диплом, контрольная)

Содержание

  • 1. Технологии повторного использования в разработке программного обеспечения систем реального времени
    • 1. 1. Терминология
    • 1. 2. Системы реального времени: основные понятия и особенности
    • 1. 3. Классификации видов ПИ
    • 1. 4. Разработка ПО СРВ на базе ПИ
    • 1. 5. Методы поиска КПИ
    • 1. 6. Постановка задачи разработки метода ПИ программных компонентов, адаптированного к применению в области ПО СРВ
    • 1. 7. Выводы
  • 2. Метод СПИ и его составляющие в разработке ПО СРВ
    • 2. 1. Основные положения метода СПИ
    • 2. 2. Регулярность и непрерывность процесса ПИ
    • 2. 3. ПИ в условиях ограничений на применение сторонних компонентов
    • 2. 4. ПИ прикладных задач в процессе разработки ПО СРВ
    • 2. 5. Учет специфических особенностей ПО СРВ. Модель вычислительного процесса СРВ
    • 2. 6. Модель описания КПИ ПО СРВ для хранения, поиска и ПИ
    • 2. 7. Категория КПИ
    • 2. 8. Структура КПИ
    • 2. 9. Временные характеристики
    • 2. 10. Надежность КПИ
    • 2. 11. Эффективность КПИ
    • 2. 12. Модифицируемость КПИ
    • 2. 13. Коэффициенты ПИ
  • 2.
  • Выводы
  • 3. Модифицированные методы точного и аппроксимирующего поиска
    • 3. 1. Базовый метод поиска КПИ
    • 3. 2. Модифицированный метод точного и аппроксимирующего поиска КПИСРВ
    • 3. 3. Особенности метода
  • МТАП КПИ ПО СРВ
    • 3. 4. Выводы
  • 4. Создание и поддержка среды для разработки ПО СРВ на базе метода СПИ
    • 4. 1. Мероприятия по внедрению и поддержке процесса разработки ПО СРВ на базе метода СПИ
    • 4. 2. Создание инструментальной среды для хранения, поиска и сравнения КПИ
    • 4. 3. Выводы
  • 5. Разработка и исследование библиотек КПИ СРВ на базе метода СПИ
    • 5. 1. Библиотека планировщиков задач СРВ
    • 5. 2. Библиотека графических объектов
    • 5. 3. Оценка процесса разработки ПО СРВ на базе метода СПИ
    • 5. 4. Выводы

Создание программного обеспечения (ПО) для систем реального времени (СРВ) считается одной из наиболее сложных и дорогостоящих задач программирования [65]. В значительной мере это обусловлено специфическими требованиями к системам данного класса (гетерогенность, распределенность, функционирование в масштабе реального времени и пр.), условиями их разработки и эксплуатации. Немалую роль в этом играет и фактор требований к повышенной надежности и безопасности систем для их окружения.

Вместе с этим активное использование систем подобного класса' сегодня и перспективы еще большего их распространения в будущем заставляют коллективы разработчиков искать пути снижения трудоемкости процесса создания ПО СРВ, повышения его надежности, а также сокращения сроков реализации и стоимости проектов. Исследования, посвященные данной, теме охватывают широкий спектр направлений, начиная от создания специальных методик проектирования, например, шаблонно-ориентированный подход [9], CoDesign [101], до автоматизации различных составляющих процесса разработки, например [103, 104].

Одним из направлений решения данной проблемы в настоящее время является повторное использование (ПИ) различных продуктов разработки ПО, созданных ранее [66]. Множество исследований в этой области производятся как российскими (Мякишев Д. [32], Липаев В. [26, 27], Сухомлин В. [57] и др.), так и зарубежными (Isovic D., Norstrom> С. [105], Hsiung Р.-А. 103]) специалистами.

Максимальное использование предыдущих наработок при изготовлении новых изделий приносит немалую выгоду. Однако, большинство современных технологий и методов ПИ ориентировано на системы общего назначения и не учитывает специфику области СРВ. Это либо сильно уменьшает возможность их применения без специальной адаптации для данных систем, либо делает их использование невозможным. Так, например, большинство методов поиска компонентов повторного использования (КПИ) основано на анализе функциональных или структурных характеристик объекта, и не рассматривает временные, надежностные и другие составляющие. Кроме того, зачастую сами методики ПИ имеют ряд существенных ограничений, снижающих их эффективность [110, 122].

Анализ технологий разработки ПО, ориентиронных на СРВ также показывает фрагментарность подходов, неполный охват жизненного цикла ПО, низкую эффективность ПИ.

В связи с этим, целью работы являлось нахождение/создание метода разработки ПО СРВ на базе ПИ, учитывающего специфические особенности систем данного класса, а также устраняющего ряд недостатков существующих технологий.

Для достижения поставленной цели в работе:

1. Выполнен анализ и оценка текущего состояния проблемы. Выявлены основные направления совершенствования существующих методик ПИ для создания ПО СРВ.

2. Разработан метод сквозного повторного использования (СЕЛИ) различных продуктов процесса разработки ПО СРВ.

3. Созданы модели вычислительного процесса СРВ и описания КПИ СРВ, разработан модифицированный метод точного и аппроксимирующего поиска (МТАП) в библиотеке КПИ.

4. Создан инструментальный комплекс «OtterComplexl.O», осуществляющий поддержку процесса разработки ПО СРВ на базе метода СПИ.

5. Показана эффективность разработанного метода путем сравнения с аналогами и применения метода на практике.

Решение поставленных задач производилось с применением элементов логики первого порядка, теории множеств, методов формальных доказательств, элементов теории графов, методов экспертных оценок и натурного моделирования.

Научная новизна работы состоит в следующем:

1. Разработан метод сквозного повторного использования (СПИ), позволяющий улучшить ряд характеристик процесса ПИ и частично автоматизировать поиск и выбор компонентов при разработке ПО СРВ.

2. Предложена классификация единиц ПИ, включающая такие перспективные элементы ПИ, как «продукт процесса тестирования», «инструментальная среда», «документация» и ряд других.

3. Разработана модель вычислительного процесса СРВ, учитывающая различные аспекты СРВ в качестве контекста системы и ее составляющих, а также модель описания КПИ, включающая временные и надежностные характеристики компонента, ряд коэффициентов для сбора и анализа статистики в области ПИ.

4. Получен новый метод точного и аппроксимирующего поиска КПИ в библиотеке (МТАП), позволяющий* снизить затраты процессов поиска и сравнения, улучшить их результативность, а также оценить трудоемкость последующей адаптации отобранных элементов.

5. Предложены механизмы генерализации базового запроса и введения иррелевантных множеств, позволяющие находить элементы при несовпадении ряда свойств объекта и запроса.

6. Разработаны способы учета нефункциональных требований к составляющим проектируемой системы при отборе кандидатов для ПИ.

7. Определены коэффициент ПИ компонента и вероятность развития системы в заданном направлении, применяемые для повышения эффективности процесса ПИ.

Практическая ценность работы была подтверждена путем применения указанного метода в процессе разработки ПО для ряда проектов ИУС различного назначения, что подтверждается актами о внедрении с предприятий ГУПНПО «Аврора», ООО «ЛМТ», ООО «Exigen Services» .

Использование результатов диссертационной работы в процессе разработки ПО на данных предприятиях позволило сократить время разработки и существенно снизить затраты на поддержку систем. В настоящее время произведенные элементы повторного использования активно применяются в новых проектах.

По результатам работы было сделано 16 докладов на различных конференциях. Всего по теме диссертации выполнено 17 публикаций, из них 4 в изданиях, рекомендуемых ВАК.

За активное участие во Всероссийском форуме студентов, аспирантов и молодых ученых 2007 г. автор работы награжден грамотой.

Ряд исследований, посвященных теме планирования задач в СРВ поддержан грантом АСП № 301 515 Санкт-Петербургского конкурса 2001 г. для студентов, аспирантов, молодых ученых и специалистов.

Часть материалов диссертации вошла в курс лекций и лабораторных работ по дисциплине «Операционные системы реального времени» кафедры Вычислительной техники СПбГУ ИТМО.

Предложенный в работе метод СПИ рекомендуется к применению разработчикам ПО СРВ для снижения времени создания ПО СРВ и увеличения уровня его качества и надежности, а также с целью повышения эффективности самого процесса разработки.

5.4 Выводы>

1) На примере области планирования задач в СРВ4 показаны основные этапы внедрения СПИ. Созданы соответствующие словарь терминов, правила описания компонентов, аксиоматика предметной, области, а также базовая библиотека компонентов ПИ «Планировщики задач СРВ», включающая в себя 30 различных объектов.

2) Поведено исследование характеристик библиотеки «Планировщики задач СРВ», результаты которого подтвердили теоретические выводы о характере зависимости числа найденных КПИ и количестве связей между элементами в библиотеке от степени детализацииописания элементов.

Показан процесс выбора планировщика в библиотеке «Планировщики задач СРВ» с целью его использования при проектировании и реализации подсистемы управления процессами в АИУС. На примере разработки подсистемы управления задачами АИУС показана эффективность применения предложенного метода СПИ, а также создания библиотек ПИ на практике. (Подсистема функционирует без изменений уже более четырех лет, не смотря на то, что за указанное время набор задач системы превысил первоначальный в 1,8 раза, а прочие подсистемы претерпели ряд существенных изменений.) Разработана библиотека «Отображение специальных графических объектов», содержащая различные продукты процесса разработки для 97 элементов. Приведены примеры спецификаций данных компонентов. Выполнены оценки эффективности процесса разработки ПО на выбранном предприятии. На основании оценок показано, что применение метода СПИ позволяет существенно повысить уровень ПИ компонентов, созданных ранее, а также улучшить целый ряд других характеристик процесса разработки ПО СРВ.

Заключение

.

Основные теоретические результаты настоящей работы состоят в следующем:

1. Разработан метод сквозного повторного использования (СПИ), позволяющий улучшить ряд характеристик процесса ПИ и частично автоматизировать поиск и выбор компонентов при разработке ПО СРВ.

2. Предложена классификация единиц ПИ, включающая такие перспективные элементы ПИ, как «продукт процесса тестирования», «инструментальная среда», «документация» и ряд других.

3. Разработана модель вычислительного процесса СРВ, учитывающая различные аспекты СРВ в> качестве контекста системы и ее составляющих, а также модель описания" КПИ, включающая временные и надежностные характеристики компонента, ряд коэффициентов для сбора и анализа статистики в области-ПИ.

4. Получен новый метод точного и аппроксимирующего поиска КПИ в библиотеке (МТАП), позволяющий снизить затраты процессов поиска и сравнения, улучшить их результативность, а также оценить трудоемкость последующей адаптации отобранных элементов.

5. Предложены механизмы генерализации базового запроса и* введения иррелевантных множеств, позволяющие находить элементы при несовпадении ряда свойств объекта и запроса.

6. Разработаны способы учета нефункциональных требований к составляющим проектируемой системы при отборе кандидатов для ПИ.

7. Определены коэффициент ПИ компонента и вероятность развития системы в заданном направлении, применяемые для повышения эффективности процесса ПИ.

К практическим результатам можно отнести следующее:

1. Сформирован, набор компонентов ПО СРВ и определены их свойства, что позволило создать библиотеку системных задач с целью их ПИ.

2. Созданы словарь терминовправила описания компонентов, аксиоматика’предметной области, а также базовые библиотеки КПИ «Планировщикизадач? СРВ» (2 категории единиц ПИ для 30 элементов), и «Отображение специальных графических объектов» (5 категорий единиц ПИ для 97 элементов).

3. Разработан инструментальный комплекс «OtterComplexl.O» поиска и отбора компонентов для ПИ" на базе формальных спецификаций. Приведены, рекомендации? по его установке, настройке и модификации;

4. Регламентированы ключевые моменты внедрения и поддержки методаСПИ в процесс разработки ПО СРВ.

Практическая ценность работы была подтверждена? путем применения перечисленных результатов: в процессе разработки ПО для ряда проектов автоматизированных информационно-управляющих систем (АИУС) различного назначения. Это позволило сократить времяразработки и существенно снизить затраты* Hat поддержку систем. Использование предложенного методатакже позволяет более эффективно организовать процесс разработки и повысить качество производимого продукта за счет применения неоднократно проверенных компонентов: и снижения воздействия человеческого фактора при • выполнении ряда операций поиска и выбора, снижая тем самым вероятность возникновения ошибок.

В настоящее время произведенные компоненты повторного использования* активно применяются в новых проектах.

Показать весь текст

Список литературы

  1. A.M., Востриков А. А. Обеспечение надежности микропроцессорных систем управления программно-аппаратными методами // BYTE.- 2000.- № 9(25). С. 26−33.
  2. A.M., Востриков А. А., Гуляев A.M. Операционные системы реального времени для встраиваемых приложений // BYTE.-2000: — № 9(25). С. 34−48.
  3. Бек К. Экстремальное программирование: Пер. с англ.- СПб.: Питер, 2002. 224 е., ил.
  4. Г., Борн В. Программирование управляющих вычислительных систем: Пер. с нем.- М.: Энергия, 1975 г.
  5. С. Моделирование и формализация. Методическое пособие/ С. А. Бешенков, Е. А. Ракитина. — М.: Лаборатория базовых' знаний, 2002. -336с.:ил.
  6. К.Ю. Операционные системы, реального времени: Материалы лекций.- М.: МГУ им. Ломоносова- 2000.
  7. Д. Сущность технологии СОМ. Библиотека программиста: Пер. с англ.- СПб.: Питер, 2002.- 400 с.
  8. М. Графическое программирование с использованием UML и SDL // Открытые системы.- 2001.-№ 1.
  9. Э. и др.* Приемы объектно-ориентированного проектирования. Паттерны проектирования / Э. Гамма, Р. Хелм, Р. Джонсон, Дж. Влиссидес- Пер. с англ.- СПб.: Питер, 2001. 368 е., ил.
  10. О.Горбунов-Посадов М. Облик многократно используемого компонента // Открытые системы.-1998.- № 3.
  11. П.Горбунов Hi Встроенные средства диагностики QNX4 // Открытые системы.-2000.- № 5−6.
  12. ГОСТ Р ИСО/МЭК 15 408 «Информационная технология.1 Методы и средства обеспечения безопасности. Критерии оценки безопасностиинформационных технологий // М.:ИПК Издательство стандартов, 2002.
  13. ГОСТ Р ИСО/МЭК 9126−93 Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению //М.:ИПК Издательство стандартов, 2004.
  14. Дал. У. и др. Структурное программирование / У. Дал, Э. Дейкстра, К. Хоор- Пер. с англ. М.: Мир, 1975.
  15. Н. СОМ или CORBA? Вот в чем вопрос // Открытые системы.-1999.-№ 3.
  16. Э., Аргила К. Структурные модели в объектно-ориентированном анализе и проектировании: Пер. с англ.- М.: Лори, 1999.
  17. С. и др. Тестирование программного обеспечения / С. Канер, Дж. Фолк, Е.К. Нгуен- Пер: с англ.- К.: Диасофт, 2000. 544 с.
  18. Кватрани Т. Rational Rose 2000 и UML. Визуальное моделирование: Пер. с англ.- М.:ДМК Пресс, 2001. 176 е., ил.
  19. А. Современные методы описания требований к системам: Пер. с англ.- М.: Лори, 2002. 263 с.
  20. П. и др. Объектные модели. Стратегии, шаблоны и приложения / П. Коуд, Д: Норт, М. Мейфилд- Пер. с англ.- М.: Лори, 1999.- 434 с.
  21. М. Процессы и их приоритеты в ОС Unix // Открытые системы.- 1997.- № 6.
  22. В.В. Компонентный подход в программировании: URL: http://www.intuit.ru/department/se/compprog/
  23. Е.М., Рожнов А.М: Концепция аналитической оценки характеристик качества программных компонентов. URL: eprints.isofts.kiev.ua/295/l/D67.DOC
  24. К. Применение UML и шаблонов проектирования: Пер. с англ.-М.: Вильяме, 2000. 496 с.
  25. Д., Уидгиг Д. Принципы работы с требованиями. Унифицированный подход: Пер. с англ.- М.: Вильяме, 2002.- 448 с.
  26. В. В. Экономика производства сложных программных продуктов. М.: СИНТЕГ, 2008.
  27. В., Филинов Е. Формирование и применение профилей открытых информационных систем // Открытые системы. — 1997. -№ 5.
  28. Г. Искусство тестирования программ: Пер. с англ.- М.: Финансы и статистика, 1982. — 176 е., ил.
  29. Г. Надежность программного обеспечения: Пер. с англ.- М.: Мир, 1980.
  30. В.А., Никандров А.В, Путилов В. А., Федоров А. Е., Фильчаков В. В. Структурный анализ при разработке программного обеспечения систем реального времени. Апатиты, КФ ПетрГУ, 1997. — 78с.
  31. Метрики кода и их реализация в IBM Rational ClearCase // URL: http://www.ibm.eom/developerworks/ru/edu/0108novich/section2.html
  32. Д. Объектно-ориентированное проектирование на основе эталонных моделей // Открытые системы.- 1998.- № 3.
  33. В.А. Управление качеством на базе стандартов ИСО 9000:2000.- СПб.: Питер, 2002. 272 е.: ил.
  34. А.А. «Загадочный» мир шаблонного проектирования // Программист, — 2002. -№ 11.35.0кулевич В. В. Методы построения и верификации программного обеспечения информационно-управляющих систем // Дисс. канд.-СПб., 2004.
  35. В.В., Самохвалова О. Г. Повторное использование операционных сред при создании ПО СРВ // Наука- Техника. Инновации. Тез. докл. конф. 5−8 декабря 2002 г.- Новосибирск, 2002.Ч. 2.-С. 19−20.
  36. В.В., Самохвалова О. Г. Проектирование операционных систем реального времени на* базе архитектурных шаблонов // Современные технологии. Сборник научных статей. СПб.:СПбГИТМО (ТУ) — 2001.- С*. 135−138.
  37. Окулевич- В.В., Самохвалова О. Г. Использование стандартных библиотек во встроенных системах (на примере стандартной библиотеки* языка С++) // Научно-технический вестник СПбГИТМО (ТУ), выпуск 10, СПб: СПбГИТМО (ТУ), 2003 г., С. 112 115.
  38. В.В., Самохвалова О. Г. Автоматизация процессов повторного использования и. реинжиниринга в разработке программного обеспечения систем реального времени // Политехнический симпозиум «Молодые ученые промышленности
  39. Северо-западного региона». Тез. докл. октябрь-ноябрь 2003 г.- СПб, 2003.- С. 13.
  40. В.А., Лаврищева Е. М. Методы и средства инженерии ПО. URL: http://www.intuit.ru/department/se/sweboky.
  41. А.Е., Постников Н. П. Перспективы формализации методов проектирования встроенных систем //Электронные компоненты. 2005, № 1, с. 24−29.
  42. Н.П. Поведенческий и инструментальный аспекты проектирования встроенных вычислительных систем:: Дисс. канд. тех. наук.- СПб., 2004.-152 с.
  43. В. Использование САПР «МАХ+plus II» для разработки цифровых устройств на ПЛИС фирмы «Альтера», URL: http://epos.kiev.ua/pubs/cs/mp22.htm.
  44. А. Операционная система UNIX. СПб.:ВНУ-Санкт-Петербург, 1998.
  45. У. Управление проектами по созданию программного обеспечения: Пер. с англ.- М.: Лори, 2002.
  46. С. Сюрпризы POSIX // Открытые системы, 1999.- № 09−10.
  47. О.Г. Выбор оптимального алгоритма планирования при разработке программного обеспечения систем реального времени // Научно-технический вестник.- СПб.: СПбГИТМО (ТУ), 2002.- вып. 6. -С. 88−91.
  48. О.Г. Технологии повторного использования и реинжиниринга1 и- системы реального времени // Научно-технический вестник СПбГИТМО (ГУ), выпуск 10, СПб: СПбГИТМО (ТУ), 2003 т., С. 116−119.
  49. Зб.Самохвалова O.F. Поиск программных компонент с целью их повторного использования // Научно-технический вестник СПбГУ ИТМО, выпуск 14, СПб: С1 ГбГИТМО (ТУ), 2004 г., С. 183−185.
  50. В. Методологический- базис открытых систем<// Открытые системы. -1996. № 4.
  51. А., Верхуф К. Проблемы языковых преобразований:. // Открытые системы, 2001.- № 5−6.59-Уайттеккер Д., Воас Д. 50 лет программирования: основные принципы* качества // Открытые системы, 2003 .-№ 3.
  52. М., Скотт К. UML. Основы. (Второе издание): Пер. с англ.-СПб.: Символ-Плюс, 2002.- 192 е.: ил.
  53. А.Л., Казаров А. С., Ческис В. Л. Эмуляция динамического объектно-ориентированного языка на С++ // Программист, 20 021 № 11.
  54. О. Разработка приложений под ОС QXN // Компьютерная неделя, 1998.-№ 27(151).
  55. Фелсинг Д. М: Практическое руководство по функционально-ориентированной разработке программного обеспечения: Пер. с англ -М: Вильяме, 2002.- 304 с.
  56. Дж. Программное обеспечение и его разработка: Пер. с англ.-, М: Мир, 1985.-368 е., ил.
  57. А. Л. Объектно-ориентированный дизайн — опыт многократного использования //PC Week/RE, 1996.- № 46.
  58. Фридман^ A.JI. Основы объектно-ориентированной разработки, программных систем.- М.: Финансы и статистика, 2000. — 192 е., ил.
  59. Функционально-временная верификация сложных цифровых систем // Открытые системы, 2002. № 6.
  60. А. Автоматический структурный анализ текстов // Открытые системы, 2002. № 10.
  61. Цирюлик О.И. QNX: Создание приложений в PhAB. Часть 1. URL: http://qnx.org.ru/docs-devel/phab.html.
  62. О.И. Создание инкапсулированных GUI-компонентовв QNX RTP Photon Application Builder. URL: http://qnx.org.ru/docs-devel/rtpgui.html.
  63. А., Тротт Д. Р. Шаблоны проектирования. Новый подход к объектно-ориентированному анализу и проектированию: Пер. с англ.-М: Вильяме, 2002.
  64. О.Г., Окулевич В. В. Поиск программных компонент для повторного использования с помощью автоматизированных систем доказательств теорем // Научно-технический вестник СПбГУ ИТМО, выпуск 45, СПб: СПбГУ ИТМО, 2007 г., С. 86−90.
  65. Д., Куне Ф. Обзор спецификации Real-Time CORBA // Открытые системы, 2002. № 5−6.
  66. А. Принципы объектно-ориентированной разработки программ (2-е издание): Пер. с англ.- М: Вильяме, 2002.
  67. А. и др. Унифицированный процесс разработки программного обеспечения / А. Якобсон, Г. Буч, Дж. Рамбо- Пер. с англ.- СПб.: Питер, 2002. 496 е., ил.
  68. Aldarmi S. A, Burns A., Time-Cognizant Value Function for Scheduling Real -Time System // Technical Report, University of York (England), 1998.
  69. Arango G. Domain Engineering for Software Reuse: Ph.D. thesis.- Dep. of Information and Computer Science- University of California at Irvine, 1988.
  70. Arnold S.P., Stepoway S.L. The Reuse System: Cataloguing an Retrieval of Reusable Software // in Proceedings of COMPCON S'87.- IEEE Computer Society Press, 1987. pp. 376−379.
  71. Basili V.R. Viewing Maintenance as Reuse-Oriented Software Development // IEEE Software, 1990.- Vol. 7(1).- pp.19−25.
  72. Bestavros A. Scheduling.- Boston University (USA), 1995.
  73. Binns P. Scheduling Slack in MetaH // Honeywell Technology Center, Minneapolis, 1995.
  74. Burns A. Fixed Priority Scheduling with Deadlines Prior to Completion // Technical Report, University of York (England).
  75. Burton B.A. etc. The Reusable Software Library // IEEE Software, July 1987.-pp.25−33.
  76. Common Criteria for Information Technology Security Evaluation (CC), Version 2.1, 1999. ISO/IEC 15 408. URL: http://www.niap-ccevs.org/cc-scheme/ccdocs/.
  77. Davis R.I. Approximate Slack Stealing Algorithms For Fixed Priority Preemptive Systems // Technical Report, University of York (England).
  78. DO-178B, Software Considerations in Airborne Systems and Equipment Certification. URL: http://www.rtca.org.
  79. Faustle S., Fugini M: G., Damiani-E. Retrieval of reusable components using functional similarity // Software Practice and Experience, May 1996.
  80. Fisher B. Deduction-Based Software Component Retrieval // Ph.D. thesis.-Dep. of Mathematic and Informatic, University of Passau, 2001.
  81. Florijn G., Meijers M., van Winsen P. Tool Support for Object-oriented Patterns // Technical Report. Utrecht University, Dep. of Computer Science, 1997.
  82. W. В., Pole T. An Empirical Study of Representation Methods for Reusable Software Components // Technical Report, Software Productivity Consortium, Herndon, VA, 1992.
  83. Freeman P. Reusable Software Engineering: Concepts and Research Directions // in Tutorial: Software Reusability, ed Freeman P., 1987.- pp.1023.
  84. Garland S. J., Guttag J.V. A Guide to LP, The Larch Prover // Technical Memorandum № 82, 1991.
  85. Garland S. J., Guttag J.V. LP, The Larch Prover: User and Reference Manual//Technical Report of Massachusetts Institute of Technology, 1994.
  86. Girardi R., Ibrahim B. A similarity for retrieving software artifacts // International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, 1994.
  87. Harbour M. G., Sha L. An Application-bevel Implementation of the Sporadic Server // Technical Report, Carnegie Mellon University (USA), 1991.
  88. Harbour M.G., Sha L. An Application-Level Implementation of the Sporadic Server //Technical Report, Carnegie Mellon University (USA), 1991.
  89. Hardware-Software Codesign. // IEEE Design & Test Computers, January-March 2000. P.92−99.
  90. Hatley D.J., Pirbhai I.A. Strategies for Real-Time System Specification. Dorset House, 1988.
  91. Hsiung P.-A., Object-Oriented Application Framework Design for RealTime Systems // in Proceedings, 4th International Symposium on RealTime and Media (RAMS'98), pp. 221−227, September 1998.
  92. Jeng J.J., Cheng B.H.C. Formal methods applied to reuse // in Proceedings, 5th Workshop on Software Reuse. Palo Alto, CA, 1992.
  93. Jilani L. and etc. Retrieving Software Components That Minimize Adaptation Effort // 1997.-22p.
  94. Jones T.C. Reusability in Programming: A Survey of the State of the Art // IEEE Transaction on Software Engineering, vol.10 (5), September 1984. -pp. 488−494.
  95. Krueger C.W. Software Reuse// ACM Computing Surveys, 24(2), 1992. -pp.131−183.
  96. Lee E. F. Embedded software // Advances in Computers. Academic Press, London, 2002. Vol.56.11 l. LP, The Larch Prover Introduction URL: http://mns.lcs.mit.edu/Larch/LP/overview.htiTil.
  97. McCune W. Otter 3.3 Reference Manual // Technical Memorandum № 263, 2003
  98. McElhone C., Adapting And Evaluating Algorithms For Dynamic Schedulability Testing //Technical Report, University of York (England), 1994.
  99. McIlroy D. Mass Produced Software Components // in Proceedings Software Engineering Concepts and Techniques: 1968 NATO Conference on Software Engineering, ed. Randell В., Petrocelly, New York, 1969. pp. 8898.
  100. Mercer C.W. An Introduction to Real -Time Operation^ Systems: Scheduling Theory // Technical Report. Carnegie Mellon University (USA), 1992.
  101. Mili H., Mili F., Mili A. Reusing Software: Issues and Research Direction. -USA-Canada, 1995.
  102. Mili R., Mili A., Mittermeir R. Storing and Retrieving Software Components: A Refinement Based System // IEEE Transaction on Software Engineering, vol.23 № 7, July 1997.
  103. Moorman Zaremski A., Wing J.M. Signature Matching: A Tool for Using Software Libraries // ACM Transaction on Software Engineering and Methodology, 4(2) 146−170, apr. 1995.
  104. Moorman Zaremski A., Wing J.M. Specification Matching of Software Components // in Proceedings, SIGSOFT'95: Third ACM SIGSOFT Symposium on the Foundation of Software Engineering. New York, NY: ACM Press.
  105. Mrva M., Reuse Factors in Embedded System Design // High-Level Design Techniques Dept. at Siemens AG, Munich, Germany, 1997.
  106. Ostertag E., Hendler J., Prieto-Diaz R., Braun C. Computing similarity in a reuse library system: An Al-based Approach //ACM TOSEM, l (3):205−228, July 1992.
  107. Panzieri F., Davoli R. Real Time System: A Tutorial // Technical Report. -University of Bologna, Bologna (Italy), 1993.
  108. Penix J., Alexander P. Efficient specification based component retrieval // Technical Report. University of Cincinnati, Knowledge Based Software Engineering Laboratory, ECECS, July 1996.
  109. Prieto-Diaz R., Freeman P. Classifying Software for Reusability //IEEE Software, 4(1):6−16,1987.
  110. Riehle D. Composite Design Patterns // in Proceedings of the 1997 Conference on Object-Oriented Programming, Languages and Applications (OOPSLA' 97). ACM Press, 1997. — Pp. 281−228.
  111. Spanoudakis G., Constantopoulos P. Measuring similarity between software artifacts// International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, 1994.
  112. Spanoudakis G., Constantopoulos P. Similarity for analogical* Software reuse: A conceptual modeling Approach // in Proceedings, CAiSE'93, LNCS vol 685, June 1993.
  113. QNX Operation’System. System Architecture. QNX Software Systems Ltd. Canada, 1997.
  114. QNX Neutrino Microkernel. System Architecture. For r.1.0. Canada, 2001.
  115. Selic В., Gullekson G., McGee J., Engelberg I. ROOM: An Object-Oriented Methodology for Developing Real-Time System // CASE'92. -Canada, 1992.
  116. VxWorks Programmer’s Guide 5.4. Edition 1. Wind River Systems, Inc., USA, 1999.
  117. Wing J. M., Gong C. Experience with Larch Prover // Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development. Napa, California, 1990.- pp. 140−143.
Заполнить форму текущей работой

Сессия? Спокойно!