• ETRI Journal
• /
• v.18 no.4
• /
• pp.245-264
• /
• 1997

This paper presents a formalism-based methodology and its implemented environment which constitutes a sound framework for real-time systems development. The software and/or hardware systems developed in such a formal manner are well structured and maintainable. We first propose a set-theoretic VSSS (Variable Structure System Specification) formalism. This formalism is the core of the presented methodology which supports a means of formal specification for real-time systems. We then develop the environment, including VSSS language definition, a translator for the language, and supporting libraries for real-time execution. Finally, a demonstration of the methodology in development of a real-time event manager, a subsystem of an ATM-based communication system, shows the correctness and efficiency of the methodology.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.1
• /
• pp.78-101
• /
• 2017

High-quality industrial control is critical to ensuring production quality, reducing production costs, improving management levels and stabilizing equipment and long-term operations. WiFi-based Long Distance (WiLD) networks have been used as remote industrial control networks. Real-time performance is essential to industrial control. However, the original mechanism of WiLD networks does not minimize end-to-end delay and restricts improvement of real-time performance. In this paper, we propose two algorithms to obtain the transmitting/receiving phase cycle length for each node such that real time constraints can be satisfied and phase switching overhead can be minimized. The first algorithm is based on the branch and bound method, which identifies an optimal solution. The second is a fast heuristic algorithm. The experimental results show that the execution time of the algorithm based on branch and bound is less than that of the heuristic algorithm when the network is complex and that the performance of the heuristic algorithm is close to the optimal solution.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.10
• /
• pp.940-946
• /
• 2004

In this paper, an efficient real-time control architecture for autonomous navigation of powered wheelchair is developed. Since an advanced intelligent wheelchair requires real-time performance, the control software architecture of powered wheelchair is developed under Linux real-time extension Real-time Application Interface (RTAI). A hierarchical control structure for autonomous navigation is designed and implemented using real-time processe and interrupts handling of sensory perception based on slanted surface LRF, emergency handling capability, and motor control with 0.1 msec sampling time. The performance of our powered wheelchair system with the implemented control architecture for autonomous navigation is verified via experiments in a corridor.

• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.1
• /
• pp.134-142
• /
• 2021

This paper proposes a probabilistic method in analyzing timing measurements to determine the periodicity of real-time tasks. The proposed method fills a gap in existing techniques, which either concentrate on the estimation of worst-case execution times, or do not consider the stochastic behavior of the real-time scheduler. Our method is based on the Z-test statistical analysis which calculates the probability of the measured period to fall within a user-defined standard deviation limit. The distribution of the measured period should satisfy two conditions: its center (statistical mean) should be equal to the scheduled period of the real-time task, and that it should be symmetrical with most of the samples focused on the center. To ensure that these requirements are met, a data adjustment process, which omits any outliers in the expense of accuracy, is presented. Then, the Z-score of the distribution according to the user-defined deviation limit provides a probability which determines the periodicity of the real-time task. Experiments are conducted to analyze the timing measurements of real-time tasks based on real-time Linux extensions of Xenomai and RT-Preempt. The results indicate that the proposed method is able to provide easier interpretation of the periodicity of real-time tasks which are valuable especially in comparing the performance of various real-time systems.

• Smart Structures and Systems
• /
• v.4 no.6
• /
• pp.809-828
• /
• 2008

Real-time hybrid testing is an attractive method to evaluate the response of structures under earthquake loads. The method is a variation of the pseudodynamic testing technique in which the experiment is executed in real time, thus allowing investigation of structural systems with time-dependent components. Real-time hybrid testing is challenging because it requires performance of all calculations, application of displacements, and acquisition of measured forces, within a very small increment of time. Furthermore, unless appropriate compensation for time delays and actuator time lag is implemented, stability problems are likely to occur during the experiment. This paper presents an approach for real-time hybrid testing in which time delay/lag compensation is implemented using model-based response prediction. The efficacy of the proposed strategy is verified by conducting substructure real-time hybrid testing of a steel frame under earthquake loads. For the initial set of experiments, a specimen with linear-elastic behavior is used. Experimental results agree well with the analytical solution and show that the proposed approach and testing system are capable of achieving a time-scale expansion factor of one (i.e., real time). Additionally, the proposed method allows accurate testing of structures with larger frequencies than when using conventional time delay compensation methods, thus extending the capabilities of the real-time hybrid testing technique. The method is then used to test a structure with a rate-dependent energy dissipation device, a magnetorheological damper. Results show good agreement with the predicted responses, demonstrating the effectiveness of the method to test rate-dependent components.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• v.4B no.3
• /
• pp.146-152
• /
• 2004

