Middleware reconfiguration relying on formal methods
N Rosa - 2015 IEEE International Conference on Computer and …, 2015 - ieeexplore.ieee.org
Adaptive middleware is a software for developing and executing distributed applications and
can be reconfigured at runtime without its complete stop. The need of reconfiguration is …
can be reconfigured at runtime without its complete stop. The need of reconfiguration is …
A flexible time-triggered service for real-time CORBA
This paper presents a new service for CORBA applications that orchestrates the timely
execution of the tasks of a distributed real-time system in a flexible way. It follows the …
execution of the tasks of a distributed real-time system in a flexible way. It follows the …
[PDF][PDF] Distributed Real-time Systems-Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL
D Christmann - 2015 - kluedo.ub.rptu.de
In a networked system, the communication system is indispensable but often the weakest
link wrt performance and reliability. This, particularly, holds for wireless communication …
link wrt performance and reliability. This, particularly, holds for wireless communication …
Monitoring approach of Supervisory Control and Data Acquisition downloadable data files for “mission—critical” situations detection
The present paper describes some issues in working with large data files downloaded from
Supervisory Control and Data Acquisition (SCADA) systems. The data files management …
Supervisory Control and Data Acquisition (SCADA) systems. The data files management …
A Method of Developing Spacecraft Software Components Based on Non-Object Oriented Language
Y Zhang, J Yu, J Yuan - 2018 Eighth International Conference …, 2018 - ieeexplore.ieee.org
In order to further improve the spacecraft on-board software reuse scale and to solve the
problem of the on-board software inefficient development, this paper analyzed and …
problem of the on-board software inefficient development, this paper analyzed and …