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.
In this paper, a realtime testbed for Software Defined Networks (SDN) was implemented using Raspberry Pi as OpenFlow (OF) switches. The implemented testbed provides practical development and testing environment for SDNs. Open vSwitch (OVS) was used to observe the flows and events in the network. With the POX integration, this paper easily provide detailed analysis results for any testing process....
According to the gradual expansion of power grid scale and rapid development of computer technology, the dispatching automation and control system has played an increasingly prominent role in technique support and guarantee for power grid. In this paper we designed a kind of operating monitoring and evaluation software for the smart grid dispatching and control system, and described several key technologies...
Highly configurable software often uses preprocessor annotations to handle variability. However, understanding, maintaining, and evolving code with such annotations is difficult, mainly because a developer has to work with all variants at a time. Dedicated methods and tools that allow working on a subset of all variants could ease the engineering of highly configurable software. We investigate the...
The increasing of transportation demand in Thailand requires a lot of human resources to support the future railway system. Therefore, we have developed an in-house fixed-block train control simulation system to be used as a tool for helping learners to understand train control procedures. The train control simulation system combines of train model, signaling control hardware, and controlling and...
This paper considers a methodological approach to automated detection and resolution of conflicts of information security software of train traffic control information system, based on the analysis of system performance, finding the conflicts in configuration files, registry keys, and dynamic libraries assessment. Models of conflicting objects of computer system and a method for calculation of a composite...
A system that records changes made to a file is called a Version Control System (VCS). Even thought VCSs may store all kind of files, we focus on changes made to polygonal meshes files. Our method allows the user to track the history of topological and geometrical changes to part of a model. This part is selected through a bounding box selection mechanism, and the user can track the change-sets of...
There is an immense expectation on Software-Defined Networking (SDN) in industry as a novel approach towards potentially replacing conventional network management and control. However, SDN is not immune to security vulnerabilities which currently exist in the legacy systems or which may newly arise due to change in the network design. Since the beginning of SDN development, primary focus of research...
Teledyne SeaBotix is developing a robotic subsea winch to be used in deep deployments of an observation class (20kg) ROV to 4000 m depths. The subsea winch system can be incorporated in a self-contained launch and recovery system or via larger vehicles like work class ROVs or submarines. High reliability is an underlying design objective in subsea systems due to the very high cost of downtime or system...
Collaboration in business processes and projects requires a division of responsibilities among the participants. Version control systems allow us to collect profiles of the participants that hint at participants' roles in the collaborative work. The goal of this paper is to automatically classify participants into the roles they fulfill in the collaboration. Two approaches are proposed and compared...
In traditional computing systems, software problems are often resolved by platform restarts. This approach, however, cannot be naïvely used in cyber-physical systems (CPS). In fact, in this class of systems, ensuring safety strictly depends on the ability to respect hard real-time constraints. Several adaptations of the Simplex architecture have been proposed to guarantee safety in spite of misbehaving...
With the numerous and complex parameter interactions that take place during the operation of an engine, the optimization of its performance in terms of alternative fuels is difficult, as dynamometers with conventional technology are unable to make significant measurements for alternative fuels. In this study, an electronically controlled dynamometer system capable of measuring a number of specific...
The problem of sensor location for fault accommodation problem in nonlinear dynamic systems is considered. Solution of the problem is related to constructing the control law which provides full decoupling with respect to fault effects. The logic-dynamic approach is used to solve the problem. The main features of this approach are: it involves known linear methods that results in possibility to solve...
This paper analyzes the current situation of watt-hour meter verification and proposes a design scheme of watt-hour meter verification line based on CAN bus and Ethernet. The verification line adopts modular design and the whole line is made up of three necessary verification links, namely withstand voltage verification, initial verification and repeat verification, achieving automatic connecting...
In order to meet the users' living demand, to provide them a better experience of smart home and further to improve their life equality, the authors design and implement the voice control system of smart home based on iOS. This system uses the classical MVC mode. The third party IFlyTek SDK is used to recognize the input voice. The developers create the project by Xcode, first using the storyboard...
Environment in some special areas of nuclear power plant is very bad, and is even worse and inaccessible after a nuclear accident. Therefore, a robot developed for special occasions of nuclear plant operation is urgently needed. Different from ordinary robots, nuclear industry robots face even worse environments, such as high radiation, high temperature, high pressure, narrow space, slopes, stairs,...
Software-Defined Networking (SDN) is an emerging technology that controls network by using software. OpenFlow switches have predefined actions to be executed by the controller, but if any undefined actions need to be executed on given packets, they are transferred to the controller by the exception mechanism called Packet-In and processed there. When we execute undefined custom actions with Packet-In...
PISim is a new piece of software that is being developed to support teaching and learning in process control. The ideas behind PISim are discussed and the results of two tests of the alpha build (with industrial participants and as part of a scheduled class) are presented. The effect of the test results on the direction of future development is also considered.
This paper proposes a new model checking method to detect falsification on control system software. In the previous study, we have examined a method which detects illegal rewriting for control system software via Petri Net and Kalman Decomposition (KD). In this paper, in order to divert this method to model checking, we consider a new toolchain with the existing model checker SPIN. Specifically, we...
This paper is about the research on the industrial Ethernet communication between industrial PC (IPC) for a spinning machine and OMRON programmable logic controller (PLC) based on FINS protocol and Winsock in VC++. This proposed networked communication has been successfully designed, installed, commissioned and realized. This paper focused on reliable real-time communication transmission and integrated...
Strata Title Survey is a method of measurement in Cadastral Surveying. This measurement involve with buildings which has more than four floors such as industrial building, hotel and residential. The importance of Strata Title Survey is to make sure each parcel have its own lot and any maintenance and development are under control with the support of Strata Plan. The purpose of this study is to determine...
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.