• Journal of Information Processing Systems
• /
• 제2권3호
• /
• pp.137-142
• /
• 2006

A large portion of the embedded system development process involves the integration of hardware and software. Unfortunately, communication across the hardware/software boundary is tedious and error-prone to create. This paper presents an automatic hardware/software interface generation system. As the front-end of hardware/software co-design frameworks, a system designer defines XML specifications for hardware functions. Our system generates hardware/software interfaces including Device Driver, Driver API, and Device Controller from these specifications. Embedded software designers can easily use hardware just like system libraries. Our system reduces the mistakes and errors that can be occurred when a software programmer directly connects software to hardware, and supports balancing labors between hardware developers and software programmers. Moreover, this system can be used as the back-end for a hardware/software co-design framework.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권6호
• /
• pp.547-558
• /
• 2008

임베디드 시스템은 어플리케이션, OS 커널, 디바이스 드라이버, HAL, 하드웨어와 같은 이질적 계층들이 매우 밀접히 결합되어 있다. 임베디드 시스템은 제품 목적과 탑재된 하드웨어에 따라 맞춤 제작된다. 또한 점점 짧아지는 제품 주기 때문에 여러 업체의 소프트웨어, 하드웨어가 불안정한 상태에서 통합된다. 따라서 모든 계층에 결함 발생 확률이 높다. 임베디드 소프트웨어 개발자는 자신의 코드를 결함이 내재된 다른 계층들과 통합된 상태에서 테스트하며, 이 때문에 테스트해야 할 모든 영역을 테스트하였는지, 자신의 코드가 잘못된 건지, 통합된 다른 소프트웨어나 하드웨어에 문제가 있는 건 아닌지를 확신하기 힘들다. 본 논문은 임베디드 소프트웨어 개발자가 다양한 계층에 내재된 결함 위치와 원인을 추적할 수 있도록 하는 임베디드 소프트웨어 인터페이스 테스트 방안과 이를 구현한 자동화 도구 Justitia를 제안한다. 제안하는 기술은 개발자를 돕기 위한 이뮬레이터를 이용한 디버깅을 전문적인 테스팅으로 승화시킨 자동화 방안이다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.2116-2120
• /
• 2003

A frame buffer device is an abstraction for the graphic hardware. It allows application software to access the graphic hardware through a well-defined interface, so that the software doesn’t need to know anything about the low-level interface stuff. We develop a frame buffer driver for VIA’s CLE266 graphic system based on ‘Qplus’, an embedded linux operating system developed by ETRI. Then, it will be seen that our frame buffer system is applied to embedded solutions such as movie player and X server successfully.

• 한국지능시스템학회논문지
• /
• 제17권3호
• /
• pp.336-342
• /
• 2007

산업용 HMI(Human Machine Interface) 시스템은 공장 자동화의 주요 구성요소 중 하나로서 PLC와 연결되어 자동화 설비 또는 장치의 운전 상태를 감시하고 제어하는데 사용된다. 이러한 HMI는 주로 제조업체별로 특정한 시스템을 사용하고, 근거리에 위치하여 쓰이기 때문에 시스템 개발 시 많은 부하를 주게 되고 시스템 확장이 어려운 단점이 있다. 이에 본 논문에서는 오픈 소스인 임베디드 리눅스 기반에 멀티 플랫폼을 지원하는 Qt/Embedded와 무선 통신 모듈을 사용하여 터치패널형 산업용 HMI 소프트웨어 모듈을 설계 및 구현하였다. 이 모듈은 Qt가 지원되는 시스템이면 소스 수정 없이 사용할 수 있으며 무선 랜 모듈을 이용하여 시스템의 이동성 및 네트워크 구축 및 시스템 확장을 보다 유동성 있게 설계할 수 있다. 이에, 리눅스 기반의 무선통신이 가능한 HMI 소프트웨어 모듈 구현으로 이동성 확보 및 범용 운영체제의 사용으로 인한 시스템 개발 시 부하 감소와 가격 경쟁력의 향상을 이루게 되었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.323-339
• /
• 2010

임베디드 시스템은 오늘날 우리 일상에서 널리 사용되고 있고 그 중요성은 더욱 증대되고 있다. 이에 비례하여 임베디드 시스템의 복잡도와 이를 개발하려는 노력 또한 더욱 더 증가하고 있다. 하드웨어와 소프트웨어로 구성되어 있는 임베디드 시스템의 이질적인 특성은 시스템 개발 및 통합 시에 에러를 야기하는 주원인이 된다. 그 중에서도, 하드웨어와 소프트웨어 간의 인터페이스에서 발생하는 에러가 시스템 에러의 13%를 차지하고 있으며 이 비율은 더욱 증가하는 추세이다. 우리는 하드웨어와 소프트웨어 동시설계를 위한 실제적인 인터페이스 동시 검증 기법을 제안하고 이를 지원하는 도구를 구현하였다. 먼저, 이 논문은 하드웨어와 소프트웨어간의 상호작용을 기술할 수 있는 인터페이스 명세를 정의한다. 이 명세 방법은 하드웨어와 소프트웨어 서로간의 특성을 잘 표현할 수 있고, 소프트웨어 명세로부터 하드웨어 명세로의 변환이 가능하여 전체 시스템이 소프트웨어의 입장에서 기술될 수 있도록 한다. 둘째, 작성된 하드웨어 설계와 소프트웨어 설계에 대해 명시된 인터페이스의 의미대로 동작하는지를 검증하는 기법을 제시한다. 주어진 명세로부터 소프트웨어의 동작을 가정하고 이를 하드웨어 설계로 모델링하여 하드웨어 인터페이스에 대한 모델검증을 수행하고, 그 후 소프트웨어의 동작에 대해 검증을 수행하는 가정-보증 추론(assume-guarantee reasoning) 방식의 검증을 수행한다. 마지막으로 기존의 검증 연구들이 저수준의 인터페이스를 추상화하여 현실적 적용이 힘들었던 반면 우리는 디바이스 API, 디바이스 드라이버, 디바이스 컨트롤러 등의 저수준의 인터페이스 코드들을 자동으로 생성하여 검증된 하드웨어와 소프트웨어 코드가 바로 통합되어 시스템을 구축할 수 있는 실제적인 해결책을 제시한다.

