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.
The Cyber-Physical System has been characterized by deep integration of computing process and physical process, heterogeneous composition, etc. So it is difficult to model Cyber-Physical System and to analyze its properties. An approach to model Cyber-Physical System and to analyze its safety based on multiple modeling languages transformation is put forward. We model the Cyber-Physical System by...
Relying on the skill and experience of the engineer, traditional method of safety analyses is subjective and may not guarantee the integrity, consistency and correctness sometimes. In this paper, we first summarize the deficiencies in the safety analysis based on the development of V mode. Then we put forward a new model-based method called VT-mode development. The mode discusses the safety analysis...
The paper aims to present an improved methodology of safety assessment with system simulation. In this paper, the Monte Carlo simulation and uncertainty analysis will be applied to the research of FMECA which is the basis of safety assessment. The improved methodology will overcome the shortages of traditional method. At the same time, the idea of the method will provide a comprehensive safety analysis...
With the increase of military and civil aircraft system complexity, the shortage of traditional safety analysis technology goes distinctly, while the Model-based Safety Analysis technology attaches more and more importance. Therefore, this paper presents the background, basic concept and research and application situation of Model-based Safety Analysis technology, identifies the benefit of it. This...
Software-Defined Networking (SDN) is a network architecture where a controller manages flow control to enable intelligent networking. Currently, a popular specification for creating an SDN is an open standard called OpenFlow. The behavior of the SDN OpenFlow (SDN-OF) is critical to the safety of the network system and its correctness must be proven so as to avoid system failures. In this paper, we...
In order to gain an improvement of safety or availability measures of the safety-relevant control system through employment of redundancy a redundant system has to comply with the requirement on independence of redundant parts. If the requirements on the independence of redundant parts are unfulfilled, then a common-cause failure can through its effects on multiple redundant parts directly cause a...
Dependability is often a very abstract concept. The reason is that dependability implications shall be very rare and are often not even wanted to happen during testing. In particular for software-intensive systems, it is very hard to find correct causal relationships/minimal cut sets. Modern model-based approaches help here by computing for example minimal cut sets automatically. However, these methods...
Formal methods are mathematics-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyse computer systems. Up to now formal methods in railway systems have mostly been used for interlocking applications. We are interested in studying and describing some possible formal methods applications in CBTC (Communications-Based Train Control)...
The safety of mining region's environmental system is a basic prerequisite of the sustainable development of mining region's economy and society. The maintenance of mining region's environmental system safety by taking effective measures has great significance for mining regions in China function as residential community. One of the major problems facing mining region's sustainable development is...
Drugs circulation channels are not only related to the drug industry development, but also the human health and safety, therefore, the implementation of government supervision on drug circulation channel is one of the key content of the social and economic regulation. This paper established a basic model of drug circulation channel of government supervision, and tried to seek and explore a more effective...
High-speed train control system is one complex security system with lots of functions, which means that it is necessary to build up high-speed train control system simulation & testing integration platform to start function and system verification and validation (V&V). In this paper, key techniques of high-speed train control system simulation & testing integration platform are studied;...
In today's train operations the driver may no longer be the primary guardian of the safety of the train, that function being taken over by various forms of automatic train protection (ATP) systems. What is left for the driver is still an important safety supporting function which is their capacity to review the set of train control actions that they intend to apply, and match those with the current...
This paper presents a formal approach to model the traffic operational processes on a Maglev train example based on Stochastic Petri nets. The Maglev train is modeled with respect to process, function and dependability. Process model describes the normal running status and abnormal protected status of the Maglev train from departure to stopping and function model shows the working principle of propulsion...
This work is concerned with modelling, analysis and implementation of embedded control systems using RT-DEVS, i.e. a specialization of classic DEVS (discrete event system specification) for real-time. RT-DEVS favours model continuity, i.e. the possibility of using the same model for property analysis (by simulation or model checking) and for real time execution. Special case tools are proposed in...
In the era of network, B2B electronic commerce (EC) has become new bright spot and trend of future business development gradually. B2B EC has huge development potential in China. Therefore, the paper sets up coordinate control indexes system among enterprises of B2B EC, and analyzes fuzzy synthesis assessment model on coordinate control among enterprises of B2B EC, finally, the paper explains fuzzy...
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a tightly integrated bounded model checker for hybrid discrete-continuous systems which - in contrast to many other solvers - is not confined to linear arithmetic, but can also deal with nonlinear constraints involving transcendental...
Model-based testing techniques select test cases according to test goals, which might be coverage criteria or mutation adequacy. Complex criteria and large models lead to large test suites, and a test case created for one coverage item might cover several other items as well. Therefore, test case generation is optimized in order to avoid unnecessary test cases and minimize the test generation and...
Systems verification requires first to model the system to be verified, then to formalize the properties to be satisfied, and finally to describe the behaviour of the environment. This last point, known as the proof context, is often neglected. It could, however, be of great importance in order to reduce the complexity of the proof. The question is then how to formalize such a proof context. This...
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.