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.
Increased maritime shipping activity by larger ships is elevating the risk for maritime accidents and environmental impacts. Starting in 2004, these risks are being ameliorated by Automatic Identification System (AIS) technology. Similar to airplane transponders, AIS transmits a vessel's name, type, position, size, course, destination and speed several times a minute. This information is received,...
We present Geographic Information System model, which is developed on the basis of metasystem approach and it is focused on application as monitoring system of complex object. The model is described on the basis of set-theoretic approach, functions according to scenarios, integrates, processes and monitors the space-time and coordinate information. The problem of acquisition and reversible compression...
The flood of alarms produced by Point-of-Care (PoC) medical devices in intensive care units (ICUs) and operating rooms (ORs) is a crucial issue of today's hospitals. Alarm fatigue and desensitization leads to the death of patients, noise worsens the patient's recovery process and causes burnout syndromes of caregivers, etc. Much research has been done in the last years to reduce false alarms and noise...
We present a processing platform that implements DMR with separate clock and power sources to prevent dependent failures working with a reconfigurable cache that includes BIST with self-recovering function to detect transient faults and error prediction to prevent permanent faults. The fault tolerant processor is analyzed to be complying with the ISO26262 SOTIF for ADAS SoC which is fabricated with...
In the future intelligent transport systems (ITS) the reliability and precision of the cooperative and autonomous vehicles are of the utmost importance. For such systems vehicle-to-vehicle and vehicle-to-infrastructure (V2X) communications is safety-critical component of ITS. Many mobility and convenience applications of ITS require the V2X bidirectional communications mode. This paper focuses on...
In order to improve the safety of the operation of the hydrogen-cooled generator and ensure the stable operation parameters of the hydrogen as the cooling medium, this paper presents a low-cost and high-performance hydrogen quality monitoring system for the hydrogen-cooled generator with ARM microprocessor as the core. The system consists of a data terminal system and a cloud monitoring platform system...
A planar implantable sensing antenna is designed for intracranial pressure (ICP) monitoring by utilizing the capacitive coupling principle with the use of two parallel rings. The overall dimensions of the sensor is 1×1×0.2 mm3. The sensor operates over the medical implant communication service (MICS) band and found to be effective in monitoring variations of pressure differences within the brain....
This paper presents monitoring as a service for networked medical cyber-physical systems in the operating room based on the recent IEEE 11073 standards for interoperable medical device communication. Runtime Verification techniques are used to allow for a formal specification and verification. Based on the specification so called monitors are automatically synthesized. At runtime, the monitors observe...
On the information security of ACS TP negatively influenced by increasing their integration with enterprise systems management, as well as the wide spread of remote access technologies. Additional information security risks arise on the background of the smooth transition analogue of technology on hardware platform based x86, and active implementation of IP technology in the ACS environment. The combination...
With the development of cultural level, the traditional tourism has not meet the needs of the development of the people. The development of traditional tourist scenic areas has been affected by the technology and the cloud computing, so we need continuous innovation and development, it can bring the new experience of the tourist. In this paper, from the angle of tourist, scenic, government, we will...
In recent years, there has been a shift from closed systems, with clearly defined borders, whose behavior is completely determined a priori, towards open systems. An open system is an independently developed system, which is able to communicate and cooperate with other open systems in an ad-hoc manner, at runtime. Moreover, due to their openness, such systems may be used in various contexts. Whenever...
Dynamically programmable data probes assist in solving verification issues of autonomous systems. Data probes can be programmed to monitor timed sequences of system data, to check system properties, and to stimulate and control autonomous systems. We present several probe programs to inspect and check various aspects of a safety invariant during a mobile robot's task execution. We report on experience...
A new medical system platform utilizing a see-saw commander/follower architecture will be presented. This architecture provides for a high level of therapy control and safety via a supervisory exchange mechanism (see-saw) at various operational phases. During the performance of various functions, one system element obtains supervisory control and acts as the commander while other modules continue...
Aircraft flight control systems are complex systems to verify, especially considering the amount of software and hardware involved. One such flight control system is the High Lift System which provides the fundamental aircraft function of increasing wing lift. UTC Aerospace Systems provides complete "stick to surface" High Lift Actuation Systems for large commercial aircraft as well as smaller...
Massive electricity infrastructure development in Indonesia under the 35 GW program makes TJBB as a part of PT PLN (Persero) not only carry out the operation and maintenance of existing assets but also undertake the construction of new assets as well as the development of existing assets. However, it is difficult to perform those roles with several problems i.e. old and very old primary equipment...
Recently, industry demands systematic safety management to decrease accident rates. However, existing safety management in industry worksites depends on a small number of safety supervisors. In particular, in case of shipbuilding industry, thousands of workers are working concurrently in wide areas of worksites. Therefore, choosing and monitoring high risk zones by priority at current status in time...
The development of self-adaptive system is challenging due the complexity of modeling the system adaptations. Autonomy Requirements Engineering (ARE) tackles this challenge by eliciting and specifying the autonomy requirements. ARE is a type of a goal-oriented requirements engineering method that helps model the system objectives with generic autonomy requirements. ARE provides a potential requirements...
Safety instrumented systems (SIS) are designed to prevent the occurrence or mitigate the consequences of potentially hazardous events. The failure of SISs to achieve their assigned functions could result in huge consequences with respect to both (i) the safety of the monitored system (dangerous failures) as well as (ii) its production availability due to false trips (safe failures). The aim of this...
In the paper, principles of constructing systems of information support of human-operators (IOSS) of power units of nuclear power plants (NPP) and their place within the system of upper unit-level of automated process control systems (APCS) of NPP. The purpose of implementation of the NPP IOSS is preventing or decreasing the frequency and heaviness of operator errors appearing under transients and...
Internet of Things (IoT) proved to have the potential to transform the industrial and consumer's environment. Radio Frequency Identification (RFID) technology, as a primary stage of IoT, has been successfully integrated in the continuous deployment tracking-aiming solutions included into pervasive networks. Three software applications dealing with RFID-based applications for real-time localization...
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.