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.
Design by contract and relational interface theories are powerful for specifying component-based systems. We extend these theories with real-time properties so that our technique can model component-based real-time systems. In addition, we use linear temporal logic (LTL) for specifying the invariant properties of contracts. To specify the interaction between methods in a component, and the interaction...
Today home automation is quite common in developed nations. Remote access of appliances and devices in a home is provided via the internet. The challenge lies in making the system smart and deployable in a scalable manner across an entire city in a developing nation. This paper proposes a framework for making home automation achievable across a smart city in a scalable and data efficient manner. We...
Nowadays, many requirements must be fulfilled in relation to the application of agrochemicals in different productive stages of the export fruit in Chile. Agronomists in charge of productive orchards should consult different sources of information before proceeding to apply a certain product. This is based on technical guides and protocols that are also modified from time to time, which implies a...
The flexible spin-lock model (FSLM) unifies suspension-based and spin-based resource sharing protocols for partitioned fixed-priority preemptive scheduling based real-time multiprocessor platforms. Recent work has been done in defining the protocol for FSLM and providing a schedulability analysis without accounting for the implementation overheads. In this paper, we extend the analysis for FSLM with...
This paper describes originally designed monophase power quality data logger (PQL), a successor of monophase power quality analyzer (PQA) presented earlier. The primary purpose of the analyzer was to illustrate the capabilities of the used development board to the students of Microprocessor software and to help the students of Power networks to visualize disturbances generated by different electronic...
Due to improvements in defensive systems, network threats are becoming increasingly sophisticated and complex as cybercriminals are using various methods to cloak their actions. This, among others, includes the application of network steganography e.g. to hide the communication between an infected host and a malicious control server by embedding commands into innocent-looking traffic. Currently, a...
Future tactical communications involves high data rate best effort traffic working alongside real-time traffic for time-critical applications with hard deadlines. Unavailable bandwidth and/or untimely responses may lead to undesired or even catastrophic outcomes. Ethernet-based communication systems are one of the major tactical network standards due to the higher bandwidth, better utilization, and...
Time-Sensitive Networking (TSN) is becoming more important in automotive and industrial sectors. There is no clear strategy how to use TSN to improve and migrate the established real-time protocols without excluding legacy devices. This paper presents a realistic concept to integrate TSN into automation networks. We choose Sercos as a deterministic Industrial-Ethernet protocol to be extended with...
This paper analyzes the transmission efficiency of two kinds of communication technologies: summation frame and individual frame. The abstract models for these two communication technologies using linear topology, which is the most popular topology in industrial control field, are proposed in this paper. The simulation results based on the models show that summation frame has a significant performance...
Smart metering is one of the main objectives for the EU member states to ensure the benefit of consumers on the long term. Due to its functionality, smart meters have a wide applicability in: power quality monitoring, energy savings, data awareness and fraud detection. With long-term cost benefits of the smart meters, it is expected that 72% of European consumers will have a smart meter for electricity...
Recently, Real-time Ethernet has become popular communication technology in automation system applications due to its high bandwidth capacity and low market cost. In addition, CC-Link IE Field has been successful in combining the ultra-high speed feature with the large amount of data to be transferred while integrating in field-level industrial communication networks. This protocol also provides a...
In modern industrial control, it is significant to achieve interoperability of state data and control data at field level and service management layer. Therefore, the demand for data exchange and sharing is getting higher and higher. This paper presents a research of the common mainstream network protocols on industrial network architecture of Northbound Interface, then it makes a comprehensive analysis...
The vehicle monitoring systems are consisted with more than one server. This involves problem of the information sharing and message transmission among the servers. Communication service system is mainly responsible for the problem of how to transfer and analysis of information. This paper puts forward a kind of optimization design method of communication service system for vehicle remote monitoring...
IoT applications has some characteristics that set it apart from other fields mainly due to the multitude of different types of sensors producing data. In monitoring applications, data processing requires real-time or soft real-time responses in order to aid systems to make important decisions but also predictive analysis to leverage the potential of IoT by data mining vast datasets. This paper presents...
In this position paper, we define the SISSY challenge and explore what it might mean for the usual expected integrations and for the more difficult unexpected integrations.
According to Forbes collected data, the public cloud services market will rise in 2016 and is expected to grow to $105 billions and, in fact, Virtual Machines (VMs) are one of the most popular tools for building “Cloud” services. But in service delivery such composition of multiple components greatly complicate analysis of product quality, especially if it is about Voice over IP (VoIP) set of services,...
Security Information and Event Management (SIEM) solutions are expensive, difficult to handle, and still a further security system without interface to existing Network Access Control (NAC) or other security components of an enterprise. Thus, the research project CLEARER [2] aims at developing a security system, which extends existing NAC systems with SIEM functionality, additional analyzing methods...
This paper intends to explain the differences and advantages of techniques for signal exchange among several machines in the industry. Along with the demands and requirements for upgrading the industry from hard wired signals to communications protocols and their advantages on one another are considered. A methodology of signal exchange on Ethernet based protocol of Siemens, its configuration for...
This paper focuses on a possible evolution of the control architectures suitable for Integrated Power Systems in modern all-electric ships. In control systems there is a major trend in using information and telecommunication technology as general real-time operating systems and standard communication protocols. This trend leads a standardization at software and communication protocol level that is...
The present paper describes the design strategies conceived to implement a module able to accomplish different tasks in the baseband environment of a synthetic aperture radar (SAR). This module, called the FGM (Formatting and Gyro stabilizing Module), is part of the QUASAR project for UAVs [1], currently being developed at INTA’s radar laboratory [2]. The main features of the FGM can be resumed as...
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.