Монографии Лаврищевой Е.М.
Новости
Монографии Лаврищевой Е.М.
Е.М. Лаврищева, В. В. Кулямин, Л. Е. Карпов, В. С. Мутилин, С. В. Козин, С. В. Зеленов, А. Г. Рыжов. Теория и методы разработки программных и операционных систем. Модели, методы и средства обеспечения надежности, безопасности и защиты данных в программных, технических и информационных системах — М., ИСП РАН. —2016-2021. - 400с. ISBN 978-5-00244-411-3. DOI: 10.15514/LAVR-2023-400
В монографии представлены методы моделирования и программирования программно-технических, информационных и операционных систем с обеспечением качества, безопасности и защиты, исследованные в проектах РФФИ №16-01-00352 (2016-2018) и РФФИ №19-01-00206 (2019-2021). Основу моделирования и программирования прикладных систем составляет: отечественный метод сборки (связывания–linking) прикладных ресурсов в более сложные системы и 64 функции преобразования обмениваемых типов данных ресурсов с учетом стандарта ISO/IEC 11404 GDT-1996 в общесистемных средах IBM, MS, OMG, Oberon, INTEL, UNIX и др., сделанных в 80-е годы ХХ века. Представлены формальные средства спецификации ресурсов (VDM, Z, Clear, Monadic, ОКМ, GDM), технологии программирования ОС и трансляторов; системных и сервисных средств моделирования программных и технических систем (SOA, SCA, SCM, WSDL, Grid, Etics и др.). Описана онтология в Semantic Web для представления задач вычислительной математики, геометрии, биологии и Жизненного цикла стандарта ISO/IEC 12207, представленного на Конференции в Лондоне «Sciences and Information – 2015. Определены методы верификации и тестирования изменяемых ресурсов и создаваемых систем из них c обеспечением качества, безопасности и защиты данных. В рамках проектов РФФИ используется стандарт метода сборки IEEE 828-Configuration – 2001 и типов данных, задаваемых стандартом данных 11404 GPD-2007 для структурных и неструктурированных типов данных Big Data и Cloud Computing в современной среде Интернет. Предложен новый вариант сборщика информационных, интеллектуальных и операционных ресурсов с использованием новых операций конфигурационной сборки: config, assembly в .Net, Grid; build, waver в Etics: make в BSD, cmake в GNU и JavaEE. С помощью этих операций создан экспериментальный вариант ядра ОS Linux и Веб-система с использованием сервисных ресурсов SOA, SCA, SOAP WWW3C Интернет. Вариант ядра OS Linux отработан с помощью средств верификации, тестирования, безопасности и защиты данных. Рекомендуется студентам старших курсов, аспирантам и научным работникам.