• International Journal of Safety
• /
• 제8권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.

• 비파괴검사학회지
• /
• 제27권2호
• /
• pp.124-133
• /
• 2007

본 연구에서는 섬유 광학의 감지 장치 중 하나인 FBG 센서 및 시스템에 관하여 검토하였다. FBG 센서의 문제는 매우 가늘고 약하다는 것이다. 이를 위해 충격과 같은 외부의 요인으로부터 FBG 센서를 보호할 수 있는 방법을 다각적으로 모색하였다. 철근을 대체할 수 있는 FRP 복합재에 FBG 센서를 삽입하여 실험을 실시하여 그 결과를 검토하였으며, 삽입되기 전의 자연스러운 Fiber 상태와 비교 분석하였다. 이 연구에서 철근 대용 복합재료에 삽입된 FBG 센서는 기존의 삽입되지 않은 일반 광섬유센서와 비교 시, 복합재료의 보강효과에 의해 최대 변형률이 기존보다 크게 나타났으며, 내구성 측면에서도 좋은 성능을 발휘할 것으로 예상된다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권12호
• /
• pp.641-652
• /
• 2016

본 논문은 임베디드 시스템 테스트를 위해 산업현장에서 많이 사용하는 체크리스트를 기반으로 테스트 스크립트를 자동으로 생성하기 위한 방법을 제안한다. 제안하는 방법은 수동 생성에서 발생할 수 있는 오류를 줄일 수 있을 뿐만 아니라, 기존의 체크리스트로는 테스트하지 못하는 다양한 모드 조합을 테스트하기 위한 테스트 스크립트도 생성할 수 있다. 체크리스트에 있는 테스트 명령어는 테스트 명령어 사전에 정의된 신호 값을 참조하여 테스트 스크립트로 변환된다. 또한, 체크리스트를 정의된 일련의 연관된 동작의 집합인 모드들 간의 동작을 확인할 수 있게 하는 순차적, Double permutation 및 무작위 방법으로 테스트 스크립트를 생성할 수 있는 방법을 제안한다. 제안된 방법은 구현되었고, 실험을 통해 그 가능성을 보여준다.

• 전자공학회논문지SC
• /
• 제47권6호
• /
• pp.73-79
• /
• 2010

지능형 자동차의 개발 및 보급 확대에 따라 차량용 시스템에 전기 전자 소프트웨어 모듈의 비중이 늘어나고 있다. 따라서 이러한 모듈을 포함하는 전자 제어 장치가 증가하게 되고, 소프트웨어와 시스템 장치 간의 상호 연동이 요구된다. 그렇지만 임베디드 플랫폼 간의 인터페이스가 표준화 되어 있지 않아 개발 및 통합이 어려운 실정이다. AUTOSAR 표준화 연구는 유럽의 자동차 제조업체와 부품 제조업체의 공동 협력 결과물로, 차량용 소프트웨어 플랫폼의 산업 표준을 제공한다. 본 연구의 이전 결과물로 AUTOSAR 플랫폼을 지원하는 RTE 코드 생성기 도구를 개발하였다. 본 논문에서는 테스트 과정을 통해 RTE 생성기의 동작 환경 및 표준 플랫폼 지원 결과를 분석하였다. 실험 결과, 코드 생성기가 표준 규격의 요구사항과 방법론에 맞게 파일을 생성함을 확인할 수 있었다.

• Corrosion Science and Technology
• /
• 제6권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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권8호
• /
• pp.401-410
• /
• 2017

