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...
Aviation Cyber-Physical Systems are the integration of cyber systems and physical systems. Recent concentration to Aviation Cyber Physical Systems (ACPS) is driven by the demand for deeper Convergence of design disciplines that integrate physical and computational worlds. In this paper, we supply a new idea to support cyber-physical system design by proposing multi-dimension and multi-domain approach;...
Cyper Physical System(CPS) is a complex embedded system of a physical system, cyper system and the control logic depth fusion, because of the complexity and heterogeneity of the CPS part and interactive interface, there is no a unified framework for the CPS system modeling, analysis and design. Design the CPS system increasingly need using a variety of modeling forms in the whole development process...
Big data driven cyber physical systems make use of large amounts of data to determine their operation. Data is clearly crucial to the correct operation of these big data driven cyber physical systems. Examples include aerospace systems, air traffic control systems, railway signaling systems, intelligent transportation and battlefield management systems. When big data driven cyber physical systems...
First, big data driven cyber physical systems (CPS) have big data characteristics. Big Data is usually described by the following aspects - Volume, Velocity, Variety, Veracity, Validity, Value, and Volatility. Second, big data driven CPS have special characteristics and requirements that must be met during system development. These big data characteristics and special characteristics requires methods...
Aviation Cyber-Physical Systems are the integration of cyber systems and physical systems. Recent concentration to Aviation Cyber Physical Systems (ACPS) is driven by the demand for deeper Convergence of design disciplines that integrate physical and computational worlds. Consequently, heterogeneity is the norm as well as the great challenge in ACPS development: components and systems are specified...
Big data technology is a new technology that aims to efficiently obtain value from very big volumes of a wide variety of data, by enabling high velocity capture, process, store, discovery and/or analysis, while ensuring their veracity by an automatic quality control in order to obtain a big value and make decision. Big Data is described by what is often represented as a multi-V model. In multi-V model,...
Recent attention to aviation cyber physical systems (ACPS) is driven by the need for seamless integration of design disciplines that dominate physical world and cyber world convergence. System convergence is a big obstacle to good aviation cyber-physical system (ACPS) design, which is due to a lack of an adequate scientific theoretical foundation for the subject. The absence of a good understanding...
Cyber physical system is hard to develop because developers need to consider functional properties, nonfunctional properties, such as timeliness, energy, memory, safety and reliability, dynamic continuous properties, spatial requirements and the interaction with physical world. In this paper, we propose an integrated approach to develop cyber physical systems based on multi-dimensions, multi-views...
Specifying and modeling Quality of Service (QoS) properties represents a key challenge for cyber physical system development. Quality of Service (QoS) is a general term that specifies system quality and performance, as opposed to system functionality of cyber physical systems. QoS specification is concerned with capturing application level QoS requirements and management policies of cyber physical...
The vehicle has been manufactured from a purely physical system based on the laws of mechanics and chemistry, to a more sophisticated Cyber Physical System (CPS) which embeds electronic components, communication components and control systems to improve performance and safety. Therefore, the system in the vehicle or connected vehicle is a typical cyber physical system, which is called the Automotive...
The analysis and design of aerospace cyber physical systems call for the proper dimensioning of mechanical, electronic and embedded control subsystems from different views. Usually, the physical world part and the cyber part are modeled independently of each others. This modeling approach does not exploit many potential advantages of an integrated specification, analysis and design process, which...
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...
Aerospace cyber physical systems needs share many abstractions with computer science, but requires adapting them to embrace the dynamics of the physical world. View oriented approach allow designers from different views to develop and evaluate design alternatives within the context of formalisms relevant to selected aspects of the system. Each view highlights certain features and occludes others to...
Automotive Cyber-Physical Systems (ACPS) have attracted a significant amount of interest in the past few decades. The mechatronic control systems that are typically implemented in automotive application, such as engine control, transmission control, throttle control, and braking, typically involve multiple complex physical systems with dedicated embedded controllers that communicate with each other...
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...
Vehicular Cyber-Physical System (VCPS) is a complex network of embedded systems. The VCPS combines traditional state-based discrete control model and continuous models based on physical environments expressed by the classic differential equations which are the most suitable model for modeling physical system. Vehicular Cyber-Physical System is a very complex cyber-physical system (CPS) with intricate...
In this paper, we propose a multi-dimensional specification and modeling method of aerospace cyber-physical system. This method is proposed according to seven views of systems so that their physical and computational parts of aerospace cyber-physical system are modeled correctly. The physical world analysis is considered to be one fundamental stage of our proposed method. The proposed method is illustrated...
Automotive cyber physical systems (CPSs) involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans. However, automotive cyber physical systems are not a loose combination of cyber system and physical system, but are a tight and comprehensive integration, and they are ubiquitous...
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.