Research Middleware For Real-Time Cyber-Physical Systems

With the continuous development of Internet applications, the ubiquitous application of distributed real-time systems is the inevitable trend of development. Changing environment for the implementation of large-scale distributed real-time system, including changes in the amount of work, resources unavailable or host failure and so on. And new real-time communication, heterogeneous problem. Distributed real-time systems are increasingly large and complicated. In many cases, development of such a large scale application systems, is not cost-effective. In contrast, the middleware services can be provided to the application, allowing to overcome these problems in a transparent manner.Many solutions are in the typical architecture to include some mechanism (eg, Web server). However, these mechanisms are often not compatible with other versions or related software. Moreover, these solutions are not acting on stage of run time, unless redeploy the application. The composition of architecture to help us design and implement self-adaptive software. It provides static and dynamic software composition, without the need to predict at the design and load phase, or the operational phase. Therefore, like aspect-oriented、computing reflection programming specification appears to improve the adaptive software development.Aspect-oriented programming as a new software development paradigm based on separation of concerns,isolated from the formation of the core concerns in demand for the formation of non-functional crosscutting concerns from the functional requirements. Modular functional requirements and nonfunctional requirements, design and coding respectively. Finally, the aspect-oriented weaving technology woven into the system.In order to verify the properties of some high-level,Cyber-physical Systems can be seen as a hybrid system. Such as safety performance by an set of researchable. To this end, in a limited time interval, under a certain degree of uncertainty and horizontal discrete transition conditions for the hybrid system an approximation of reachable sets theory.For heterogeneous distributed real-time system characteristics, as well as aspect-oriented middleware, focus on the following aspects:First, it describes the Cyber-physical Systems, and middleware based aspect-oriented middleware research status of a comprehensive summary. Then,describe the basic concept and theoretical foundation of distributed real-time systems middleware,Secondly, in order to verified safety of the hybrid systems,proposed a deterministic approximation reacherable set of discrete transition.Finally, analyzed the distributed aspect-oriented middleware reference model presented in this paper, at all levels of the model are discussed in detail, but also proposed a distributed composition model,it can be separated from the distributed concerns, such as from the composition of model of distributed facilities and connectors,and reflection and meta-level from computational reflection. The composition model is recursive and fully distributed, loosely coupled and distributed high polymerization. This model reduces the complexity of development, and to allow reconstruction at run time.