• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.61-69
• /
• 2018

As the technology of information and communication has developed over recent years, an embedded system is applied in multiple industries and becomes more complicated. For this reason, embedded system development cost and time are also increased. For decreasing the cost and time, this paper suggests requirement evaluation method for concurrent development of an embedded system based on Discrete Event System(DEVS) Formalism. This paper proposes a method of describing the requirements specification in the form of DEVS atomic model. Also, the paper proposes the evaluator model that compares evaluation target system and the requirements model that is an implementation of requirement specification and proposes the evaluation method using them. In addition, we propose a method to utilize the requirement model created for requirements evaluation in the concurrent development process of the embedded system. As the case study, this paper proceeds requirement evaluation of Kinect depth data processing system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.271-273
• /
• 2003

내장형 시스템의 기능이 복잡해지면서, 내장형 소프트웨어에 대한 테스팅이 중요하게 인식되고 있다. 특히 원자력 발전소 계통 기기와 같이 안전에 대한 치명도가 높은 Safety-Critical Embedded System일수록 탑재되는 내장형 소프트웨어에 대한 철저한 테스팅이 요구되기 때문에 본 논문에서는 대상 시스템에 탑재되는 소프트웨어 테스트를 중심으로 하여 Safety-Critical Embedded System을 위한 테스트 프로세스 및 이에 필요한 테스팅 기법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.130-132
• /
• 2000

내장형 파일 시스템을 구현하기 위한 MMDB(Main Memory DB)는 주 기억 장치 상주 메모리 데이터베이스 시스템으로서 이동전화 단말기나 PDA(Personal digital assistants)같이 하드디스크를 가지지 않는 시스템을 대상으로 한다. 하드디스크를 고려하지 않은 점에서 기존의 MMDB와는 다른 메모리 관리 방식이 필요하며, 이를 위한 방안으로 내장형 파일 시스템을 구축하여 효율적인 메모리 관리가 가능하다. 내장형 파일 시스템은 리눅스의 가상 파일 시스템과 유사한 기능을 제공하여 다양한 형태의 파일 시스템을 쉽게 구축하고 사용할 수 있으며, OS가 필요에 따라 파일 시스템의 설정을 변경하여 사용할 수 있다. 또한 OS의 메모리관리자와 파일 시스템의 중복 기능을 제거함으로써 시스템의 성능을 개선시킬수 있고, 데스크 탑 PC와의 데이터 호환성을 향상시킬 수 있다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.4
• /
• pp.788-797
• /
• 2003

Class library is one of the most crucial element of Java runtime environment in addition to Java virtual machine. In particular, embedded Java system depends heavily on the class library due to having a low bandwidth communication link and a small amount of memory which are a common restriction of embedded system. It is therefore quite necessary to find the characteristic of the class library for embedded Java system to build an efficient Java runtime environment. In this paper we have analyzed the characteristic of the class library for embedded system. The analysis includes sorts of classes in the library, typical size of the file which contains the class, and the composition of constant pool which is a major part of the file. We also have found typical number of field and method a class contains, the sizes of stack and local variable array each method requires, and the length of bytecode in the method. The result of this study can be used to estimate the startup time for class loading and the size of memory to create an instance of class which are a mandatory information to design an efficient embedded Java virtual machine.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1149-1157
• /
• 2003

As an Embedded system combining hardware and software gets more complicated, the importance of the embedded software test increases. Especially, it is mandatory to test the embedded software in the system which has high safety level. In embedded system, it is necessary to develop a test technique to detect faults in interaction between hardware and software. In this paper, we propose a test data selection technique using a fault injection technique for the faults in interaction between hardware and software in embedded system and we apply our technique to the Digital Plant Protection System and analyze effectiveness of the proposed technique through experiments.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.261-266
• /
• 2007