• 한국지능시스템학회논문지
• /
• 제21권5호
• /
• pp.581-587
• /
• 2011

이 논문은 임베디드 소프트웨어 설계 과목을 위한 실습 키트 하드웨어와 이 키트를 사용한 임베디드 소프트웨어 설계 교육 과정에 대해서 소개한다. 임베디드 소프트웨어 설계 과목은 그 특성상 실습과 한 학기에 걸친 프로젝트 위주로 진행되는데 이를 위해서는 소프트웨어를 실행시킬 실습 키트가 꼭 필요하다. 학생들이 하드웨어를 완벽하게 이해하고 소프트웨어 설계 및 개발을 진행할 수 있도록 학생들의 수준에 맞는 맞춤형 실습 키트 하드웨어를 설계하고 제작하였다. 학생들은 제작된 실습 키트를 사용하여 디바이스구동 소프트웨어에서부터 사용자 인터페이스까지 임베디드 소프트웨어 전 계층에 걸친 프로그램 설계하고 구현해 봄으로써 보다 수월하게 임베디드 시스템에 대한 이해를 넓히고 프로그램 개발 능력을 향상시킬 수 있었다.

• 대한임베디드공학회논문지
• /
• 제5권1호
• /
• pp.29-38
• /
• 2010

It is highly requested that the more complicated embedded software is used for high performance and multiple functions of the systems. This is inevitably increasing the errors. Therefore the embedded software testing is getting important recently. There are not general testing methods which are able to be applied for any embedded systems, but via this research, we introduce a testing method which is based on TTCN-3, a testing standard, for embedded systems. A testing environment for network-based embedded software is implemented with considering the features of TTCN-3 testing which is based on message exchange. The testing environment has two additional parts with TTCN-3 test system, the network analyzer to access the network-based systems and the communication interface which is suggested for embedded systems in previous work, and we have implemented the whole testing environment with interacting these two parts. In addition to the normal testing domain, called single node testing as a unit testing of V-model, we suggest another concept to test multiple nodes in network. It could be achieved by adding keywords such as supervisor and object which are describing the feature of TTCN-3 testing component and generating the TTCN-3 Executable code which contains new keywords. The testing has done for embedded software which is based on CAN network and the demonstration of the testing environment has been shown in this paper.

• 전기학회논문지P
• /
• 제64권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.

• 한국컴퓨터정보학회지
• /
• 제14권2호
• /
• pp.153-158
• /
• 2006

임베디드 소프트웨어(embedded software)에서 디바이스 드라이버(device driver)는 하드웨어와 운영체제 및 응용 프로그램 사이의 연결고리 역할을 하는 핵심 구성 요소로서, 응용 프로그램이 하드웨어에서 제공하는 기능을 사용할 수 있도록 제어 및 상호동작을 위한 일관된 인터페이스를 제공하는 소프트웨어이다. 이러한 디바이스 드라이버는 하드웨어와 소프트웨어의 양쪽 측면에 모두 관련이 있어서 개발이 어렵기 때문에 하드웨어 플랫폼이 바뀔 때마다 새로 작성하는 것은 굉장한 손실이다. 따라서 본 논문에서는 이기종의 하드웨어에서도 쉽게 이식 가능한 디바이스 드라이버 개발방법에 대해 살펴보고 효율적인 디바이스 드라이버 모델 개발방법에 대해 제안한다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제28권5호
• /
• pp.811-817
• /
• 2004

Recently embedded systems are widely used in various industrial fields as supervisory controller because they have many merits. One of merits seems to be that operating environment of embedded system is the same as development environment using PC. That makes developing and manufacturing period shorten and also proper time to market Most of all machinery have sequential control system for their maneuvering which is composed of relays. contacts. timers. etc. In this paper. software sequential control system is proposed to be able to replace hardware sequential control system by using embedded system A lot of merits by the software sequential control system can be expected in the respect of economic reproduction, intelligent technologies and utilities, And porting of LINUX operating system to embedded system is carried out and device drivers and interface boards for LINUX 05 are designed for controlling air compressor by software Internet remote control and monitoring system of air compressor is implemented with Java script and CGI for these purposes. The experiment for operating air compressor system is taken through internet networks. The results show that developed system can be used for real plant.