The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Automatic train control system (ATC) is widely used in China, which effectively improve the efficiency of train operations, reduce system maintenance and construction costs, etc. In view of this situation, we propose the use of structural analysis and design language (AADL) for ATC modeling and analysis, It is described by automatic train protection (ATP), automatic train supervision (ATS) and Automatic...
A Cyber-Physical System (CPS) is defined as integrations of computation and physical processes. In CPS, small embedded devices are used to monitor and manage the physical process. Because of these physical devices with limited resources, it is impossible to perform complex calculations and processing. In view of this situation, we apply Service-oriented Architecture (SOA) concepts to CPS, called a...
Advances in computer technology and computer technology has enabled new generation railway cyber physical systems, where computing units are interacting with the physical environment not only through monitoring and decision making in the computing domain, but also through critical control operations on the physical properties and dynamic properties of the physical environment, including human physiology...
The railway system has developed from a purely physical system based on the laws of mechanics and chemistry, to a more sophisticated Cyber Physical System which embeds electronic components and control systems to improve performance and safety. Therefore, the system in the railway is a typical CPS, which is called the Railway Cyber-Physical System. The railway cyber physical system combines traditional...
The development of railway cyber physical systems is a challenging process. Railway cyber physical systems involve interactions between train controllers, communication networks, and physical world. In railway cyber physical systems, the behavior of the physical world such as the velocity, flow and density are dynamic and continuous changing with time while the process of communication and calculation...
Train control systems have very important requirements which are the concerns about timing aspects, safety aspects, spatial aspects and dynanic continous aspects. Aspect-oriented development method can decreease the complexity of models by separating its different concerns of train control system. The high need for product quality is beyond dispute as human life may be endangered if a railway controller...
Cyber-physical systems pose considerable technical challenges, ranging from the distributed programming paradigms to networking protocols with timeliness as a structuring concern, including systems theory that combines physical concerns and computational concerns Cyber Physical systems is deemed correct in case it abides to the functional correctness as well as a set of quantitative characteristics...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.