Распределенная система управления коалициями беспилотных летательных аппаратов, функционирующих в условиях отсутствия сигналов глобальных навигационных систем
Checking the correctness of distributed systems is one of the most difficult and urgent problems in software engineering. A combined toolset for the verification of real-time distributed systems (RTDS) is described. RTDSs are specified as statecharts in the Universal Modeling Language (UML). The semantics of statecharts is defined by means of hierarchical timed automata. The combined toolset consists of a UML statechart editor, a verification tool for model checking networks of real-time automata in UPPAAL, and a translator of UML statecharts into networks of timed automata. The focus is on the translation algorithm from UML statecharts into networks of hierarchical timed automata. To illustrate the proposed approach to the verification of RTDSs, a toy example of a real-time crossroad traffic control system is analyzed.
Exponential growth in data production and a prominent trend in data center design architecture – a shift from expensive hardware towards a multitude of simple servers – pose new tasks and demand the use of different strategies for data center architects. In this work, a new solutions to distributed systems design are discussed, which are based on Plan9 operating system model. We first overview application and research projects including project of porting Plan9 to the IBM Blue Gene/L supercomputer, project of the Plan9 use in data centers and cloud systems, and projects aimed at distributed embedded systems. Then we introduce a Cloud/IX operating system for the ARM-based server platforms that also follows the Plan9 model and is implemented on top of one of Plan 9 derivatives called 9front - a free software distributed operating system. We also present the experimental testbed setup and results of experimental study of the Cloud/IX on multi-computer server farm in actual data center environment.
The article considers the approach to constructing a multi-level architecture of a distributed system of energy monitoring based on Internet of Things (IoT) technology. The technology is implemented on a basis of controllers, remote access to which is carried out via the Internet. Such a network has a large number of nodes. The routing of information packets in such a network is possible through the IPv4 and IPv6 network protocols, over which MQTT data transfer is organized. This simple network protocol implements the exchange of messages between the active nodes of the telecommunications network of the energy monitoring system based on the publication-subscription principle. This telemetry architecture template provides the ability for smart sensors, accounting nodes, controllers and data collection devices, which support the MQTT protocol, communicate and publish messages that were not previously known or predefined. Research has been completed under the PNRPU grant No.2016/PI-2 «Methodology development of monitoring and heat flow utilization as low potential company energy sources»