• 대한임베디드공학회논문지
• /
• 제17권2호
• /
• pp.93-100
• /
• 2022

In this paper, we propose a machine learning-based method for supporting resource management of IoT software platforms in a multi-modal sensing scenario. We assume that an IoT device installed with a oneM2M-compatible software platform is connected with various sensors such as PIR, sound, dust, ambient light, ultrasonic, accelerometer, through different embedded system interfaces such as general purpose input output (GPIO), I2C, SPI, USB. Based on a collected dataset including CPU usage and user-defined priority, a machine learning model is trained to estimate the level of nice value required to adjust according to the resource usage patterns. The proposed method is validated by comparing with a rule-based control strategy, showing its practical capability in a multi-modal sensing scenario of IoT devices.

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

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

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2004년도 학술대회지
• /
• pp.532-535
• /
• 2004

Architecture generation is the first step in the design of software systems. Most of the qualities that the final software system possesses are usually decided at the architecture development stage itself. Thus, if the final system should be usable, testable, secure, high performance, mobile and adaptable, then these qualities or non­functional requirements should be engineered into the architecture itself. In particular, adaptability is emerging as an important attribute required by almost all software systems. The machinery and tools in the remote site surveillance and connects intelligence information machinery and tools at Internet. We need the server which uses different embedded operating system to become private use. With the progress of information-oriented society, many device with advanced technologies invented by many companies. However, the current firmware technologies have many problems to meet such high level of new technologies. In this paper, we have successfully ported linux on an embedded system, which is based on intel StrongARM SA-1 1 10 processor, then written several network modules for internet-based network devices.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.705-715
• /
• 2008

SUGV의 활용이 늘어감에 따라 구성하는 소프트웨어가 복잡해지고 개발 환경 다양화로 인한 상호운용성 문제가 대두되고 있다. 본 논문에서는 이러한 문제점을 해결하고자 기존의 UML 프로파일 메커니즘을 이용하여 SUGV 개발에 MDA가 적용되도록 하였다. 이를 통해 이종 SUGV 소프트웨어 설계시 타겟 독립 모델을 만든 후 UML 프로파일이 적용된 자동화 도구를 이용해 타겟 종속 모델 및 코드를 생성하면 이종 기기의 개발기간과 노력을 절약할 수 있다. 그리고 발생된 코드의 분석을 통해 제안한 방법의 이점 및 신뢰성을 확인할 수 있었다.

• 제어로봇시스템학회논문지
• /
• 제16권6호
• /
• pp.559-565
• /
• 2010

In this paper, we present a transformation method of source code from a POSIX (Portable Operating System Interface) based source code into an OSEK/VDX (Offene Systeme und deren Schnittstellen fur die Elektronik in Kraftfahrzeugen/Vehicle Distributed eXecutive) source code. As the electronic parts of automobile systems increase, the use of embedded software in automobile systems is also growing. Accordingly, many electronic systems are designed in automobile system with OSEK/VDX. Otherwise, one of the major problems of embedded software would be portability to other OS's. To enhance the portability and interoperability of embedded software, we propose a source code transformation method from POSIX to OSEK/VDX based on API (Application Programming Interface) translation method. Considering the characteristics of the OSEK/VDX which uses OIL (OSEK/VDX Implementation Language) standard, transformation process is performed with source code transformation and OIL code generation. For the validity of the proposed method, the transformation experiment is given using Micro-C OS II and OSEK/VDX with XC167CI micro-controller.

• 한국태양에너지학회:학술대회논문집
• /
• 한국태양에너지학회 2012년도 춘계학술발표대회 논문집
• /
• pp.222-228
• /
• 2012

This paper presents a design and simulation of bi-directional DC/DC boost converter for a fuel cell system. In this paper, we analyze the equivalent model of both a boost converter and a buck converter. Also we propose the controller of bi-directional DC-DC converter, which has buck mode of charging a capacitor and boost mode of discharging a capacitor. In order to design a controller, we draw bode plots of the control-to-output transfer function using specific parameters and incorporate 3pole-2zero compensator in a closed loop. As a result, it has increased PM(Phase Margin) for better dynamic performance. The proposed bi-directional DC-DC converter's 3pole-2zero compensation method has been verified with computer simulation and simulation results obtained demonstrates the validity of the proposed control scheme.

• 항공우주시스템공학회지
• /
• 제6권3호
• /
• pp.1-6
• /
• 2012

It is booming to use computer owing to the information society, and embedded software application have grown in airborne systems and equipment. So this introduces airborne software, RTCA DO-178B, life cycle and its data, and software development pitfalls in design and certification.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.1030-1033
• /
• 2005

기존의 임베디드 시스템 장비는 간단한 메뉴화면, 배경화면 등의 디스플레이 환경을 제공하였다. 하지만, 임베디드 시스템 장비의 사용범위가 점차 확대대고, 사용자의 요구가 증가되면서 멀티미디어 콘텐츠 및 동영상의 지원 여부가 장비의 주요 성능으로 부각되고 있다. 하지만 기존 임베디드 시스템 장비에서는 소프트웨어로 디스플레이 환경을 구현하므로 멀티미디어 콘텐츠 및 동영상 지원에 대한 충분한 데이터 전송 대역을 확보하기 어려우며 메인 프로세서의 실행에 많은 부담을 주어 시스템 성능을 저하시키는 주요 원인이 되었다. 본 논문에서는 임베디드 시스템에 적합한 OLED/TFT-LCD 컨트롤러 모델을 제안하고 이를 Verilog-HDL을 이용하여 설계하여 기존의 임베디드 시스템 장비의 디스플레이 성능과 비교 평가한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.47-48
• /
• 2008

UML(Unified Modeling Language) is the most frequently used modeling language in the process of analysis, design, implementation and etc. The main reason of using UML is not only to help users to work visually but also to draw better communication among developers. In addition, UML is one of the global standards and supports MDA. In this paper embedded software development method for USN using UML is discussed To show how the development method is used, IEEE 802.15.4 radio module are programmed using UML software tool.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.817-819
• /
• 2005

내장 시스템(Embedded System)기술은, 정부가 주도하는 기술과제로 여러 응용분야에서 각광을 받고 있다. 본 논문에서는 내장 시스템이 가지는 한계상황 하에서 프로세스가 좀더 빠르게 복구하는 기법을 제안하고자 한다. 빠른 복구를 위해서는 두 가지 조건이 만족되어야 한다. 첫째 조건은 실제 프로세스의 이상이 발생 했는지를 빠르게 감지해야 한다. 기존에는 주기적으로 프로세스를 감시하는 방법들이 많이 사용되었으나 이런 방법들은 내장 시스템에서 빠른 프로세스 복구를 하는데 한계점들이 나타냈다. 따라서 시스템 레벨에서 프로세스 종료를 시키는 시그널(signal)을 훔치는(hooking) 방법[1]과 프로세스 스케줄 순서를 조정하는 방법을 토대로 프로세스의 이상을 빠르게 감지할 수 있다. 두 번째는 한정된 자원 아래서 효율적으로 복구 데이터를 관리 및 복구해야 한다. 기존의 복구 기법에 경우 다양한 자원을 대한 복구를 위해서 자원을 많이 사용하였지만 우리가 사용하는 공유메모리 기법[1]은 자신의 필요한 정보만을 관리함으로써 한정된 자원 환경에서 복구가 가능하도록 하였다.