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.
Nowadays multiple bus communication types are comprehensively employed to construct different networks in vehicles information system design. Data interchange among these networks must be conducted through complex communication gateways, which are difficult to test all the features wholly by manual work. MIC and RS422 communication networks are very common in some special vehicles, so in this paper...
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...
A network of 15 Timepix pixel detectors was installed within the ATLAS experiment at CERN, Geneva. The network is capable of measuring the composition and spectral characteristics of the radiation fields in real-time. Its operation is managed by a dedicated software system. The presented article describes primary software components of this system responsible for communication with detector hardware,...
The coverage of requirements is a fundamental need throughout the software life cycle. It gives project managers an indication how well the software meets expected requirements. A precondition for the process is to link requirements with project artifacts, like test cases. There are various (semi-) automated methods deriving traceable relations between requirements and test scenarios aiming to counteract...
In recent years, mobile cyber physical systems have found applicability in multiple areas such as mobile intelligent robots and robotics systems, intelligent transportation systems, environmental monitoring systems, healthcare systems and so on. Remote control of mobile objects is a very promising field which allows to improve the convenience and safety of human society life. According to the fact...
Article deals with the automated dispatch control system (ADCS) is designed to improve the reliability and efficiency of operational dispatch and process control facilities that are part of the power system. ADCS is a set of hardware and information of the software used in the dispatching management of energy facilities based on computer. The proposed model of simulator ADCS and automated system commercial...
The paper explores the features of functional modeling of the process of development of control and monitoring systems, using the example of the system of energy-saving control of technological objects.
Nowadays, home devices with network capabilities are widely used. The technology integration offers new and exciting opportunities to increase the device connectivity within a home for many proposals of home automation. In this paper, it has been developed a framework that allows to quickly develop new hardware and software complex systems, rapidly integrate new classes of devices in existing systems...
Treadmill is the commonest method to get a good health, but traditional treadmill has limited functions and low intelligence. While embedded technology implements special function and is controlled by internal computer system. Putting embedded technology into treadmill can enhance the intelligence and add extra functions. In this paper, system structure and work way of treadmill were analyzed scientifically...
The features of weight-based sum codes for error detection in channel are discussed in this article. These features are acceptable for modification remote railway controlling systems such as locomotive signalization. In this article proposed the investigation for different coding modification algorithms, made an analysis of noise-immune properties when the modified Bauer code was replaced to modulo...
At the Institute of Flight System Dynamics of the Technische Universität München (TUM), a digital flight control system for a fixed wing Unmanned Air Vehicle (UAV) featuring a novel diamond-shaped configuration is designed, implemented and tested up to its first flight. The capabilities of the UAV comprises a fully automated flight, including ground control for centerline tracking and runway alignment...
The transition from a model-driven to a requirements-driven approach in the software development for programmable logic controllers will allow the developers to focus on the proper definition of the problem which needs to be solved and let the computer find a suitable solution for it automatically. This article presents a domain specific language intended to support this transition. The main focus...
The success of the Internet around the world has produced many benefits, but due to IP protocol stack limitations, the IP addresses exhaustion problem soon arose. Although it has been proposed several solutions to alleviate it, the problem still remains, specially in the emerging countries, which have a reduced pool of public IPv4 addresses. Classless Inter-Domain Routing (CIDR) scheme has partially...
In this paper, details the functioning of a plant of control, air suspension of a sphere, through which it will analyze its mathematical model, its nonlinear behavior, which must be linearized in a point of operation, to subsequently generate a PID control of it, in order to verify the correct behavior of the plant against several perturbations, their respective testing and simulation using MATLAB...
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...
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.