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 article discusses the aspects of quality and tests, whose definitions came from Software Engineering, and its application in OER (Open Educational Resources) design and repurposing. This proposal is intended to support people, playing different roles, interested in using, creating or adapting OER. It is hoped that through the test descriptions, producing teams or individual creators would be...
In this work, it was developed a computer platform for risk management and analysis the risk of loss of human life, according to the new ABNT-NBR 5419:2015 standard applying a calculation routine with the purpose of facilitating the job of the professionals who need to follow this standard in the execution and verification of the necessity of LPS project, Lightning Protection System, in the structure...
Parallel and distributed computing have enabled development of much more scalable software. However, developing concurrent software requires the programmer to be aware of nondeterminism, data races, and deadlocks. MPI (message passing interface) is a popular standard for writing message-oriented distributed applications. Some messages in MPI systems can be processed by one of the many machines and...
Automatic static analysis tools help developers to automatically spot code issues in their software. They can be of extreme value in languages with dynamic characteristics, such as JavaScript, where developers can easily introduce mistakes which can go unnoticed for a long time, e.g. a simple syntactic or spelling mistake. Although research has already shown how developers perceive such tools for...
There is often more than one way to trigger a fault. Standard static and dynamic approaches focus on exhibiting a single witness for a failing execution. In this paper, we study the problem of computing a comprehensive characterization which safely bounds all failing program behavior while exhibiting a diversity of witnesses for those failures. This information can be used to facilitate software engineering...
Proof assistants such as Coq are used to construct and check formal proofs in many large-scale verification projects. As proofs grow in number and size, the need for tool support to quickly find failing proofs after revising a project increases. We present a technique for large-scale regression proof selection, suitable for use in continuous integration services, e.g., Travis CI. We instantiate the...
Personal Software Process (PSP) is a process that develops individual skills in software engineers to control and improve the quality of their work practices. This paper presents an evaluative study on the effectiveness of design and code reviews includes into the PSP development activities. The study carried out with students of the Management Information Systems in National University of Colombia...
This design provides a kind of double CPU communication between solution, using PROTUES software structures, basic simulation circuit, the load KEIL software written in HEX file, USES the RS232 interface standard, simple circuit structure, solve the problem of the complicated parallel communication lines, applies to close range, low rate of communication occasions.
Network function virtualization (NFV) is one of the promising technologies for the next-generation network. In the NFV environment, reliability and availability should be guaranteed at different levels through the use of monitoring frameworks; however, the current monitoring frameworks only focus on NFV infrastructure (NFVI)-related faults and not VM-related faults. In this paper, the current NFV...
All vehicles produced today must be fitted with an On-Board Diagnostic (OBD) interface. With the help of the OBD a data connection through the Controller Area Network (CAN) is realized with the Engine Control Unit (ECU). This control unit is instrumental in optimizing the engine performance. There are many OBD adapters on the market today, ranging from the cheap Do-It-Yourself kind to expensive, professional...
A significant number of techniques dedicated to requirements specification and documentation is described in the available sources. As there is no purpose to use all of them, a selection has to be made, taking into consideration the context of a given software project, for example its size, usage of agile approach or stakeholders' technical competency. This paper is intended to provide guidelines...
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...
Given the recent difficulty in continuing the classic CMOS manufacturing density and power scaling curves, also known as Moore's Law and Dennard Scaling, respectively, we find that modern complex system architectures are increasingly relying upon accelerators in order to optimize the placement of specific computational workloads. In addition, large-scale computing infrastructures utilized in HPC,...
Software engineering code of ethics (SWECOE) is an area within software engineering that requires increasing research attention. SWECOE is acknowledged as an important area of practice that has a huge impact on how software affects our daily life. The degree of harm to the users as a result of using equipment with faulty software applications highly depends on the ability of software engineers to...
Automotive electronic control units (ECUs) have been the focus of many security researchers who have demonstrated the ability to affect the deterministic operation of safety critical vehicle cyber physical systems. Flaws in software design that have direct impacts to the functional safety of a target vehicle have been discovered. The rapid increase in data connectivity within a modern automobile has...
Due to the growing size of compute clusters, large scale parallel applications increasingly have to deal with hardware malfunctions and other failure scenarios during execution. The overall goal of this research is to get good performance of MapReduce applications despite failures. The paper focuses on evaluation of the performance of two representative Hadoop MapReduce applications, 'WordCount' and...
The P4 language provides a way to describe a custom network packet processing behavior that involves header parsing, matching and assembling modified packets. Such abstraction represents a significant step towards removing the limitation of fixed-function networking devices. Our live demonstration shows a straightforward usage of an algorithm and tool that maps a P4 program to a general architecture...
This paper presents differential pressure based flow configuration software implemented using FDT2 technology. FDT2 is a latest version of FDT standard (IEC62453) which is useful for configuration, monitoring, diagnosis and asset management of field device. Using FDT2 technology, client server system for flow configuration will be achieved keeping the interoperability of host system. The original...
Household energy consumption is largely inefficient. In recent years, development in residential energy-use optimisation has attracted a great deal of attention. Given that consumers comprise a significant part of total demand, there is an incentive to assist users to manage household demand. This paper provides an introduction to Home Energy Management (HEM). An overview of available Home Energy...
A problem-oriented processor on the basis FPGA for high-precision calculations in floating-point formats (64-, 80-, 128-bit) for solving poorly conditioned systems of linear algebraic equations by the Gauss method was developed.
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.