搜索结果：OpenMandriva

В монографии представлены методы моделирования и программирования программно-технических, информационных и операционных систем с обеспечением качества, безопасности и защиты, исследованные в проектах РФФИ №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 отработан с помощью средств верификации, тестирования, безопасности и защиты данных. Рекомендуется студентам старших курсов, аспирантам и научным работникам.

In this paper, we describe an approach to automation of developing and building Linux software able to be installed and run in large variety of Linux distributions. We present the ABF development and build system which implements this approach and can be used to build packages for RPM- and Deb-based distributions of any hardware architecture. ABF is currently used to develop ROSA, OpenMandriva and Conectiva distributions and able to build package for x86, x86-64 and different ARM platforms.

This chapter addresses the role of software on your Linux system and how you get and manage it. It also discusses how Linux handles applications running on the system. Linux must keep track of lots of different programs, all running at the same time. Most Linux users want to download an application and use it. Thus, Linux distributions have created a system for bundling already compiled applications for distribution. This bundle is called a package, and it consists of most of the files required to run a single application. You can then install, remove, and manage the entire application as a single package rather than as a group of disjointed files. Tracking software packages on a Linux system is called package management. Linux implements package management by using a database to track the installed packages on the system. The package management database keeps track of not only what packages are installed but also the exact files and file locations required for each application. Determining what applications are installed on your system is as easy as querying the package management database. The Red Hat Linux distribution, along with other Red Hat-based distros such as Fedora and CentOS, use RPM. In addition, there are other distributions that are not Red Hat based, such as openSUSE and OpenMandriva Lx, that employ RPM as well.

RESUMEN: Desde 2010 se encuentra disponible un nuevo Instruction Set Architecture (ISA) conocido como RISC-V, que destaca principalmente por tratarse de una arquitectura abierta, cuyo principal objetivo es convertirse en universal y que persista. Dicho objetivo ha hecho que el desarrollo de los aspectos técnicos de RISC-V esté condicionado por su propósito de persistencia. En esta tesis fin de máster se realizará un estudio de la arquitectura RISC-V, cuáles son sus características principales y qué recursos software y hardware podemos encontrar actualmente. Para ello, estudiaremos el ISA RISC-V, cómo está diseñado y cuáles son sus características e instrucciones, así como qué lo diferencia de otras arquitecturas existentes. También analizaremos cuáles son los system on chip (SoCs) que hay actualmente disponibles en el mercado y sus características. Por otro lado, estudiaremos qué tipo de software hay para RISC-V, tanto sistemas operativos como herramientas para desarrolladores. Por último, aplicaremos parte de los conocimientos adquiridos y del estudio realizado anteriormente. Para ello, analizaremos la placa HiFive1, basada en la arquitectura RISC-V. Se realizará el desarrollo de un programa que nos permita la conexión de un dispositivo externo compuesto por varios leds (principalmente utilizado con Arduino o Raspberry Pi), y que nos ayudará a validar el correcto funcionamiento del hardware y software disponible, además de descubrir algunas de las muchas posibilidades que esta nueva arquitectura ofrece.