Preview

Труды Института системного программирования РАН

Расширенный поиск

О разработке Оберон-системы с заданными свойствами эргодичности

https://doi.org/10.15514/ISPRAS-2020-32(6)-5

Полный текст:

Аннотация

Эргодичность систем характеризуется сохранением стационарности распределения состояний. Для компьютерных систем важно не допустить деградацию свойств системы со временем. Эргодичность особенно необходима для критически важных систем в ответственных отраслях. Разработка ПО на основе требований функциональной безопасности стандарта МЭК 60880 категории A реализуется только на вновь создаваемом ПО, отвечающим данным, наиболее жестким требованиям для АЭС, при невозможности использовать стандартные ОС и компиляторы. Для данных целей был реализован прототип среды исполнения и прикладного ПО дисплейной системы командного управления (ДСКУ). Среда исполнения (рантайм) создавалась на основе Active Oberon системы A2. A2 представляет собой однопользовательскую многозадачную систему. Область применения – промышленные встроенные системы реального времени, системы повышенной надежности. Среда исполнения ДСКУ реализована существенной переработкой минимального подмножества A2 для обеспечения требований стандарта. Система ограничений, формируемая по требованиям стандарта, дает возможность создавать компьютерные системы с новыми свойствами. Использование данных ограничений приводит к доказательству отсутствия возможности появления вызываемых ими сбоев и позволяет рассматривать компьютерную систему исходя из презумпции неэргодичности.

Об авторе

Дмитрий Викторович ДАГАЕВ
АО «Русатом – Автоматизированные системы управления»
Россия
Главный эксперт «Русатом – Автоматизированные системы управления», консультант проекта «Информатика-21»


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

1. O. Peters, M. Gell-Mann. Evaluating gamples using dynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 26, issue 2, 2016, article id 023103.

2. O. Peters. The ergodicity problem in economics. Nature Physics, vol. 15, issue 12, 2019, pp. 1216-1221.

3. Соловьева А.А., Цапкова Н.Н., Покровский В.И. Будущее принадлежит медицине предохранительной – Н.И.Пирогов. Терапевтический архив, том 83, no. 11, 2011 г., стр. 5-9 / Solovyeva A.A., Tsapkova N.N., Pokrovsky V.I. "Medicine of the future is preventive medicine" N.I. Pirogov. Therapeutic archive, vol. 83, no. 11, 2011, pp. 5-9 (in Russian).

4. ГОСТ Р МЭК 60880, Программное обеспечение компьютерных систем, выполняющих функции категории А, 2009 / GOST R IEC 60880, Software for computer systems performing category A functions, 2009 (in Russian).

5. Pieter J. Muller, The Active Object System Design and Multiprocessor Implementation. Diss. ETH No. 14755, for the degree of Doctor of Technical Sciences, ETH Zurich 2002, 197 p.

6. S. Louise, M. Lemerre, C. Aussagues and V. David. The OASIS Kernel: A Framework for High Dependability Real-Time Systems. In Proc. of the IEEE 13th International Symposium on High-Assurance Systems Engineering, 2011, pp. 95-103.

7. Arnon Rotern-Gal-Oz. Fallacies of Distributed Computing Explained. URL: https://www.researchgate.net/publication/322500050_Fallacies_of_Distributed_Computing_Explained, accessed 20.11.2020.


Для цитирования:


ДАГАЕВ Д.В. О разработке Оберон-системы с заданными свойствами эргодичности. Труды Института системного программирования РАН. 2020;32(6):67-78. https://doi.org/10.15514/ISPRAS-2020-32(6)-5

For citation:


DAGAEV D.V. Towards Developing of Oberon System with Specific Requirements of Ergodicity. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2020;32(6):67-78. (In Russ.) https://doi.org/10.15514/ISPRAS-2020-32(6)-5

Просмотров: 83


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)