• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.64 no.3
• /
• pp.138-142
• /
• 2015

Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.381-384
• /
• 2007

RF 신호 강도인 RSSI(Received Signal Strength indication)를 이용해 지역화를 하는 방법론이나 알고리즘은 많이 연구되어 왔다. 그러나 대다수의 연구에서 추가적인 장비를 요구하거나, 복잡한 시스템 환경을 필요로 한다. 본 논문에서는 일반적인 무선랜 환경을 사용할 수 있는 노트북에서, Windows 기반의 802.11의 RSSI를 이용해 지역화를 수행하였다. IEEE 802.11의 네트워킹 구성을 한 센서노드들 중에 AP(Access Point) 역할을 하는 한 개의 고정노드(Anchor)를 중심으로 다수의 움직일 수 있는 모바일 노드들의 위치를 추적해가는 방법이며, Anchor가 많아지거나 모바일 노드가 늘어나면 지역화의 정확도는 증가하게 된다. 이 방법은 일반적인 802.11의 무선랜 환경이 가능한 랩톱에서도 쉽게 적응이 가능하며, 부가적인 장비의 의존성이 전혀 없고 소프트웨어 적인 방법론으로 해결하였다. 또한 지역화가 가능함과 동시에 각각의 센서 노드들은 802.11을 이용한 데이터 송수신이 가능하다. 본 논문에서는 MS의 Windows 플랫폼 기반으로 테스트하였고, 효과적으로 Beacon 패킷을 송출하기 위한 해법을 제시한다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.4 no.4
• /
• pp.164-173
• /
• 2009

Automotive systems have tended to be equipped with many electronic contents to satisfy safety, comport, convenience, and entertainment services over the past years. As a result, the amount of vehicle embedded software in electrical/electronic(E/E) systems is steadily increasing to manage these requirements. This leads to the traditional, document-based software development in the vehicle embedded systems being increasingly displaced by a model-based development in order to reduce software development time and cost. Due to the application of model-based development, a great evolution is being realized in the aspect of efficiency, but the development is being made without sufficient testing. So, erroneous automotive embedded software may cause serious problems such as car accidents which relate to human safety. Therefore, efficient methods for model-based test and validation are needed to improve software reliability in the stage of embedded software development. This paper presents the model-based development and test method for AUTOSAR embedded software to improve its reliability and safety, and it is demonstrated based on the case study.

• Journal of IKEEE
• /
• v.24 no.2
• /
• pp.486-491
• /
• 2020

ARM Cortex-M0 DesignStart provided by ARM is cost-free design development suit targeting for designing and prototyping SoC with Cortex-M0 core. In this paper, we presents a method how to implement a custom system design using ARM Cortex-M0 DesignStart. First, hardware elements for ARM Cortex-M0 DesginStart is analyzed focusing on bus and memory map, and next software toolchain is explained to clarify the translating process from high level language to binary machine language. As an example of the custom system, UART system operated with Cortex-M0 is designed and simulated.

• Journal of IKEEE
• /
• v.22 no.3
• /
• pp.578-584
• /
• 2018

Image segmentation has been presented in the various method in image interpretation and recognition, and the image is using separate the characteristics of the specific purpose. In this paper, we proposed an algorithm that separate image for feature points detected to high temperature in a Thermal infrared image. In order to improve the processing time, the proposed algorithm is implemented to FPGA Hardware Block using the Zynq-7000 Evaluation Board environment. The proposed High-Temperature Detection Algorithm and total FPGA blocks show a decrease of a processing time result from 16ms to 0.001ms, and from 50ms to 0.322ms respectively. It is also verified similar results of the PSNR to comparing software thermal testbench and hardware ones.

• 한국HCI학회:학술대회논문집
• /
• 2006.02b
• /
• pp.474-479
• /
• 2006

교수학습 사이트는 교과 교육 지원이라는 특성상 그 서비스 개선에 있어서 사용자 중심적 디자인이 특히 요구된다. 기존 웹사이트 개선 연구는 단순히 웹사이트와 사용자 간의 인터랙션에서 발생하는 문제점에 초점을 맞추어 왔는데 사용자의 근본적인 니즈를 발견하고 만족시키기 위해서는 웹사이트 사용 정황의 이해라는 보다 확대된 개념에서의 접근이 필요하다. 따라서 본 연구에서는 웹사이트의 문제점 발견 및 사용자의 근본적 니즈 파악을 위하여 오프라인과 온라인 환경에 걸친 사용자 경험 관찰 프로세스를 기획하고 교수학습 사이트 서비스 개선을 위해 이를 적용하였다. 사이트 비지팅(Site Visiting), 비디오 에쓰노그라피(Video Ethnography), 사용자 다이어리 및 셀프카메라(User diary and Self camera), 그리고 인터뷰 기법이 현장 조사에서 이용되었으며 원격 사용성 평가 소프트웨어를 활용한 사용성 평가 및 카드소팅 테스트가 온라인 환경에서 진행되었다. 관찰 후 분석을 통해 교수학습 사이트의 새로운 컨텐츠 및 서비스 방향을 도출할 수 있었으며 웹사이트 사용자 경험 관찰 방법론 정립에의 가능성을 제시하였다.

• Journal of KIISE:Software and Applications
• /
• v.31 no.10
• /
• pp.1418-1429
• /
• 2004

This paper presents GrammE, a grammar development environment for feature-based APSG. At the stage of a grammar development, analysis are be done by interpreting the grammar under development, given in a text format, it is relatively easy to diagnose the grammar. Once developed, the grammar is compiled, by using the embedded grammar compiler, into a parser program written in $C^{++}$. The parser program can be used in various types of natural language processing systems requiring syntactic analysis. GrammE is language-independent, and so far has been used for the development of Korean and Chinese grammars.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.3
• /
• pp.1691-1699
• /
• 2014

IEEE developing WAVE specifications are able to support V2V and V2I wireless communications, and these functionalities can be used to enhance vehicle operational safety. To overcome any security weaknesses that are inherent in wireless communications, WAVE specification should support message encryption and authentication functions. In this study, we have implemented WAVE security algorithms in IEEE P1609.2 with openssl library and C language. We have verified the normal operation of implemented software, using the test vectors of related specifications, and measured their performance. Our software is platform independent, and can be used for the full implementation of WAVE specification.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.6
• /
• pp.533-541
• /
• 2017

Recently, with the adoption of modern computing and communication technologies, manufacturing systems have become more autonomous and intelligent. Thus, as the number of field devices with smart sensors also increase, the need for an integrated management of such devices becomes essential. This paper proposes a smart encoder architecture that integrates the position sensing function with CANopen connectivity. In addition, an integrated system is proposed to simultaneously control and monitor multiple encoders over the Controller Area Network (CAN) fieldbus network. We evaluated the performance and functionalities of the proposed system by comparative experiments with commercial CANopen smart encoders using a CANopen conformance test.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.32 no.9
• /
• pp.41-48
• /
• 2004

In this work, a domain-wise hash structure is developed for efficient data handling, and by using the developed domain-wise hash structure, an automatic triangular mesh generation algorithm is proposed. To generate the optimal nodal points and triangles efficiently, the advancing layer method and Delaunay triangulation method are utilized. To investigate the performance of the proposed algorithm, benchmarking tests are carried out for various models including convex, concave and complicated shapes through the developed object oriented C++ mesh generation code.