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.
Despite all the efforts of the research community, buffer overflows remain one of the most dangerous bugs for modern IT systems. The problem is compounded by the fact that there are many developers who do not follow the basic rules of a secure software development lifecycle, supplying proprietary vulnerable products. To address this problem, the industry has proposed a number of techniques that perform...
Many performance engineering tasks, from long-term performance monitoring to post-mortem analysis and online tuning, require efficient runtime methods for introspection and performance data collection. To understand interactions between components in increasingly modular HPC software, performance introspection hooks must be integrated into runtime systems, libraries, and application codes across the...
Large scale simulation performance is dependent on a number of components, however the task of investigation and optimization has long favored computational and communication elements above I/O. Manually extracting the pattern of I/O behavior from a parent application is a useful way of working to address performance issues on a per-application basis, but developing workflows with some degree of automation...
A brief review of Protected Execution Mode (PEM) for user-space applications featured in Elbrus architecture is described first. Then, AddressSanitizer, a well-known utility by Google Inc, is considered as an example of a pure software technique of memory control. Comparative analysis of these solutions is given with performance flaws, applicability and boundary violation detection quality.
The common DPU platform for ESA JUICE mission instruments is a hardware and software platform developed by Cobham Gaisler for the scientific instrument payloads of the European Space Agency Jupiter Icy Moons spacecraft. The hardware is based around the GR712RC dual-core LEON3-FT processor with GRSPW2 SpaceWire interfaces. To accompany the JUICE instrument hardware, a flight quality SpaceWire software...
In order to meet new demands on software designing in the field of testing instrument, this paper implements an instrument soft panel by WPF programming method using Microsoft Visual Studio. The appearance of the soft panel embodies WPF applications' advantages and the soft panel has the utility of controlling HITPE101 data acquisition module through hardware drivers based on VISA. Finally an auto-test...
Metamorphic testing is an advanced technique to test programs without a true test oracle such as machine learning applications. Because these programs have no general oracle to identify their correctness, traditional testing techniques such as unit testing may not be helpful for developers to detect potential bugs. This paper presents a novel system, KABU, which can dynamically infer properties of...
Designing a test platform that provides automated test capability for multiple Units Under Test (UUTs) presents many unique challenges. Using LabVIEW Object-Oriented Programming (LVOOP) design principles along with Packed Project Libraries, TSC has designed a modular Test Executive (TE) architecture that allows us to easily add capability as test requirements change or expand. This is achieved by...
We present some of the new open source radio astronomy instruments, hardware, gateware, GPUware, and software developed by the CASPER collaboration, including new ADC and FPGA boards, heterogeneous correlators, spectrometers, and pulsar instrumentation, as well plans for next generation CASPER tools and libraries.
A Test Executive software is the main software part of an Automatic Test System (ATS) and its main function is to execute test steps sequentially. Other software that builds the ATS can be listed as; TPSs which perform the Device Under Test (DUT) specific functional tests, Operator Interface which is the part Test Operator interacts with, Instrument Libraries which are responsible for communicating...
The behavior of a software system often depends on how that system is configured. Small configuration errors can lead to hard-to-diagnose undesired behaviors. We present a technique (and its tool implementation, called ConfDiagnoser) to identify the root cause of a configuration error — a single configuration option that can be changed to produce desired behavior. Our technique uses static analysis,...
A test program compliant with IEEE standard 1641-Signal and Test Definition (STD) standard has got two parts: the definition of the signals and the programmatic part. The standard doesn't define a programming language for the programmatic part, any commercial off-the-shelf (COTS) programming language fulfilling annex G requirements can be used. This protects the standard against obsolescence but it...
With the new architecture, test programs are standardized both in look and functionality through sharing of a common interface and data and instrument handling routines. Programming time is greatly reduced with the separation of non-test related functions and through the inherent nature of code reuse. Verification and validation time is also reduced since testing is only required on the modified components...
Traditional live update systems offer little or no automated support for state transfer between two different program versions with changes in the program state. In this paper, we report our efforts to build a safe and automated state transfer framework for C programs that requires a minimal number of program state annotations and handles common structural state changes with no programmer assistance...
The existing body of feature-location research focuses on discovering feature-code trace ability links for supporting programmers in understanding and modifying static artifacts of software. In this paper, we propose a different utilization of this type of reverse-engineering information. We introduce the concept of runtime feature awareness that enables a running program to establish and make use...
Selective regression testing involves retesting of software systems with a subset of the test suite to verify that modifications have not adversely impacted existing functions. The J2EE platform has come to dominate the commercial Java application market. Unlike standalone Java applications, J2EE applications also use configuration files to control the presentation, service, data access, and persistence...
The efficiency and space complexity of program are very important for embedded software. Therefore, it is great reference value to analyze the execution time and calling times of code for optimizing embedded code. Code instrumentation is the key technology of monitoring program performance. Static instrumentation on the executable file is a method and strategy that can achieve the dynamic analysis...
Severe low vision patient cannot read a text clearly. Thus, an instrument engineered for them should have an extra function to read aloud the text. Nowadays, Bahasa Indonesia is still not supported properly in any text to speech modul. This ongoing research is trying to develop an Indonesian text to speech with syllable concatenation. The input of the system comes from a plain text file or manually...
By using the virtual instrument technology and basing on the development design platforms in LabVIEW2009 software, controlled Altai PCI8053 data acquisition card which completed the data acquisition system. The system is able to complete output voltage signal acquisition and processing of the laser displacement sensors, pressure sensors, temperature sensors and other sensor. It's designed to be simple,...
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.