내장형 시스템에 보다 강력한 성능이 요구됨에 따라 내장형 마이크로 프로세서는 보다 깊은 파이프라인을 채택하고 있다. 따라서, 내장형 마이크로 프로세서는 보다 정확한 분기 예측기를 필요로 하고 있다. 이러한 상황에서 분기 예특기의 구조, 성능 및 전력 소모와 전체 시스템의 전력 소모 사이의 trade-off를 분석하는 것은 매우 중요하다. 내장형 환경에서 시스템의 전력 소모는 설계 시 매우 중요하게 고려되어야 한다. 특히 내장형 시스템의 요구사항은 동작할 응용 프로그램에 의하여 규정되고, 전력 소모도 응용프로그램의 구조와 강하게 연관되어 있다. 본 논문의 목표는 내장형 환경에서 성능-전력 공간에서 분기 예측기를 분석하는 기법을 제시하는 것에 있다. 이를 통하여, 분기 예측기 테이블의 성능-전력을 고려한 최적화된 크기를 찾을 수 있다. 이러한 목표는 수학적 모델링을 통한 정량적 예측의 수행 및 시뮬레이션 결과와의 비교를 통한 수학적 모델링의 검증의 과정을 통하여 이루어진다. 결과는 우리의 수학적 모델이 성능-전력 공간에서 분기 예측기 테이블의 최적화된 크기 결정의 해법을 제공하고 있음을 보여주고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.223-226
• /
• 2006

산업용 소프트웨어의 유형은 크게 패키지형, 내장형, 시스템형으로 구분할 수 있다. 패키지형 소프트웨어는 산업용 ERP를 의미하며, 내장형 소프트웨어는 산업용 기기에 내장되어 사용되고, 시스템형은 제조 및 생산 시스템의 전반적인 제어를 위한 소프트웨어이다. 본 연구에서는 산업용 내장형 소프트웨어를 대상으로 하여 품질시험 및 평가를 수행할 수 있는 평가모듈의 개발에 관해 기술하였다. 평가모듈의 객관성 및 타당성을 제고하기 위해서는 국제표준을 기반으로 한 체계 구축이 필수적이다. 관련된 국제표준으로는 소프트웨어 제품의 요구사항 및 평가에 관한 표준인 ISO/IEC 12119와 9126이 있으며, 평가모듈의 구성 형식을 규정하고 있는 ISO/IEC 14598-6이 있다. 이러한 표준들을 기반으로 하여 산업용 내장형 소프트웨어의 품질 요구사항을 추출하고 품질 요구의 만족 수준을 평가할 수 있는 평가 모듈을 구축하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.85-87
• /
• 2001

최근 인터넷의 급속한 확산과 통신 기술의 발전은 IT 산업의 급성장을 촉진하고 있으며, 이에 부응하여 각종 가전 제품 및 통신 장비의 개발이 가속화 되고 있다. 이러한 장비들은 많은 기능을 제공하기 위해 그 복잡도가 증가되고 있으며, 시스템은 이러한 기능을 제공할 수 있는 내장형 운영체제를 필요로 한다. 현재 많은 내장형 운영체제가 존재하고 있지만, 소스코드의 완전 공개와 로열티 및 초기 구입 비용이 전혀 들어가지 않는 리눅스를 내장형 운영체제로 사용하고자 하는 움직임이 활발히 전개되고 있다. 특히 많은 개발 툴과 응용 애플리케이션에 대한 개발이 이미 이루어져 있기 때문에 리눅스를 이용한 내장형 시스템의 개발 기간이 상당히 단축될 수 있다는 장점을 가지고 있다. 이에 본 논문에서는 리눅스의 강력한 네트워킹 기능을 이용한 리눅스 라우터의 제작 사례를 바탕으로 내장형 리눅스 시스템의 개발 방향에 대해 제시한다.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.6 s.38
• /
• pp.103-116
• /
• 2005

With embedded computing technology makes progress , various applications have been developing in PDA. And information exchanging through U document is underway actively between applications in internet environment. But most of the embedded system has Poor hardware resource. And embedded system uses own file system for XML document management. For reason of, it occurs to many of difficulties of data share and information exchange among other systems. Therefore, an importance of the XML Document Database Management System is on the rise in the embedded system. In this Paper, we design and implement Embedded XML Document Database Management System(EXDMS) for efficiently management of XML document and supporting data sharing and information exchanging through XML document in embedded system. As compared with file system, EXDMS shows results that more excellent performance about expandability and compatibility of application. Also, EXDMS has an excellent data Processing performance in poor system environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.