• International Journal of Safety
• /
• v.8 no.2
• /
• pp.31-36
• /
• 2009

In accordance with the development of recent computer technology, railway signaling software became more complex for the intellectualization. Therefore the importance and dependency of railway signaling system on the computer software is getting more increased further, and the testing for the safety and reliability of railway signaling system software became more important. It is started to become influential as very important issue for the reliability and safety of vital embedded software like railway signaling system. The software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, for the safety of software, and must be checked. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its applied result for railway signaling system software. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.27 no.2
• /
• pp.124-133
• /
• 2007

In our research, we focused on the FBG sensor system which is one of the fiber optic sensor system. The FBG sensor system is used for structural measurements. The problem of FBG sensor is very thin and weak. The methods that can protect FBG optical fiber sensor front outside forces such as the impacts are investigated. The FBG sensor embedded in the fiber reinforced composites which can replace the reinforcing steel bars in concretes can be applied to the concrete structures by embedding to the composite materials. The progresses in tensile strength of FBG sensor embedded in the reinforcing FRP bars in the concrete structures compare to plain FBGs were observed and the good long term durability is expected.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.641-652
• /
• 2016

This paper proposes a method to generate test scripts in an automatic manner, based on checklist used for testing embedded systems in the fields. The proposed method can reduce the mistakes which may be introduced during manual generation. In addition, it can generate test scripts to test various mode combinations, which is not possible to be tested by the typical checklist. The test commands in a checklist are transformed into a test script suit referencing the signal values defined in a test command dictionary. In addition, the method to generate test scripts in sequential, double permutation and random manners is proposed useful to test the inter-operations between modes, a series of operations for a specific behavior. The proposed method is implemented and the feasibility is shown through the experiments.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.6
• /
• pp.73-79
• /
• 2010

The number of electronic embedded software in vehicle system is ever increasing for years. As a result, the electronic control units have been growing dramatically, and it is required to mutual link between these units. Due to separate API each and every embedded platform, it is difficult to develop and integrate in automotive industry. The AUTOSAR project consists suppliers and manufacturers, and the partnership is a standardized platform to establish and develop an industry standard. On the previous works, we implemented the RTE generated module design based on AUTOSAR architecture. This paper specifically focuses on the testing of the development tool that generates RTE source code. The result satisfied a need for a RTE requirements and AUTOSAR methodology in a vehicle applications.

• Corrosion Science and Technology
• /
• v.6 no.5
• /
• pp.261-268
• /
• 2007

Embedded sensors were used as an in-situcorrosion-sensing device for aircraft and vehicular structures protected by organic coatings. Results are presented changes associated with a standard Airforce aircraft coating and a standard Army vehicle coating were monitored by embedded sensors. These coatings consisted of a polyurethane topcoat and an epoxy primer, however are formulated to provide different characteristics. The ac-dc-ac testing method was used to accelerate the degradation of these coatings while being immersed in a NaCl medium. Electrochemical impedance spectroscopy and electrochemical noise measurement experiments were used to monitor the induced changes. A comparison of the results between coatings subjected to the ac-dc-ac exposure and coatings subjected to only constant immersion in the NaCl medium is presented. The results were used to demonstrate the effectiveness of the ac-dc-ac method at accelerating the degradation of an organic coating without observably changing the normal mechanism of degradation. The data highlights the different features of the coating systems and tracks them while the coating is being degraded. The aircraft coating was characterized by a high-resistant topcoat that can mask corrosion/primer degradation at the primer/substrate interface whereas the vehicle coating was characterized by a low-resistant topcoat with an effective corrosion inhibiting primer. Details of the ac-dc-ac degradation were evaluated by using an equivalent circuit to help interpret the electrochemical impedance data.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.401-410
• /
• 2017

This paper proposes a method to generate test cases in an automatic manner, based on checklist containing test cases used for testing embedded systems. In general, the items to be tested are defined in a checklist. However, most test case generation strategies recommend to test a system with not only the defined test items but also various mutated test conditions. The proposed method parses checklist in Korean file and figures out the system inputs and outputs, and operation information. With the found information and the user defined test case generation strategy, the test cases are automatically generated. With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated. The proposed method is implemented and the experiment is performed with the checklist for an medical embedded system. The feasibility of the proposed method is shown through the test cases generated from the checklist. The test cases are adequate to the coverages and their statistics are correct.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.301-306
• /
• 2008

