• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.61-63
• /
• 2003

최근 소프트웨어 품질에 대한 관심이 높아짐에 따라 그에 따른 기반 기술들이 요구되고 있다. 산업분야에 있어서도 작업을 수행하는 기계장치의 성능향상을 위해서 소프트웨어가 차지하는 중요성이 점점 증가함에 파라 해당 장치에 대한 성능은 물론 품질에 있어서도 소프트웨어의 중요도가 크게 향상됐다 이러한 시대적 흐름에 따라 산업분야에 있어서 내장형 소프트웨어의 일종인 산업용 소프트웨어에 대한 품질인증.평가체계를 구축하고 이를 활용하여 산업용 소프트웨어 국제표준 적합성 인증 시스템을 설계 구현하고자 한다.

• Aerospace Engineering and Technology
• /
• v.3 no.2
• /
• pp.177-182
• /
• 2004

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 classification, software life cycle, activities to achieve objectives and software considerations in design and certification.

• Korea Information Processing Society Review
• /
• v.21 no.4
• /
• pp.36-47
• /
• 2014

• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.05a
• /
• pp.103.2-103
• /
• 2001

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06d
• /
• pp.281-282
• /
• 2011

유비쿼터스 환경의 발달과 함께 내장형 장치에서도 광대역 IP 망을 통한 네트워킹의 중요성이 부각되었다. 내장형 시스템은 데스크탑과 비교할 때 전력, 처리 능력, 메모리 크기 등의 가용 자원이 제한되기 때문에 내장형 시스템의 자원 제약을 고려한 경량화된 네트워크 프로토콜이 연구되어 왔다. 기존의 소프트웨어 기반 경량 IP는 실시간 운영체제를 전제하고 있으며 플랫폼 독립성을 고려하여 설계되었다. 본 논문에서는 운영체제가 없는 내장형 시스템에 최적화된 경량 IP를 제안한다. 또한 이를 LTE 네트워크 계측기에 적용시켜 제안 기법의 성능을 검증하였다.

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

인공위성 탑재 소프트웨어는 정해진 시간 내에 필요한 작업을 수행하여야 하는 실시간 내장형 소프트웨어로 타이밍 분석이 중요하다. 기존의 인공위성소프트웨어 개발 시 적용되는 타이밍 분석기법은 개발자의 수작업에 의존하여 많은 시간과 노력이 요구되며 정확성에 문제가 있을 수 있는 단점이 있었다. 본 논문에서는 위성소프트에어의 타이밍 분석에 적용 가능한 최장 실행시간 (Worst Case Execution Time, WCET) 기법을 조사하고 보다 정확한 (tight) WCET를 구하기 위해 입력 데이터를 고려한 WCET 분석 방안을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.330-334
• /
• 2007

내장형 시스템이 점점 복잡해지면서 하드웨어/소프트웨어 통합설계의 중요성은 더욱 부각되고 있다. 이 하드웨어/소프트웨어 통합설계의 핵심 요소는 하드웨어/소프트웨어 통합시뮬레이션이다. 내장형 시스템을 구성하는 여러 컴포넌트들을 통합시뮬레이션 할 때 이종의 여러 시뮬레이터들을 동시에 사용하는 경우가 많은데 이 때 가장 문제가 되는 점은 시뮬레이터 간의 동기화에 따른 성능 저하이다. 이를 개선하기 위해 가상 동기화 기법이 제안된 바 있다. 그러나 가상 동기화 기법도 느린 시뮬레이터의 속도에 종속 될 수밖에 없다. 보통 가장 느린 시뮬레이터는 하드웨어 RTL 시뮬레이터이다. 본 논문은 하드웨어 RTL 시뮬레이터를 FPGA 에뮬레이터로 대체하면서 가상 동기화 기법을 사용한 통합에뮬레이션 환경을 구축해 보았다. 가상 동기화 기법을 적용하는 것은, 가상 동기화 기법의 장점대로 가상 동기화 기법의 통합시뮬레이션 커널과 FPGA 에뮬레이터 사이에 통신을 할 수 있게 해주는 인터페이스 프로그램을 제작하는 것만으로 가능했고 이렇게 구축한 환경에서 H.263 디코더로 실험을 한 결과 약 2.5배의 성능 향상을 얻을 수 있었다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.4
• /
• pp.388-401
• /
• 2006

A tool for analyzing and testing software in real-time is required for the efficient development of highly reliable real-time mobile embedded software This too] requires various technologies, such as source code based white-box test and real-time system monitoring and control. The tool also should be designed to improve reusability and portability by considering the interaction with other kinds of real-time system. This paper identifies and analyzes the functional requirements for the test tool on real-time mobile embedded software and suggests an adequate tool architecture based on the collected requirements. It also suggests the specific implementation technology and architecture design pattern to support the tool's expandability and portability.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.

• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.503-510
• /
• 2002

In this paper, a general purpose embedded computer system is designed and implemented. The most crucial points of the system are extensibility and flexibility. The hardware of the developed system is composed of three modules and the software provides hardware independent application program interfaces. Moreover, uC/OS-II, a well-known open realtime kernel. is extended and ported onto the system. The extended uC/OS-II supports that multiple processes can have the same priority and such processes are scheduled in a round-robin manner.