Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2021, том 33, выпуск 6, страницы 265–280
DOI: https://doi.org/10.15514/ISPRAS-2021-33(6)-19 (Mi tisp660) 		 
Моделирование операционных, программных и технических систем в проектах РФФИ

Е. М. Лаврищеваab, А. К. Петренкоacd

a Институт системного программирования им. В.П. Иванникова РАН
b Московский физико-технический институт
c Московский государственный университет имени М. В. Ломоносова
d Национальный исследовательский университет "Высшая школа экономики"
PDF полного текста (558 kB)
DOI: https://doi.org/10.15514/ISPRAS-2021-33(6)-19
Аннотация: Рассмотрен широкий круг вопросов теории и практики разработки крупномасштабного программного обеспечения и гибридных программно-аппаратных систем, в том числе операционных систем. Затрагиваются вопросы управления конфигурацией, моделирования и верификации таких систем, построения онтологических моделей предметных областей, связанных с прикладным и системным программным обеспечением. Такое многостороннее рассмотрение необходимо для обеспечения надежности, безопасности и элволюционного развития в течение многолетнего периода эксплуатации инфраструктурных и критически важных систем. Статья основана на материалах исследований, выполненных в рамках двух проектов РФФИ. Помимо недавних результатов, авторы уделяют внимание истории развития исследований в соответствующих областях в Советском Союзе.
Ключевые слова: моделирование, программирование, повторное использование, вариабельность, безопасность, защита, надежность, качество.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 19-01-00206
Данная работа выполнена при поддержке гранта РФФИ 19-01-00206
Тип публикации: Статья
Образец цитирования: Е. М. Лаврищева, А. К. Петренко, “Моделирование операционных, программных и технических систем в проектах РФФИ”, Труды ИСП РАН, 33:6 (2021), 265–280
Цитирование в формате AMSBIB
\RBibitem{LavPet21}
\by Е.~М.~Лаврищева, А.~К.~Петренко
\paper Моделирование операционных, программных и технических систем в проектах РФФИ
\jour Труды ИСП РАН
\yr 2021
\vol 33
\issue 6
\pages 265--280
\mathnet{http://mi.mathnet.ru/tisp660}
\crossref{https://doi.org/10.15514/ISPRAS-2021-33(6)-19}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp660
  • https://www.mathnet.ru/rus/tisp/v33/i6/p265
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024