본 논문에서는 임베디드 시스템 테스트에 많이 사용되는 테스트 항목이 기술된 체크리스트를 기반으로 테스트 케이스를 자동으로 생성하기 위한 방법을 제안한다. 일반적으로 체크리스트에는 테스트하고자 하는 항목이 정의되어 있다. 하지만 대부분의 테스트 케이스 생성 전략에서는 테스트 하고자하는 항목뿐만 아니라 다양한 변이 조건에서도 테스트하기를 권하고 있다. 제안하는 방법은 한글로 기술된 체크리스트를 분석하여 시스템 입출력과 연산 정보를 찾아낸다. 그리고 찾아낸 정보와 설정하는 테스트 케이스 생성 전략에 따라 테스트 케이스를 자동으로 생성한다. 이 방법은 테스트 케이스를 수동으로 생성할 때, 일으킬 수 있는 오류를 줄일 수 있을 뿐만 아니라, 체크리스트에는 기술되지 않는 다양한 변이 테스트 케이스도 생성할 수 있다. 제안된 방법은 구현되고, 실제 의료기기용 임베디드 시스템의 체크리스트를 사용하여 실험을 진행한다. 실험에서는 체크리스트로부터 여러 커버리지에 적절한 테스트 케이스가 오류 없이 통계적으로 정확히 생성되었음을 확인할 수 있어서 제안된 방법의 유용성을 보여준다.

• 제어로봇시스템학회논문지
• /
• 제14권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권11호
• /
• pp.1015-1024
• /
• 2003

[1]에서 우리는 내장 소프트웨어의 시나리오들을 합성하여 테스트 모델 (GFSM)을 구하는 방법을 제안하였다. 이때 사용된 각각의 시나리오는 내장 소프트웨어가 받아들이는 외부 입력 사건에 대한 태스크들 사이의 상호작용을 기술하고 있다. 외부 입력 사건은 선택적 또는 병행적으로 발생할 수 있는데, [1]에서는 선택적인 관계만을 고려하였다. 본 논문에서는 병행적 시나리오들을 합성하여 GFSM을 생성할 때 발생하는 전이 수의 급격한 증가를 줄이기 위한 방법을 제안한다. 비동기적 메시지 전송을 수행하는 태스크들의 행위를 보존하도록 하면서 동기적으로 해석함으로써 GFSM의 전이 수를 줄이고, 또한 시나리오 기술에 사용된 MSC 명세로부터 독립 구역을 자동으로 찾아내어 인터리빙의 수를 줄이는 방법을 제안한다. 독립 구역은 최종 시스템의 상태에 변화를 주지 않는 메시지 전송들을 포함한다. 제안된 방법을 디지털 TV 소프트웨어의 시나리오에 적용하여 전이 수의 감소 효과를 얻을 수 있었다.

• 대한의생명과학회지
• /
• 제22권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
• /
• 제18권4호
• /
• pp.1-7
• /
• 2005

삽입된 광섬유 브래그 격자(fiber Bragg grating, FBG) 센서를 이용하여 수압시험 동안에 필라멘트 와인딩 된 복합재료 압력탱크의 실시간 구조 건전성 모니터링을 수행하였다. 일반적으로 압력탱크의 내부와 외부의 유한요소해석 결과는 변형률과 응력 모두 큰 차이를 보인다. 그러므로, 압력탱크의 건전성을 검증하기 위해서는 운용 중 탱크 내부의 변형률 값을 정확하게 측정해야 한다. 여러 광섬유 센서 중 FBG 센서는 변형률 게이지에 비해 구조물에 삽입이 용이하고 많은 수의 센서를 한 가닥의 광섬유에 파장 분할 다중화(wavelength division multiplexing, WDM) 기법을 통해 쉽게 다중화 할 수 있다. 본 연구에서는 다중화 된 FBG 센서를 삽입한 표준압력용기(standard testing and evaluation bottle, STEB)를 제작하고 수압시험을 수행하였다. 삽입된 센서의 생존율을 높이기 위해 격자 부분에 대한 보강법을 포함한 새로운 삽입 적용 기법을 고안하였다. 제작된 탱크에 대한 수압 시험을 통해 FBG 센서가 필라멘트 와인딩 된 복합재 압력탱크의 건전성 모니터링을 위해 성공적으로 삽입 적용될 수 있음을 확인하였다.