Аннотация. Проводится анализ моделей и методов оценки надежности технических и программных средств. Определяются основные понятия методов надежности и безопасности таких систем и ситуаций, приводящих к ошибкам, дефектам и отказам. Дано определение надежности и безопасности технических систем и программного обеспечения (ПО) систем. Приведена классификация моделей надежности: прогнозирующего, измерительного и оценочного типов. Описаны оценочные модели, которые применяются на практике. Определен стандарт жизненного цикла ПО (ISO 15288:2002), ориентированный на разработку и контроль компонентов систем на ошибки, начиная с требований к системе. Представлены результаты применения моделей надежности (Мусы, Гоэла-Окомото и др.) к малым, средним и большим проектам и дана сравнительная их оценка. Описан технологический модуль (ТМ) оценки надежности сложных комплексов программ ВПК (1989). Показана модель качества стандарта ISO 9126 (1-4):2002-2004 с показателями функциональность, надежность, эффективность и др., которые используются при определении зрелости и сертификата качества продукта.

No abstract

Abstract. The complexity of existing Legacy systems and the difficulty of amending it led to the development of the new concept of variability of systems specified by a model of the characteristics of FM (Feature Model). In the paper, we discuss the approaches to formal definition of FM and creating on its basis variants of program systems (PS), operating systems (OS) and families of program systems (FPS) for PS and OS. We give methods of manufacturing of PS in the Product Family/Product Lines, the conveyor of K.Czarnecki for assembling of artifacts in the space of problems and solutions, logical-mathematical modeling of PS from the functional and interface objects by Object-Components Method (OCM), extraction of the functional elements from OS kernel to FM for the generation of new variants of the OS. We discuss approaches for formalization of variability of legacy and new PS and their FPS. The new concept of management of variability systems with help OCM is defined. The approach to verify models of the FM, PS, FPS and OS and to configuration of functional and interface objects for obtaining the variants of the resulting product are proposed. We elaborate the characteristics for the testing process of variants of the PS, OS and FPS. 1 The work is supported by RFFI grant N16-01-00352 Lavrischeva E.M., Mutilin V.S., Ryzhov A.G. Designing variability models for software, operating systems and their families. Trudy ISP RAN/Proc. ISP RAS, vol. 29, issue 5, 2017, pp. 93-110 94For citation: Lavrischeva E.M., Mutilin V.S., Ryzhov A.G. Designing variability models for software, operating systems and their families. Trudy ISP RAN/Proc. ISP

Институт системного программирования им. Иванникова РАН 2 Московский физико-технический институт Аннотация. Рассматривается компонентный подход к созданию систем и сайтов из готовых ресурсов (компонентов, объектов, сервисов и reuses). В основе подхода лежит графовая и компонентная модель (КМ), включающая функциональные, системные, сервисные и интерфейсные программные ресурсы и алгебру их обработки. Функции объектов-компонентов описываются в языках программирования (ЯП), а их интерфейсы в языках API, IDL, WSDL и др. Они реализуются в клиент-серверной архитектуре и взаимодействуют между собой через интерфейс. Дан анализ моделей систем, веб-сайтов и приложений, выполняемых в двухуровневой клиент-серверной архитектуре и представлен современный путь развития этой архитектуры в связи с увеличением числа пользователей, работающих с современными огромными объемами данных Big Data и Cloud Computing. Готовые ресурсы проверяются на правильность их спецификации в ЯП, тестируются и собираются сведения об ошибках для их исправления и оценки надежности. Отработанные ресурсы конфигурируются и система проверяются на функциональность. Описан сайт http://7dragons.ru, включающий готовые ресурсы и артефакты технологии разработки программных систем и новые сервисно-компонентные ресурсы (SOA, SCA, SOAP и др.), используемые для моделирования веб-систем и сайтов.