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.
Buildings represent 40% of total primary energy use in the U.S., and researchers have recognized the necessity of making office spaces more energy efficient. To reduce energy consumption, it is important to take into account buildings occupants' behavior into account. The difference between simulated, estimated and real power consumption in buildings reflects the need to search for more accurate ways...
Software specifications are useful for software validation, model checking, runtime verification, debugging, monitoring, etc. In context of safety-critical real-time systems, temporal properties play an important role. However, temporal properties are rarely present due to the complexity and evolutionary nature of software systems. We propose Timed Regular Expression Mining (TREM) a hosted tool for...
Existing software analysis methods for performanceand coverage are typically tied to the source code of software applications.In this work, we extend these methods to the Graphical User Interfaces (GUI) of applications, motivated by the desire to bring the user perspective into focus of software quality assurance and testing at the GUI level. We present and discuss various profiling procedures, their...
Runtime Verification consists in studying a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging consists in studying a system at runtime in order to discover and understand its bugs and fix them, inspecting interactively its internal state.Interactive Runtime Verification (i-RV) combines runtime verification and interactive...
Safety-critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing risks to the user, the public, or the environment [1]. It is typically expensive and time consuming for companies to certify their software. Therefore, any attempt to automate...
Accurate and real-time water quality assessment is an important way to ensure healthy aquaculture and protect the water environment. Due to the diversity, nonlinear and uneven distribution of aquaculture water quality parameters, it's very difficulty to assess the water quality. In this paper, the accurate water quality parameters are obtained by an adaptive weighted fusion method, then the water...
Cellular service providers continuously upgrade their network software on base stations to introduce new service features, fix software bugs, enhance quality of experience to users, or patch security vulnerabilities. A software upgrade typically requires the network element to be taken out of service, which can potentially degrade the service to users. Thus, the new software is deployed across the...
In this paper, we presented the design of low-cost, compact and wireless 12 lead Electrocardiogram analog front-end (AFE) system using TI ADS 1198. ECG analog front-end (AFE) systems are designed with ASICs or custom designed ICs which are too expensive to be used. The main components of a conventional ECG system include instrumentation amplifiers, operational amplifiers that implement active filters...
In the context of Industry 4.0, constantly evolving shop floors generate the need for a highly adaptive and autonomous automation system with lean maintenance, minimum downtime, maximum reliability, and resilience. Future Manufacturing Execution Systems (MESs) will be more complex and dynamic as well as distributed physically and logically. This makes it very difficult, if not impossible, for the...
The stability of interconnected large power systems — like the Brazilian National Grid (SIN) — is directly compromised by weakly or not damped low frequency oscillations and transitory oscillations, these latter originated from large contingencies. In order to identify and control the system oscillation modes efficiently, the dynamic behavior of various wide areas, it becomes necessary synchrophasor...
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...
Due to technology scaling, which means smaller transistor, lower voltage and more aggressive clock frequency, VLSI devices are becoming more susceptible against soft errors. Especially for those devices deployed in safety- and mission-critical applications, dependability and reliability are becoming increasingly important constraints during the development of system on/around them. Other phenomena...
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...
In view of short distance, inaccurate counting and slow speed of the intelligent meter reading system, the design scheme of a remote intelligent meter reading system based on GPRS is put forward. The hardware of system mainly includes four parts: GPRS wireless communication module, concentrator, collector, and monitoring center. The communication layer adopts double layer structure, the upper layer...
The problem of the early detection of forest fires in isolated areas is studied, as is the case of Torres del Paine National Park, as an area of very high tourist interest, an economic engine of the Magallanes region, and currently a world reserve of The Biosphere according to UNESCO. No communication connectivity, and presents important logistical challenges to deploy and install equipment, with...
This article presents the design of a telecommunications network that allows the monitoring of mud, earth, rock and debris flows produced by slope overflows in the main arterial roads of the city of Cuenca, Province of Azuay. This network is integrated in a system of monitoring of the SIS ECU 911 of the City of Cuenca. The system has been conceived as a set of devices such as wireless modules and...
Crowd-based requirements engineering (CrowdRE) is promising to derive requirements by gathering and analyzing information from the crowd. Setting up CrowdRE in practice seems challenging, although first solutions to support CrowdRE exist. In this paper, we report on a German software company's experience on crowd involvement by using feedback communication channels and a monitoring solution for user-event...
Security is a major issue nowadays for the embedded systems community. Untrustworthy authorities may use a wide range of attacks in order to retrieve critical information. This paper introduces ARMHEx, a practical solution targeting DIFT (Dynamic Information Flow Tracking) on ARM-based SoCs (e.g. Xilinx Zynq). Current DIFT implementations suffer from two major drawbacks. First, recovering required...
The objective of our research is to define a requirements model for Adaptive Multi-organizational Systems. Our work considers the functional complexity of contemporary internet-based, multi-organizational systems. Not only the business functions, but also the interactions between the components of such systems are highly dynamic and global. Furthermore, these systems function in extremely uncertain...
Today's complex software systems consist of several components that interact in complex ways to provide services to users. In doing so, these systems go through continuous assessment of their context and configure themselves accordingly to keep user satisfaction high. A popular approach to design adaptive software systems is to perform variability modelling, for instance adopting a feature-based approach...
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.