Cost effective simulation schemes for Wind Power Generation Systems (WPGS) considering wind turbine types, generators and load capacities have been strongly investigated by researchers. As an alternative, a true weather condition based simulation method using a real-time digital simulator (RTDS) is experimented in this paper for the online real-time simulation of the WPGS. A stand-alone WPGS is, especially, simulated using the Simulation method for WPGS using Real Weather conditions (SWRW) in this work. The characteristic equation of a wind turbine is implemented in the RTDS and a RTDS model component that can be used to represent any type of wind turbine in the simulations is also established. The actual data related to weather conditions are interfaced directly to the RTDS for the purpose of online real-time simulation of the stand-alone WPGS. The outcomes of the simulation demonstrate the effectiveness of the proposed simulation scheme. The results also signify that the cost effective verification of efficiency and stability for the WPGS is possible by the proposed real-time simulation method.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.11
• /
• pp.21-27
• /
• 2019

Recently, embedded systems have been introduced in various fields such as smart factories, industrial drones, and medical robots. Since sensor data collection and IoT functions for machine learning and big data processing are essential in embedded systems, it is essential to port the operating system that is suitable for the function requirements. However, in embedded systems, it is necessary to separate the hard real-time system, which must process within a fixed time according to service characteristics, and the flexible real-time system, which is more flexible in processing time. It is difficult to port the operating system to a low-performance embedded device such as 8BIT MCU to perform simultaneous real-time. When porting a real-time OS (RTOS) to a low-specification MCU and performing a number of tasks, the performance of the real-time and general processing greatly deteriorates, causing a problem of re-designing the hardware and software if a hard real-time system is required for an operating system ported to a low-performance MCU such as an 8BIT MCU. Research on the technology that can process real-time processing system requirements on RTOS (ported in low-performance MCU) is needed.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10a
• /
• pp.346-349
• /
• 1996

In this paper development of a CAD of control systems is introduced which enables us to do not only analysis of control systems, design of controllers but also real-time implementation of controllers. By utilizing this software, the control engineer is able to repeat the procedure of modification of controllers and experiments without recompile to attain better performance. The software also offers the facility to update the parameters of controllers without stopping real-time control, which helps on-line tuning of controllers. If some parameters of the controller is changed on-line, the control input may change discontinuously. It has serious effect on the control systems. A method for on-line tuning of state feedback controller with state observer is proposed and verified through the experiment with an inverted pendulum.

• Journal of Information Processing Systems
• /
• v.1 no.1 s.1
• /
• pp.9-13
• /
• 2005

Computer security has become a critical issue with the rapid development of business and other transaction systems over the Internet. The application of artificial intelligence, machine learning and data mining techniques to intrusion detection systems has been increasing recently. But most research is focused on improving the classification performance of a classifier. Selecting important features from input data leads to simplification of the problem, and faster and more accurate detection rates. Thus selecting important features is an important issue in intrusion detection. Another issue in intrusion detection is that most of the intrusion detection systems are performed by off-line and it is not a suitable method for a real-time intrusion detection system. In this paper, we develop the real-time intrusion detection system, which combines an on-line feature extraction method with the Least Squares Support Vector Machine classifier. Applying the proposed system to KDD CUP 99 data, experimental results show that it has a remarkable feature extraction and classification performance compared to existing off-line intrusion detection systems.

• International journal of advanced smart convergence
• /
• v.11 no.3
• /
• pp.56-63
• /
• 2022

Cyber-physical systems (CPSs) can solve real problems by utilizing closely connected resources in the cyber world. Most problems arise because the physical world is uncertain and unpredictable. To address this uncertainty, information pouring from numerous devices must be collected in real-time, and each interconnected device must share the information. At this time, CPS must meet timing-related techniques and strict timing constraints that can deliver accurate information within predefined deadlines in order to interact closely beyond simply connecting the cyber and physical worlds. Timing errors in safety-critical systems, such as automobiles, aviation, and medical systems, can lead to catastrophic disasters. In this paper, we classify timing problems into two types: real-time delay and synchronization problems. The results of this study can be used in the entire process of CPS system design, implementation, operation, verification, and maintenance. As a result, it can contribute to securing the safety and reliability of CPS.