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 this paper, the principal possibility of using modal logic in the tasks of self-learning of intelligent mobile robots operating in an unknown environment is considered. The methodology for creating a model of the intelligent mobile robot control system with a self-learning module is presented. The basic principles and concepts of modal logic are described. To substantiate the applicability of the...
Integrated Computer Control System (abbr. ICCS) of large-scale laser facility uses a scalable software architecture to manage more than 10,000 control points to operate 48 powerful laser beamlines, provides for the integration of all elements of laser and target area distributed subsystems to form an overall operational control system. Fault detection and diagnosis test are the important technique...
A key feature of Software Defined Network is the decoupling of control pane and data plane. Although delivering huge benefits, such a decoupling also brings a new risk: the data plane states (i.e., flow tables) may deviate from the control plane policies. Existing data plane testing tools like Monocle check the correctness of flow tables by injecting probes. However, they are limited in four aspects:...
The systems and the software in the domain of industrial trucks are becoming increasingly complex due to the rapidly increasing demand for more functionality. This leads to an even faster rising effort for manual verification activities. Therefore, automated testing techniques need to be introduced into the verification process.In this work, a search-based test generation technique has been adapted...
Testing of electric vehicle drives in real traffic conditions is relatively expensive and complicated task. Therefore new laboratory methods, enabling testing and special parameters of electric drives measurement "like in real traffic" are in the looking for. One of most effective methods is based on HIL (Hardware In the Loop) which represents combination of simulation methods and measurements...
Using automatic instead of automated tools is assumed to significantly reduce timing budgets needed for the actualization. However, it seems to be not always the case, especially if we consider the complete actualization cycle. The article presents an investigation of the time needed for the information base actualization when using separate automated or automatic tools, as well as the time needed...
The issues of software and hardware development are considered of data logging into systems of testing complex objects. The describes the architecture of a system for testing complex scientific-technical objects. In the list of original elements of the concept of building highly reliable, fast-reconfigurable interactive test monitoring and control systems: — using of original technology of representation...
This paper discusses a series of research challenges in the design of systems of mechatronic systems. A focus is given to environmental mechatronic applications within the chain “Renewable energy production — Smart grids — Electric vehicles”. For the considered mechatronic systems, the main design targets are formulated, the relations to state and parameter estimation, disturbance observation and...
A new type of wear-resistant coating testing system is designed in this paper. The control system is based on the motion controller CO-TRUST C37 and the automation software CODESYS. The hardware platform is designed based on the EtherCAT bus, and the system software is developed with information display, parameter setting, manual operation, 3D parametric programming, off-line simulation and many other...
The interoperability testing of CTCS-3 Level Train Control System guarantees the safe operation of train running on different lines. It makes great sense to achieve automatic analysis of interoperability testing results, which could improve the efficiency and accuracy of testing. In this paper, a research was conducted on automatic analysis of testing results for on-board equipment of train control...
This paper introduces a kind of simulation testing system scheme for train-borne controller and applies it to the simulation testing system of the controller. Besides, it elaborates the system structure, interface type and key module of the hardware realization. The simulation testing system for train-borne controller is completely built, and plays a vital role in the train-borne controller simulation...
This paper presents ReqCap, an implementation of a new method that articulates hierarchical requirements modeling and test generation to assist in the process of capturing requirements for PLC-based control systems. ReqCap is based on a semi-formal graphical model that supports hierarchical modeling, thus enabling compositional specifications. The tool supports automated generation of test cases according...
An image-driven, model-free approach to design control systems for a large class of industrial process is proposed. A mathematical model of the process is replaced by sequences of subsequent images which play the role of the process (plant) states. The length of this sequences depends on the speed of the process dynamics and on the frame rate. Firstly, a learning sequence of the system states is collected...
The coverage of requirements is a fundamental need throughout the software life cycle. It gives project managers an indication how well the software meets expected requirements. A precondition for the process is to link requirements with project artifacts, like test cases. There are various (semi-) automated methods deriving traceable relations between requirements and test scenarios aiming to counteract...
This electronic document is a “live” template and already defines the components of your paper [title, text, heads, etc.] in its style sheet. The paper considers the possibility and necessity of using in modern control and training systems with a natural language interface methods and mechanisms, characteristic for knowledge processing systems. This symbiosis assumes the introduction of specialized...
Model-Based Testing is a testing approach used for automated test generation, execution, and evaluation. It is based on a formal behavioral model of the tested system. This paper presents a new test generation method that utilizes an advanced variant of Petri nets for a description of the systems under test and Constraint programming for tests generation. The presented method aims for modeling and...
Nowadays, the number of stroke and elder citizens are growing up which make these patients have difficulty in walking and living. Stroke patients have the weakness of the leg muscles and postural impairment resulted in the loss of ability to walk. For the elderly, the functions of various body systems are decline and cause defects of the skeletal system and the muscles, loss of ability to walk, together...
At the Institute of Flight System Dynamics of the Technische Universität München (TUM), a digital flight control system for a fixed wing Unmanned Air Vehicle (UAV) featuring a novel diamond-shaped configuration is designed, implemented and tested up to its first flight. The capabilities of the UAV comprises a fully automated flight, including ground control for centerline tracking and runway alignment...
The reliability of the power supply is an important index to evaluate the technology of distribution networks. The burn-in and failure of switches in distribution networks, the artificially maintenance plan and testing switches will reduce the reliability of the power supply of distribution networks. In this paper, we have proposed a method of schematically testing state of switches in distribution...
Developers often address multiple development issues to make composite code changes, as opposed to atomic changes that address one single issue. Investigating and testing such code changes is a tedious and error-prone process for developers. To address the problem, this paper presents a technique, called CHGCUTTER, for (1) interactively decomposing composite changes into atomic changes, (2) building...
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.