|
Моделирование операционных, программных и технических систем в проектах РФФИ
Е. М. Лаврищеваab, А. К. Петренкоacd a Институт системного программирования им. В.П. Иванникова РАН
b Московский физико-технический институт
c Московский государственный университет имени М. В. Ломоносова
d Национальный исследовательский университет "Высшая школа экономики"
Аннотация:
Рассмотрен широкий круг вопросов теории и практики разработки крупномасштабного программного обеспечения и гибридных программно-аппаратных систем, в том числе операционных систем. Затрагиваются вопросы управления конфигурацией, моделирования и верификации таких систем, построения онтологических моделей предметных областей, связанных с прикладным и системным программным обеспечением. Такое многостороннее рассмотрение необходимо для обеспечения надежности, безопасности и элволюционного развития в течение многолетнего периода эксплуатации инфраструктурных и критически важных систем. Статья основана на материалах исследований, выполненных в рамках двух проектов РФФИ. Помимо недавних результатов, авторы уделяют внимание истории развития исследований в соответствующих областях в Советском Союзе.
Ключевые слова:
моделирование, программирование, повторное использование, вариабельность, безопасность, защита, надежность, качество.
Образец цитирования:
Е. М. Лаврищева, А. К. Петренко, “Моделирование операционных, программных и технических систем в проектах РФФИ”, Труды ИСП РАН, 33:6 (2021), 265–280
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp660 https://www.mathnet.ru/rus/tisp/v33/i6/p265
|
Статистика просмотров: |
Страница аннотации: | 13 | PDF полного текста: | 5 |
|