• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.469-471
• /
• 2005

임베디드 Java 플랫폼은 다양한 하드웨어 및 운영체제에 적용되어야 하므로, 하드웨어에 종속적인 부분과 운영체제에 종속적인 부분이 적용되는 기기마다 가변적이다. Java 라이브러리의 경우 가상머신(VM: Virtual Machine)에 종속적으로 구현되며 네이티브 코드들로 상당부분 구현되기 때문에 다양한 VM과 결합하여 임베디드 Java 플랫폼을 구성할 경우 VM에 종속적인 부분을 가변 코드로 관리할 필요가 있다. 본 논문은 임베디드 Java플랫폼의 적용 속성을 고려하여 가변 코드를 관리하는 방법을 제안하고 이를 구현해 본다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.6 no.6
• /
• pp.393-400
• /
• 2011

Recently, demands of information devices are increasing as we can find so many information devices around us such as smartphone, MID(Mobile Internet Device), Tablet. These characteristics of information devices services should support soft real-time based time guaranteed multimedia services and control internet appliances. In this situation, soft real-time supported system should be developed to consider as a total aspect of hardware, kernel, middleware, application. But this paper will describe soft real-time supporting and evaluation methods for information device as an aspect of only kernel.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.412-415
• /
• 2010

최근 임베디드 소프트웨어가 다양한 분야에서의 개발이 증대되면서 요구사항도 변화되고 있다. 즉, 임베디드 시스템이 단순하고 독립적인 소형시스템에 정착되어 운영되었던 과거와는 달리 최근에는 초정밀의 동작제어와 함께 복잡하고 다양한 플랫폼 환경을 요구하거나 다수의 소프트웨어를 통합하고 제어하는 시스템 중속적인 요구사항들이 많이 발생하고 있다. 본 연구에서는 임베디드 소프트웨어 분야의 기반기술 및 동향을 조사하고 표준시험환경을 구축해 보았다.

• 정보보호뉴스
• /
• s.138
• /
• pp.26-29
• /
• 2009

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.10a
• /
• pp.880-881
• /
• 2013

This paper present a method of constructing embedded system based on the hardware and software which is a center of 21th information technology. For the purpose of that, we discuss the embedded system classification and necessity also the main points which is the key when we constructing the embedded system. We discuss the embedded system modelling. The proposed hardware and software embedded system be able to contribute future advanced information technology upcoming.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.8
• /
• pp.136-144
• /
• 2016

In general, it is this variety of learning methods and teaching tools for embedded software development and deployment training. In this paper, I want to take advantage of the smart robot to learn creative problem-solving methods that are required in embedded software engineering education. It analyzes the effect of creative engineering education with the smart robot and presents for RSPM Engineering Embedded SW teaching methods to improve NCS education. Embedded SW engineering education in a more creative and smart robot, EV3 system was utilized to improve SW programming skills. In this paper, we utilize the EV3 system to the parish through the creative RSPM engineering courses through the survey and analysis of the impact level, interests and program skills and influence in embedded SW engineering education propose for successful embedded software programming skills potential.

• Electronics and Telecommunications Trends
• /
• v.28 no.2
• /
• pp.29-37
• /
• 2013

최근 임베디드 제어 시스템의 규모와 복잡도가 폭발적으로 증가함에 따라, 단일 시스템을 대상으로 하는 기존 M&S(Modeling & Simulation) 기반의 SW 개발 기술은 한계에 부딪히게 되었다. 이에 본고에서는 네트워크 기반 복합 임베디드 제어 시스템의 고신뢰 SW 개발을 위한 M&S 기술 동향을 소개한다. 먼저 모델링 단계에서 복합 시스템의 이종성을 다루기 위한 모델링 기술과 대표적인 도구를 소개하고, 다음으로 대규모 하이브리드 시스템 모델의 검증을 위한 시뮬레이션 및 정형 검증 기술과 관련 도구를 소개한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2011.05a
• /
• pp.641-642
• /
• 2011

This paper presents method of constructing the embedded systems based on hardware-software codesign which is the important fields of $21^{st}$ information technology. First, we describe the classification and necessity of embedded systems, and we discuss the consideration and classification for constructing the embedded systems. Also, we discuss the embedded systems modeling. The proposed embedded systems based on hardware-software co-design is important gradually, we expect that it involve the many IT fields in the future.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.7 s.349
• /
• pp.38-49
• /
• 2006

In this paper, a novel concept based on embedded processor and reconfigurable logic is proposed for efficient manufacturing test and design verification. Unlike traditional gap between design verification and manufacturing test, proposed concept is to combine both design verification and manufacturing test. The semiconductor chip which is using the proposed concept is named "SwToC" and SwToC stands for System with Test On a Chip. SwToC has two main features. First, it has functional verification function on a chip and this function could be made by using embedded processor, reconfigurable logic and memory. Second, it has internal ATE on a chip and this feature also could be made by the same architecture. To evaluate the proposed SwToC, we have implemented SwToC using commercial FPGA device with embedded processor. Experimental results showed that the proposed chip is possible for real application and could have faster verification time than traditional simulation method. Moreover, test could be done using low cost ATE.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.