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.
In recent years early life failures have caused several product recalls in semiconductor and automotive industries associated with a loss of billions of dollars. They can be traced back to various root-causes. In embedded or cyber-physical systems, the interaction with the environment and the behavior of the hardware/software interface are hard to predict, which may lead to unforeseen failures. In...
As metro systems have become more advanced, Communication-Based Train Control (CBTC) has been increasingly valued because of its characteristics. It is, however, necessary to guarantee that the CBTC system is safe so that the safety of the whole metro system can be improved. Traditional off-line testing methods are widely used to determine whether the CBTC system complies with the desired specification,...
Potential faults in safety critical systems may lead to system failures thus bring huge human injuries. How to ensure the correctness of the system during the system development is very important. System function testing has been regarded as an effective approach which normally applied in the final stage of system development to ensure the consistence of system functions and specifications. In this...
ETCS is an European signalling, control and automatic train protection system. Even with the most advanced quality assurance techniques, correctness of ETCS is hard to be ensured within the development phases. In this paper, we use runtime verification to provide on-going protection during the operational phase. To define a suitable monitoring specification language, we propose a graphic formalism...
In this paper, we present a model based design approach to the development of a semi-autonomous control system for an inspection drone. The system is tasked with maintaining a set distance from the target being inspected and a constant relative pose, allowing the operator to manoeuvre the drone around the target with ease. It is essential that the robustness of the autonomous behaviour be thoroughly...
This paper is about issues experienced along testing large-scale industrial products, with safety and security critical relevance. The challenges in testing - several thousand requirements for several product variants and various configurations - were addressed by test execution automation. However, since principal testing concepts as well as architectural concepts were ignored or poorly implemented,...
At the Universidad Politécnica de Madrid students attending a course on concurrency are taught a high-level formalism which permits concise specification of shared resources. This formalism is used to express safety-critical access policies for typical control problems such as robot plants. Students are moreover provided with programming recipes for implementing such shared resource specifications...
A mobile trolley allows engineers to do integration work at various parts of the satellite body, thus preventing mishandling of the satellite. Unfortunately, the existing height multi-purpose satellite trolley in Satellite Assembly, Integration and test facility of Malaysia Space Centre is not an adjustable type and there is no platform to work safely around the satellite. Existing conditions in the...
In accordance with the increase in importance of software within railway signaling system, risk costs due to the software error are increasing too. Accordingly, software validation in various aspects is required, and the needs for supporting tool which can automate it are raised. In Korea, the black-box testing tool of railway signaling system taking into consideration of the convenience of use which...
Mechatronics engineering addresses the design and development of correct and safe integrated mechanical, electronic control systems and embedded computers in the electrical energy and other industries. Many mechatronics engineers still concentrate on traditional approaches to the exclusion of security requirements for the gathering, processing, storing and distribution of data. This lack results in...
Main elements of critical FPGA-based information and control systems (I&Cs) security assessment are described. It is proposed to use combination of traditional techniques for reliability and safety analysis: GAP-analysis and IMECA-analysis (modification of FMECA which takes into account intrusion to the system) for analysis of requirements and possible safety and security deficits which could...
This paper deals with the introduction and exploitation of space technologies based on the ERTMS (European Railways Train Management System) architecture bundling the EGNOS-Galileo infrastructures in the train control system, in order to improve performance and enhancing safety, reducing the investments on the railways circuitry and its maintenance. These solutions can be successfully applied for...
Upon completion of a successful Distribution Automation (DA) Pilot Project centered in National Grid's upstate New York service territory, it was determined that the reliability improvements delivered by the pilot demonstration justified a much more comprehensive effort to further evaluate additional Smart Grid technologies. The vision was to conduct experiments with a full suite of Smart Grid technologies...
Model checking allows an abstracted finite state model of a system to be developed and a set of mathematically defined correctness properties, based on the design specifications, to be defined. The model checker performs an exhaustive state space search of the model, checking the correctness properties hold at each step. This paper describes how model checking has been applied to find and correct...
Model-based test is the very useful method to verify software safety. But the traditional technology of model-based test is not suitable for safety test of safety-critical software system. This paper addresses a new approach to perform safety test of safety-critical system based on safety automaton model, which can express safety properties. By using the method, we have developed an automatic testing...
In this paper new coverage criteria concerning safety and time property for the abstract formal of real-time system are presented and enabled as reachability properties. We make use of the timed automata to formally describe the real-time system and use the length optimal reachability feature of UPPAAL to automatically generate length optimal test sequences for the new coverage criteria. Experiment...
Traditionally, test cases are used to check whether a system conforms to its requirements. However, to achieve good quality and coverage, large amounts of test cases are needed, and thus huge efforts have to be put into test generation and maintenance. We propose a methodology, called Abstract Testing, in which test cases are replaced by verification scenarios. Such verification scenarios are more...
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;...
Control systems are used to produce a certain result with little or no human supervision. The principal aim of such systems is to ensure that resources are used efficiently and that the desired product quality is achieved. Moreover, for critical systems such as oil and gas plants, it is important to guarantee the safety and reliability of the operation. Therefore, it is necessary to verify whether...
In accordance with the development of recent computer technology, the dependency of train control system on the computer software is being increased further, and accordingly, the testing for the safety and reliability of train control system software became more important. Hence, the safety assurance of the vital software running on the train control system is very critical task and yet, not many...
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.