Сортировать по:
| Выпуск | Название | |
| Том 30, № 1 (2018) | Принципы построения системы обеспечения жизненного цикла ответственных систем | Аннотация похожие документы |
| Б. А. Позин | ||
| "... / IEEE 15288 terms is enabling system. LCSS is created for life cycle of mission critical system support ..." | ||
| Том 30, № 6 (2018) | О представлении модельного времени при помощи механизмов функционального программирования | Аннотация PDF (Rus) похожие документы |
| Д. В. Буздалов, А. К. Петренко, А. В. Хорошилов | ||
| "... in the field of tools helping designing and modeling mission-critical systems. In this paper, we are trying ..." | ||
| Том 31, № 1 (2019) | Управление требованиями к ответственным системам. Обзор решений | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Хорошилов, Наталья Кирилловна Горелиц, Денис Степанович Кильдишев | ||
| "... requirements become significantly important is the development of safety-critical systems which usage may cause ..." | ||
| Том 32, № 6 (2020) | О разработке Оберон-системы с заданными свойствами эргодичности | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ДАГАЕВ | ||
| "... . Ergodicity is especially required for mission-critical systems in demanding industries. Software development ..." | ||
| Том 30, № 4 (2018) | Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности | Аннотация похожие документы |
| Н. К. Горелиц, А. С. Гукова, Е. В. Песков | ||
| "... safety-critical systems certifiable according to international and domestic standards and regulations ..." | ||
| Том 33, № 6 (2021) | Моделирование операционных, программных и технических систем в проектах РФФИ | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Александр Константинович ПЕТРЕНКО | ||
| "... of infrastructural and mission-critical systems. The paper is based on the materials of studies carried out within ..." | ||
| Том 30, № 3 (2018) | Анализ методов оценки надежности оборудования и систем. Практика применения методов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов | ||
| "... cycle (ISO 15288:2002) is defined, focused on the development and control of system components ..." | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| "... to solve this problem in practice. Generated exploit confirms the presence of a critical vulnerability ..." | ||
| Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
| А. М. Троицкий, Д. В. Буздалов | ||
| "... During development of modern avionics systems and other mission-critical systems modelling ..." | ||
| Том 33, № 3 (2021) | Метод анализа производительности критичных по времени приложений с помощью DB-Nets | Аннотация похожие документы |
| Антон Михайлович РИГИН, Сергей Андреевич ШЕРШАКОВ | ||
| "... is used in the work to demonstrate applicability of the proposed method for time-critical systems ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... A static analysis tool Svace finding vulnerabilities and critical errors in the source code of C/C ..." | ||
| Том 32, № 4 (2020) | CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... , a special analysis component is built into the operating system. Such a component is present in both Windows ..." | ||
| Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
| Д. С. Кильдишев, А. В. Хорошилов | ||
| "... Requirements play an important role in the process of safety critical software development ..." | ||
| Том 32, № 1 (2020) | Система визуализации для авиационной ОС реального времени JetOS | Аннотация PDF (Rus) похожие документы |
| Борис Хаимович Барладян, Лев Залманович Шапиро, Курбанмагомед Абдурагимович Маллачиев, Алексей Владимирович Хорошилов, Юрий Алексеевич Солоделов, Алексей Геннадьевич Волобой, Владимир Александрович Галактионов, Игорь Викторович Ковернинский | ||
| "... The paper discusses the creation of rendering systems for airborne civil aviation systems. All ..." | ||
| Том 36, № 3 (2024) | Статическое распределение памяти для операционных систем реального времени | Аннотация PDF (Rus) похожие документы |
| Софья Анатольевна ЗЕЛЕНОВА | ||
| "... Critical real-time operating system (RTOS) reliability improvement remains to be a relevant ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... In recent years, ISP RAS has been developing a system for machine (binary) code deductive ..." | ||
| Том 22 (2012) | Перспективы виртуализации высокопроизводительных систем архитектуры x64 | Аннотация PDF (Rus) похожие документы |
| А. О. Кудрявцев, В. К. Кошелев, А. И. Аветисян | ||
| "... high performance systems. The main reasons for performance overhead when running parallel programs ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... An operating system (OS) kernel is a critical software regarding to reliability and efficiency ..." | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| "... , critical errors, security vulnerabilities, malicious code). In this paper we review the static analysis ..." | ||
| Том 36, № 1 (2024) | Фаззинг полиморфных систем в структурах микросервисов | Аннотация PDF (Rus) похожие документы |
| Артемий Сергеевич ЮРЬЕВ | ||
| "... Today fuzzing (fuzzing-testing) is the main technique for testing software, systems and code ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... in today’s world where many critical services are completely supported by different computer systems. Among ..." | ||
| Том 28, № 2 (2016) | Подход к обнаружению анти-паттернов в сервис-ориентированных системах | Аннотация похожие документы |
| А. С. Югов | ||
| "... ). Maintaining quality-attributes on a high level is critical issue because service-based systems lack central ..." | ||
| Том 26, № 2 (2014) | Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам | Аннотация PDF (Rus) похожие документы |
| Л. Е. Карпов, В. Н. Юдин | ||
| "... this case then. The way of estimating of similarity of the current case and its precedent is critical ..." | ||
| Том 29, № 3 (2017) | Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов | Аннотация PDF (Rus) похожие документы |
| Ю. А. Солоделов, Н. К. Горелиц | ||
| "... JetOS is a prospective onboard real-time operating system (RTOS). Nowadays GosNIIAS develops JetOS ..." | ||
| Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) похожие документы |
| Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... a critical section; use of an incorrect variable type when entering the monitor; blocking involving an object ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... safety critical systems to everyday networks of personal computational devices; and, their presence ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... solutions formal models. They are intended to create complex critical automated information systems ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| Том 27, № 6 (2015) | Распределенные системы хранения данных: анализ, классификация и варианты выбора | Аннотация PDF (Rus) похожие документы |
| Александр Тормасов, Анатолий Лысов, Эмиль Мазур | ||
| "... This paper proposes an analysis of various distributed data storage systems and possible solutions ..." | ||
| Том 29, № 4 (2017) | Использование модульного подхода во встраиваемых операционных системах | Аннотация похожие документы |
| К. А. Маллачиев, Н. В. Пакулин, А. В. Хорошилов, Д. В. Буздалов | ||
| "... , which intended to be executed on some specific control computer. System integrator usually performs ..." | ||
| Том 29, № 4 (2017) | Отладчик для операционной системы реального времени: проблемы мультиплатформенности | Аннотация похожие документы |
| А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин | ||
| "... system Jet OS designed for civil airborne avionics. This system is being developed in the Institute ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... Real-time partitioned operating systems meet the current avionics standard of reliable software ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... The problem of testing of aggregate systems is considered. The system is described with an oriented ..." | ||
| Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
| "... An operating system is a base stone of any computer system. Failures and bugs in operating system ..." | ||
| Том 24 (2013) | Распределенные горизонтально масштабируемые решения для управления данными | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов, А. В. Посконин | ||
| "... ”) and high read/write loads. These applications require underlying data management systems to scale well ..." | ||
| Том 32, № 6 (2020) | Проектирование высоконагруженных систем | Аннотация PDF (Rus) похожие документы |
| Василий Андреевич РУДОМЕТКИН | ||
| "... an increase in the load on the system. High load has a negative impact on system components, which can lead ..." | ||
| Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
| В. В. Никифоров, С. Н. Баранов | ||
| "... an embedded real-time operating system (OS). The OS reliability is extremely important for correct ..." | ||
| Том 29, № 4 (2017) | Инструмент для анализа поведения вполне структурированных систем переходов | Аннотация похожие документы |
| Л. В. Дворянский, В. Е. Михайлов | ||
| "... Well-structured transition systems (WSTS) became a well-known tool in the study of concurrency ..." | ||
| Том 27, № 5 (2015) | Балансировка нагрузки в системе Unihub на основе предсказания поведения пользователей | Аннотация PDF (Rus) похожие документы |
| Д. А. Грушин, Н. Н. Кузюрин | ||
| "... In ISP RAS cloud computing system SaaS Unihub was developed. It provides the possibility for users ..." | ||
| 1 - 39 из 617 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
