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.
A common approach for developing robotic systems leverages separate simulation and control softwares. Although this approach requires minimal coordination and orchestration between softwares, the separation of simulation and control applications presents the designer with unnecessary challenges during development. This paper describes the Autonomous Robot Control and Simulation (ARCS) software, a...
When oceangoing ships become disabled at sea, the process of establishing an emergency towing connection using conventional methods can be extremely dangerous, especially in heavy weather, low light, or low visibility conditions. The responding towing vessel must position itself beneath, or near to, the flare of the disabled ship's bow while a towline is hauled vertically to the fo'c'sle deck. This...
There are various leak test methods used to verify the integrity of seals for underwater hardware; these methods have a wide range of sensitivity and cost. Helium leak testing with the use of a high vacuum mass spectrometer leak detector provides the greatest sensitivity; however, in more complex sealing systems, the utility of the results is entirely dependent upon the test configuration and method...
Network Intrusion Detection Systems (NIDSs) play a crucial role in detecting malicious activities within the networks. Basically, an NIDS monitors network flows and compares it with the pre-defined suspicious patterns. To be effective, different intrusion detection algorithms and packet capturing methods have been implemented. With rapidly increasing network speeds, NIDSs face a challenging problem...
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...
Fault injection testing approaches assess the reliability of execution environments for critical software. They support the early testing of safety concepts that mitigate the impact of hardware failures on software behavior. The growing use of platform software for embedded systems raises the need to verify safety concepts that execute on top of operating systems and middleware platforms. Current...
This paper presents the system that allows SEFI modelling by means of injecting upsets in different microcontroller memory blocks, carrying out its functional control and detect the moment when SEFI occurs. Test setup was developed on the basis of National Instruments PXI modular equipment and LabVIEW software. Developed fault injection system was tested on PIC17 microcontroller. The comparison between...
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...
Modern systems are becoming ever more complex and, thus, the possibility of failures in their operation is also growing. The complexity makes it practically impossible to make the hardware and software error-free without the special effort invested in the design process. Recently, a design methodology with the objective to avoid unacceptable risk of physical injury or of damage to the health of people,...
When Agile development meets critical embedded systems, verification, validation and accreditation activities are impacted. Challenges such as tests increase or accreditation documents production have to be managed in terms of time and resources. In this paper, we highlight these challenges and present a continuous integration ecosystem that aims to tackle these issues. We report on how this approach...
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...
Modern operating systems (OSs) consist of numerous interacting components, many of which are developed and maintained independently of one another. In monolithic systems, the boundaries of and interfaces between such components are not strictly enforced at runtime. Therefore, faults in individual components may directly affect other parts of the system in various ways. Software fault injection (SFI)...
The work describes a flexible framework built to generate various (parallel) software versions and to benchmark them. The framework is written with the use of the Python language with some support of the gnuplot plotting program. An example of the use of this tool shows the tuning of a matrix factorization on different architectures (Intel Haswell and Intel Knights Corner) with various parameters...
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...
The development of complex and highly safety-critical avionics systems, such as fly-by-wire, is typicaUy linked with high efforts, risks and thus costs. Especially with regard to certification the testing activities during verification are playing a major role. This paper introduces the automatization complex of the testing artifact generation by use of Abstract State Machines (ASM), which allows...
Model-Based Testing rises hopes of project teams of meeting both eager time and budget constraints as well as achieving better system quality by thorough testing. However, toolchain and method impose a certain skill set on the project engineer. This paper presents a possible way forward and introduces the constraints to the system architecture.
In this PhD dissertation, we propose a new testing approach for effectively managing hardware development risks, producing hardware designs with enough quality and reliability. Our proposal is based on the combination of high-level modelling and a unit testing framework in order to generate real hardware implementations for validating the designer intent, in order to keep a high cycle-accuracy and...
As the demand for higher computing resource systems and more distributed services is increasing, changes are required. Cloud computing has thus enabled distributed networks that enable computing resources in an online manner. This has further developed into concepts such as mobile cloud computing systems which provide mobile devices with resources to help minimize computing limitations. Other technologies,...
To utilize the proper test techniques that expand our test and diagnosis process we should regularly evaluate and integrate new devices and new techniques. Willingness to embrace change is the major requirement for successful technology integration. Test technology is continuously and rapidly evolving. It is an ongoing process and demands continual research and understanding. Effective integration...
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.