• Journal of Information Processing Systems
• /
• v.15 no.6
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.2
• /
• pp.317-320
• /
• 2022

This paper studies real-time error in the context of monitoring a symmetric binary information source over a delay system. To obtain the average real-time error, the delay system is modeled and analyzed as a discrete time Markov chain with a finite state space. Numerical analysis is performed on various system parameters such as state transition probabilities of information source, transmission times, and transmission frequencies. Given state transition probabilities and transmission times, we investigate the relationship between the transmission frequency and the average real-time error. The results can be used to investigate the relationship between real-time errors and age of information.

• The Journal of the Korea Contents Association
• /
• v.18 no.3
• /
• pp.101-113
• /
• 2018

Systems such as military inspection equipment which it is important to acquire and evaluate data in real-time should be able to real-time processing at the operating system level. As technology advances, there is a demand for replacing existing equipment with mobile device, but mobile devices with Android are not suitable for systems requiring real-time performance. On Android, garbage collection ensures free memory, while other tasks are interrupted while this task is performed, which cannot guarantee periodicity of particular tasks. In this paper, we designed and implemented a structure to control execution garbage collection of Android to solve this problem. Real-time performance is ensured by controlling garbage collection during the time required for real-time operation, and RTiK(Real-Time implanted Kernel) is applied to ensure real-time performance on Android. In order to evaluate the performance, we measured the call period of the 5ms period task, and, only 34.31% of the task was guaranteed before the control, but the task period of 98.18% was satisfied through control, providing real-time performance to Android.

• Journal of the Korean Professional Engineers Association
• /
• v.25 no.3
• /
• pp.76-84
• /
• 1992

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.6
• /
• pp.1365-1376
• /
• 1997

In this paper, we designed real time mechanism control language and proposed execution time analysis technique. It was impossible to handle real-time mechanism control programs like programmable controller, numerical controller, distributed control system and robot controller with general purpose programming languages and operating systems because they have to process electric signals generated by thousands of sensors at the same at the same time and in real time. So we made it possible to predict plausibility of time constraint constructs of tiem constraint construct of a real time application program at compilation time by adding time constraint constructs and mechanism synchronization structure to conditional statement and iteration statement of a programming language and developing execution time analysis technique.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.7 no.6
• /
• pp.311-321
• /
• 2012

When developing a CPS, since it is nature of CPS to interact with a physical system, CPS should be verified during its development process by real-time simulation supporting timely interactions between the simulator and existing implemented hardwares. Furthermore, when a part of a simulated system is implemented to real hardwares, i.e., incremental development, the simulator should aware changes of the simulated system and apply it automatically without manual description of the changes for effective development. For this, we suggest a real-time simulation framework including the concept of 'port' which abstracts communication details between the tasks, and a scheduling algorithm for guaranteeing 'real-time correctness' of the simulator.

• Journal of Electrical Engineering and Technology
• /
• v.5 no.1
• /
• pp.61-69
• /
• 2010

This paper presents a study of a DFIG wind power generation system for real-time simulations. For real-time simulations, the Real-Time Digital Simulator (RTDS) and its user friendly interface simulation software RSCAD are used. A 2.2MW grid-connected variable speed DFIG wind power generation system is modeled and analyzed in this study. The stator-flux oriented vector control scheme is applied to the stator/rotor side converter control, and the back-to-back PWM converters are implemented for the decoupled control. The real-wind speed signal extracted by an anemometer is used for a realistic, reliable and accurate simulation analysis. Block diagrams, a mathematical presentation of the DFIG and a control scheme of the stator/rotor-side are introduced. Real-time simulation cases are carried out and analyzed for the validity of this work.

• International conference on construction engineering and project management
• /
• 2015.10a
• /
• pp.321-323
• /
• 2015

Monitoring crane motion in real time is the first step to identifying and mitigating crane-related hazards on construction sites. However, no accurate and reliable crane motion capturing technique is available to serve this purpose. The objective of this research is to explore a method for real-time crane motion capturing and investigate an approach for assisting hazard detection. To achieve this goal, this research employed various techniques including: 1) a sensor-based method that accurately, reliably, and comprehensively captures crane motions in real-time; 2) computationally efficient algorithms for fusing and processing sensing data (e.g., distance, angle, acceleration) from different types of sensors; 3) an approach that integrates crane motion data with known as-is environment data to detect hazards associated with lifting tasks; and 4) a strategy that effectively presents crane operator with crane motion information and warn them with potential hazards. A prototype system was developed and tested on a real crane in a field environment. The results show that the system is able to continuously and accurately monitor crane motion in real-time.

• Journal of Food Hygiene and Safety
• /
• v.26 no.2
• /
• pp.114-119
• /
• 2011

In this study, two duplex real-time PCR approach with melting curve analysis is presented for the detection of Escherichia coli O157:H7, Listeria monocytogenes, Salmonella spp. and Staphylococcus aureus, which are important food-borne bacterial pathogens usually present in fresh and/or minimally processed vegetables. Reaction conditions were adjusted for the simultaneous amplification and detection of specific fragments in the ${\beta}$-glucuronidase (uidA, E. coli), thermonuclease (nuc, S. aureus), hemolycin (hly, L. monocytogenes) and tetrathionate reductase (ttr, Salmonella spp.) genes. Melting curve analysis using a SYBR Green I real-time PCR approach showed characteristic $T_m$ values demonstrating the specific and efficient amplification of the four pathogens; $80.6{\pm}0.9^{\circ}C$, $86.9{\pm}0.5^{\circ}C$, $80.4{\pm}0.6^{\circ}C$ and $88.1{\pm}0.11^{\circ}C$ for S. aureus, E. coli O157:H7, L. monocytogenes and Salmonella spp., respectively. For all the pathogens, the two duplex, real-time PCR was equally sensitive to uniplex real-time PCR, using same amounts of purified DNA, and allowed detection of 10 genome equivalents. When our established duplex real-time PCR assay was applied to artificially inoculated fresh lettuce, the detection limit was $10^3$ CFU/g for each of these pathogens without enrichment. The results from this study showed that the developed duplex real-time PCR with melting curve analysis is promising as a rapid and cost-effective test method for improving food safety.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.602-613
• /
• 2001

Recently, the computing has developing in distributed object computing environment for supporting a programming paradigm of distributed application requiring interoperability between heterogeneous clients and servers. It involves the complex networking and the object-oriented technologies for various multimedia application service. In this paper, we construct the real-time object group platform for solving the difficulties of managements of distributed objects and the real-time constraints by requiring for real-time service supporting of applications in distributed computing environment. The existing researches are being tried to only improving the performance of systems by using real-time CORBA itself, or modifying the part of CORBA compliance. Hence, we design a new model of real-time object group platform that can support the real-time requirement without modifying the ORB. The structure of our real-time object group analyzed and defined the requirement about object management and real-time application service sides. And the role of the components of real-time object group is divided into 2 classes for reducing the side effect of interoperability between management and service. Also, we considered how to transparently express the parameters of real-time properties for clients and developers of server's service objects. If the expression of real-time parameters is transparent, then the developer can easily extend the real-time parameters simply and flexibly. Therefore, in this paper we defined the role of components of platform and described functions of each component and designed and then implemented the real-time object group platform. Finally, we showed the execution procedures of implemented our platform for verifying the functionality.