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.
This research has been carried out to find an intelligent system to generate chords for melodies which has been composed without considering chords initially. In western music, melodies are composed alongside with chords which specifies the rules for composing. Even though, the concept of chord is not practised in Hindustan music, modern musicians are now adapting the chords and use western instruments...
Active ECUs (Electronic Control Unit) in a hybrid car while it is charging leads to inefficient power usage and reduction in ECU lifetime. To solve this issue, AUTOSAR has suggested PN (partial networking). As per the AUTOSAR specification, ECUs which are not required to be kept active during battery charging must be shutdown. This project's aim is to analyze the robustness of the design suggested...
We present a dual technique for generating and verifying proof certificates in SMT-based model checkers, focusing on proofs of invariant properties. Certificates for two major model checking algorithms are extracted as k-inductive invariants, minimized and then reduced to a formal proof term with the help of an independent proof-producing SMT solver. SMT-based model checkers typically translate input...
To access sensitive information, some recent advanced attacks have been successful in exploiting implicit flows in a program in which sensitive data affects the control path and in turn affects other data. To track the sensitive data through implicit flows, several software and hardware based approaches have been proposed, but they suffer from the non-negligible performance overhead. In this paper,...
Recent advances in Neural Networks (NN) are enabling more and more innovative applications. As an energy-efficient hardware solution, machine learning accelerators for CNNs or traditional ANNs are also gaining popularity in the area of embedded vision, robotics and cyberphysics. However, the design parameters of NN models vary significantly from application to application. Hence, it's hard to provide...
In modern systems there is a desire to create Test Program Sets (TPSs) in multiple languages. However, most Automatic Test Equipment (ATE) is designed with only one test executive in mind and the exclusion of all others. This paper discusses a proven design to allow for Multiple Test Executives (MTE) on a single system. In addition, the test executives are divorced from the operator or maintainer...
This article refers to a study on the behavior of an internal combustion engine of a vehicle when you add oxyhydrogen (HHO) as a supplementary fuel, produced from a modified alkaline type electrolyzer, called HHO generator. The first stage consists of a theoretical and experimental analysis of what happens in the internal combustion engine by adding the oxyhydrogen. As a result of this first stage...
This paper reviews the requirements and methods associated with executing a test program application in simulation mode. The simulation requires running the application with a subset of instrumentation or without any instrumentation and with or without the Unit Under Test (UUT). In simulation mode some of the instruments or the UUT may not exist, which requires that the simulation environment filter...
Development and testing of automotive embedded control systems traditionally depended on the availability of prototype vehicles. Automotive manufactures adopted model based approaches in order to produce quality products faster. Thus, the need of more integrated testing using virtual environment in an automated manner becomes a vital element of product development. The full vehicle simulator aims...
Distributed Virtual Environments (DVEs) must continue to perform well as users are added. However, DVE performance can become sensitive to user behavior in many ways: their actions, their positions, and even the direction that they look. Two virtual words may be similar in terms of user experience, task efficiency, immersion, and aesthetics. However they may exhibit substantially different performance...
Distributed Virtual Environments (DVEs) are a large class of real-time simulation systems. We present an implementation-independent methodology for measuring, analyzing, and comparing DVE systems performance. The methodology comprises of a process of requirements elicitation and their conversion into measurable objectives. The process for determining quality requirements for a DVE is discussed, with...
Gas Chromatography (GC) is used to analyze various products of volatile materials such natural gas, oils, pharmaceuticals, and foods. It is needed to control the quality of products till fulfill its requirements to be marketable. Therefore, maintenance is required to maintain the GC system running well. The expert system software for watering down the troubleshooting diagnosis on GC-2010 had been...
This paper described the testing technique and hardware for self-diagnosis of wear in cylinder-piston system by measuring compression pressure in cylinder, developed a program to simulate with computer, and brought forward the detail for this testing system.
Virtual Instruments are new instrument type that combining hardware and software together. A virtual instrument system includes instrument hardware, concerned software and a computer. It can control a machine and get the operating parameter of a machine. An engine test bench was developed with VC++ basing on Virtual Instruments technology. The system can control an engine and a chassis dynamometer...
We present an implementation-independent methodology for measuring, analyzing, and comparing Distributed Virtual Environment (DVE) system performance. The methodology comprises of a process of requirements elicitation and their conversion into measurable objectives. The process for determining quality requirements for a DVE is discussed, with a focus on interaction-based scenario analysis. A measurement...
Symbolic techniques have been shown to be very effective in path-based test generation, however, they fail to scale to large programs due to the exponential number of paths to be explored. In this paper, we focus on tackling this path explosion problem and propose search strategies to achieve quick branch coverage under symbolic execution, while exploring only a fraction of paths in the program. We...
The operating status of the Electronic Speed Controller and the engine of the cannon needed to be evaluated and checked in ordinary maintenance, examination and repair. A useful fault diagnosis system for Electronic Speed Controller was designed by LabVIEW. The system was composed by magneto electric spin speed sensor, junction box, PWM driven module, PCI1802 multi-function card and Apolo530 industry...
Mutation testing has been used to assess and improve the quality of test inputs. Generating test inputs to achieve high mutant-killing ratios is important in mutation testing. However, existing test-generation techniques do not provide effective support for killing mutants in mutation testing. In this paper, we propose a general test-generation approach, called PexMutator, for mutation testing using...
Software vulnerability is the major root of security issues which results in serious attacks such as DDOS and worms. How to find vulnerability especially on binaries has been an alluring but challenging topic. Traditional black-box fuzzing heavily relies on input format so that it cannot work on unknown formats, more severely, it cannot generate effective test cases because it randomly change input...
This paper provides a brief overview of the challenges of test requirements collection for Test Program Set (TPS) maintenance or re-hosting. The paper specifies a TPS analysis framework to address these issues and provides implementation guidelines using application examples with a focus on digital testing.
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.