Drivers are becoming more fatigued and uncomfortable with increase in traffic density, and this condition can lead to slower reaction time. Consequently, they may face the danger of traffic accidents due to their inability to cope with frequent gear shifting. To reduce this risk, some drivers prefer automatic transmission (AT) over manual transmission (MT). The AT offers more superior drivability and less shifting shock than the MT; therefore, the AT market share has been increasing. The AT is controlled by an electronic control unit (ECU), which provides better shifting performance. The transmission control unit (TCU) is a higher-value-added product, so the companies that have advanced technologies end to evade technology transfer. With more cars gradually using the ECU, the TCU is expected to be faster and more efficient for organic communication and arithmetic processing between the control systems than the l6-bit controller. In this paper, the model of an automatic transmission vehicle using MATLAB/Simulink is developed for the Hardware in-the-Loop (HIL) simulation with a 32-bit embedded system, and also the AT control logic for shifting is developed by using MATLAB/Simulink. The developed AT control logic, transformed automatically by real time workshop toolbox, is loaded to a 32-bit embedded system platform based on Freescale's MPC565. With both vehicle model and 32-bit embedded system platform, we make the HIL simulation system and HIL simulation of AT based on real time operating system (RTOS) is performed. According to the simulation results, the developed HIL simulator will be used for the performance test of embedded system for AT with low cost and effort.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1015-1024
• /
• 2003

In [1] we proposed a method to generate a test model (GFSM) from a set of scenarios of embedded software. Each scenario describes the interaction sequences for an external input event. Although these external events are generated and accepted alternatively and concurrently by embedded software, we considered only the alternative relations. In this paper, we describe an improved algorithm to generate GFSM from concurrent scenarios, and propose methods to reduce the number of transitions in the GFSM. The first is the synchronous interpretation of message passing instead of asynchronous one considering the real behavior of tasks in embedded software. The others apply the partial order techniques to the GFSM using independent regions. We apply the method to generate a reduced GFSM of embedded software running on a digital TV.

• Biomedical Science Letters
• /
• v.22 no.3
• /
• pp.98-106
• /
• 2016

Investigation of human papillomavirus (HPV) in archival formalin-fixed paraffin-embedded (FFPE) material is important for understanding cervical carcinogenesis. The objective of the present study was to identify the high risk HPVs (HR-HPVs) using HPV E6/E7 mRNA testing from archival tissues in cervical cancer and the relation to HR-HPVs genotypes in paired cervical exfoliated cells. HPV E6/E7 mRNA testing and DNA chip testing were performed in 79 paired cervical FFPE tissues and exfoliated cells from women with histologically confirmed squamous cell carcinoma and adenocarcinoma. Overall agreement in HR-HPVs detection from FFPE samples and cytology samples were 98.5% in HPV 16, 100% in HPV 18, HPV 31, HPV 33, HPV 58, HPV 66, and HPV 68. Type-specific agreement between FFPE samples and cytology samples was 89.1% in HPV positive, 93.5% in HPV 16 and more than 70% in the other HR-HPVs. In conclusion, HR-HPVs were reliably detected in paired FFPE and cytology samples with some variation in type-specific detection.

• Composites Research
• /
• v.18 no.4
• /
• pp.1-7
• /
• 2005

In-situ structural health monitoring of filament wound pressure tanks were conducted during water-pressurizing test using embedded fiber Bragg grating (FBG) sensors. We need to monitor inner strains during working in order to verify the health condition of pressure tanks more accurately because finite element analyses on filament wound pressure tanks usually show large differences between inner and outer strains. Fiber optic sensors, especially FBG sensors can be easily embedded into the composite structures contrary to conventional electric strain gages (ESGs). In addition, many FBG sensors can be multiplexed in single optical fiber using wavelength division multiplexing (WDM) techniques. We fabricated a standard testing and evaluation bottle (STEB) with embedded FBG sensors and performed a water-pressurizing test. In order to increase the survivability of embedded FBG sensors, we suggested a revised fabrication process for embedding FBG sensors into a filament wound pressure tank, which includes a new protecting technique of sensor heads, the grating parts. From the experimental results, it was demonstrated that FBG sensors can be successfully adapted to filament wound pressure tanks for their structural health monitoring by embedding.