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.
Developers often address multiple development issues to make composite code changes, as opposed to atomic changes that address one single issue. Investigating and testing such code changes is a tedious and error-prone process for developers. To address the problem, this paper presents a technique, called CHGCUTTER, for (1) interactively decomposing composite changes into atomic changes, (2) building...
High-performance computing systems are currently used by many scientists and researchers with Job Management Systems (JMS) that are deployed over high-performance computing systems. To achieve high performance in high-performance computing, systems communication performance must be improved in the interconnect. JMS sometimes adopts the staging, witch is a method to transfer data used by an application...
To meet the rising demands on high-performance computing, the number of computing nodes composing a high- performance computing system has been continuously growing. Simultaneously, the complexity of networks linking such computing nodes, or the interconnect, has also been increasing. Taking the scale-out of computing nodes in future high-performance computing systems into consideration, it is unrealistic...
Software Defined Networking (SDN) and Network Function Virtualization (NFV) are catching the attention of telecom operators. Telecom environments establish a set of Carrier Grade requirements such as high availability, high throughput and low latency. To address these challenges SDN deploys logically-centralized controllers, such as ONOS and OpenDayLight. Based on the JAIN SLEE component model, which...
Vehicle control unit (VCU) is the processing center of pure electric vehicle. With the increase of application, the safety design becomes the essential issue for VCU. According to the requirement of ISO 26262, VCU needed to be designed at least with ASIL C. The derivation of functional safety requirement for VCU poses a great challenge. In order to address the issue, this paper puts forward the technology...
The conception of a fully automated astronomical observatory for remote operation fulfils the needs of observation in difficult accessibility conditions at remote locations. The use of open source hardware and software components enables the implementation of a low cost design. The current availability of technologic instrumentation allows the possibility for low-budget astronomical research groups...
In this paper, based on the dimethyl ether plant process and production process control system, the optimal design of DME control system is studied and the simulation system are established. First of all, the production equipment is regarded as the research object, and through the device operation requirements and device characteristics of structural analysis, and combined with the DCS control system...
Software-Defined Networks (SDN) are constantly evolving and so is their software. One of the key advantages of SDN over traditional networks is the ability to rapidly develop and deploy new features. However, updating them often requires restarting the SDN controller and causes network downtime. In addition to such planned updates, unforeseen, accidental downtime is also a risk for SDN networks. While...
There are many open challenges and current / future research directions for self-aware systems. We have shown that self-modeling systems address many of them, but we have not yet seen many replicable experiments that allow methods and results to be shared. In this paper, we describe an architecture for self-modeling systems, and how we expect to use it for experiments in self-awareness. These experiments...
The design shift proposed by OpenFlow, with its simple stateless dataplane, initially contributed to the success of Software-Defined Networks. Its lack of state, however, prevents the implementation of many dataplane algorithms. Network applications must therefore offload stateful operations to the control plane, thereby increasing latency and limiting network scalability. Thus, recent research efforts...
Static analysis tools (e.g., FindBugs) are widely used to detect potential defects in software development. A recent study suggests that there is a moderate correlation between the alerts reported by static analysis tools and software defects [1]. However, despite the actionable alerts reported by static analysis tools, they may report too many meaningless unactionable alerts. Actionable alert refers...
Routing Algorithm is an important mechanism which decides data transferring path in a network. Several existed routing algorithms are derived from a fundamental of graph theory with shortest path approach. A lot of additional network metrics were applied to serve the best quality of service (QoS) to end devices. However, a selected path from the existed algorithms can suffer from additional end-to-end...
With the increasingly application of discrete control software in automatic control field, the security and reliability of its behavior becomes even more essential. However, the traditional verification methods are of high complexity and poor flexibility, so the lightweight Runtime Verification becomes an alternative. In this paper, aiming at real-time properties in discrete control software, an improved...
This paper is a short story of my adventures of the past 20 years trying to integrate academic research with software engineering problems in industry. I share the challenges I encountered on the way, my failures and successes, evolution of my research, and its adoption in industry. Though I faced many hardships, I feel great satisfaction in knowing that my research is applied today in the design...
As modern unmanned aerial systems (UAS) continue to expand the frontiers of automation, new challenges to security and thus its safety are emerging. It is now difficult to completely secure modern UAS platforms due to their openness and increasing complexity. We present the VirtualDrone Framework, a software architecture that enables an attack-resilient control of modern UAS. It allows the system...
While model predictive control (MPC) is the industrially preferred method for advanced control in the process industries, it has not found much use in consumer products and safety-critical embedded systems applications in industries such as automotive, aerospace, medical, and robotics. The main barriers are implementability and dependability, where important factors are implementation of advanced...
In the paper, there are considered functional abilities of information operator support systems (IOSS) of power units of nuclear power plants (NPP) and their place within the an unit-level system of automated process control systems (APCS) of NPP. The purpose of implementation of NPP IOSS is preventing or decreasing the frequency and heaviness of human-operator errors appearing during transients and...
This paper deals with the description of concept of a virtual laboratory designed for educational purposes and deployment of processor-in-the-loop (PIL) concept with the use of the REX Control System. It also presents the case study regarding control of a simple inverted pendulum on the cart. The below mentioned techniques represent modern, accessible and adaptive teaching methods supporting a distance...
A flexible power flow control system for distributed electricity generation, storage and consumption for small industrial buildings has been subject of a public funded research project, which has been conducted by two industrial and two research partners.
The information system audit developed in a data center it was based on the study of the domains of COBIT; for this reason the survey for each component it was developed with the goal of obtain the necessary information for audit. The analysis of this information, permited to establish the degree of compliance with international standards, and determine the maturity, risk levels of each of the components...
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.