Базы данныхИнтернетКомпьютерыОперационные системыПрограммированиеСетиСвязьРазное
Поиск по сайту:
Подпишись на рассылку:
Главная: Программирование: Разное: Интегрированный подход к разработке крупных программных систем управления реального времени
Интегрированный подход к разработке крупных программных систем управления реального времени
Автор: В.Крюков, А.Петренко, Институт прикладной математики Источник: н/дЯзык: русский
Данный доклад посвящен обзору основных результатов исследований и разработок средств поддержки разработки ПО для крупных управляющих систем реального времени, в которых участвовал Институт прикладной математики (ИПМ) им. М.В.Келдыша РАН в содружестве с другими научными центрами на протяжении последних 14 лет. Начало этих работ было положено проектом Системы Автоматизации разработки Программного Обеспечения (САПО) ПРОЛОГ для космического корабля "Буран". Второй этап этой деятельности состоял в развитии САПО ПРОЛОГ в целях расширения сферы приложения методики разработки систем реального времени (СРВ) и языка реального времени ПРОЛ2 за счет перехода на новые программно/аппаратные платформы и за счет более широкого охвата фаз жизненного цикла, начиная от эскизного проектирования, кончая тестированием.
Доступные файлы (отрапортовать об ошибке!):
ПросмотретьЗагрузитьВ портфель! (руководств: 0)Обсудить на форуме





  • Главная
  • Новости
  • Новинки
  • Скрипты
  • Форум
  • Ссылки
  • О сайте




  • Emanual.ru – это сайт, посвящённый всем значимым событиям в IT-индустрии: новейшие разработки, уникальные методы и горячие новости! Тонны информации, полезной как для обычных пользователей, так и для самых продвинутых программистов! Интересные обсуждения на актуальные темы и огромная аудитория, которая может быть интересна широкому кругу рекламодателей. У нас вы узнаете всё о компьютерах, базах данных, операционных системах, сетях, инфраструктурах, связях и программированию на популярных языках!
     Copyright © 2001-2021
    Реклама на сайте