• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.573-582
• /
• 2006

Black-box testing needs to prepare fitting test data, execute software, and examine the result. If we test software effectively, not only selecting test cases but also representing test cases are important. In static testing effectiveness of testing activities also depends on how to represent test cases and checklist to validate. This paper suggests a method for finding ineffective critical test cases and reengineering them. An experiment of reengineering digital set-top box software shows the process and results of checking effectiveness and conformance of current test cases and patching test cases. The result shows how much save the test time and improve test coverage by reengineering test cases. Methods of reuse and restructuring test cases are also studied to fit into embedded product-line software.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.5
• /
• pp.55-64
• /
• 2009

In this paper, we design and implement verification and interface application for interactive data broadcasting middleware. This application implements ACAP and OCAP verification item according to their types (format, protocol. resource, presentation). Therefore, using this application, we can verify whether digital settop-boxes used in digital terrestrial television and digital cable television conforms to the ACAP and OCAP standards. In this paper, we evaluate our proposed application using TVPLUSiTM verifier which can verify interactive TV application in real broadcasting environment. Through performance evaluation, we show that the DTB-H650F set-top-box supports OCAP and ACAP standard 80% and 95%, respectively.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.2
• /
• pp.478-493
• /
• 2024

In this paper, the Mixed Integer Linear Programming (MILP) model is improved for searching differential characteristics of block cipher Midori-64, and 4 search strategies of differential path are given. By using strategy IV, set 1 S-box on the top of the distinguisher to be active, and set 3 S-boxes at the bottom to be active and the difference to be the same, then we obtain a 5-round differential characteristics. Based on the distinguisher, we attack 12-round Midori-64 with data and time complexities of 2⁶³ and 2^103.83, respectively. To our best knowledge, these results are superior to current ones.

• Journal of Broadcast Engineering
• /
• v.7 no.2
• /
• pp.88-95
• /
• 2002

According to an evolution of digital broadcasting, it is possible that terrestrial and satellite broadcasting media provide multi-channel services. CATV and satellite media have been also extended to hundreds of channels. As the result of channel expanding, viewers came to select lots of channels. But it is difficult that they select the favorite channel among hundreds of channels. In this paper, we propose an efficient automatic method to recommend channels and programs on a viewer's preference in a multi-channel broadcasting receiver like a Set ToP Box(STB). The proposed algorithm selects channels based on the following method. It makes and saves user history data by using MPEG-7 MDS based on the program information a viewer had watched. It recommends programs similar to a viewer's preference based on user history data. It selects the channel in the recommended genre based on the viewer's channel preference. The experimental result shows that the proposed scheme is efficient to select the user preference channel.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.505-507
• /
• 2005

현재 많은 PVR SetTop Box가 시중에 나와있는데 그 가격은 만만치가 않다. 또한 가장 많이 보편화 되어 있는 모바일 폰 역시 그 기능은 다양화 되어 있다. 이러한 요소들을 종합하여 가장 실용적이고 저렴한 가격의 시스템을 구축하는데 그 의미가 있다. 본 논문은 저렴한 TV수신카드를 이용한 리눅스 기반의 PVR시스템 구현과 자바 플랫폼을 이용한 서버구현, 그리고 WIPI-Emulator를 이용한 모바일 폰의 구현으로 원격지에서 PVR의 제어와 예약녹화 기능을 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.577-579
• /
• 1998

지상파, 케이블, 위성 등의 기존 방송망을 이용하여, 사용자의 부합하는 데이터를 전송하는 데이터 방송 기법에 대한 연구와 표준화 작업이 활발하게 진행 중이다. 우리나라의 경우, 무궁화 위성을 이용한 부가 데이터 방송을 구현하고자 연구중이다. 데이터 방송시 데이터 전송 기법에는 데이터 스트리인(data streaming). 데이터 파이핑(data piping),데이터 캐루셀(data carousel)등이 제안되고 있다. 본 논문에서는 표준화 단체인 DVB에서 정의하고 있는 데이터 전송 기법에 대한 소개와, 함께, 데이터 캐루셀을 이용한 데이터 방송 구현에 필요한 소프트웨어 설계와 실제 구현에 관한 내용을 담고 있다.

• Proceedings of the IEEK Conference
• /
• 2005.11a
• /
• pp.47-52
• /
• 2005

In this paper we describe SLA metrics and software architecture for newly upcoming IP TV service. Firstly we show the general description for IP TV. This consists of brief description of IP TV, the general figure of configuration and elements of IP TV network and communication protocol stack of IP TV data transmission for deriving communication quality parameter. And we propose SLA metrics depending on quality measurement point. According to the measurement point the measurable SLA metrics are different. The total view of the IP TV SLA measurement and management architecture is shown. When the quality measurement point is the routers that consist of internet node, the IP media NMS is the quality collection system. And when the quality measurement point is the IP TV STB(Set-Top Box), the IP media collector and Quality Collection Server are the quality collection system. And we show the software block diagram of IP TV SLA processing system and the other related network management systems.

• Journal of Korea Multimedia Society
• /
• v.13 no.8
• /
• pp.1194-1201
• /
• 2010

Currently embedded system has been widespreadly used in digital Set-top box, mobile phone, USN, etc and the significance of security has been increased due to be necessarily embedded in these all system. In this paper we propose new integrity verification scheme among the main security requirements in target system based on the korea TTA standard, security reference model for embedded operating system, published in december 2006. Moreover the proposed scheme is more effective than the previous scheme, Jung, et al.[2,6].

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2427-2430
• /
• 2002

최근 라우터나 Set-Top Box 등 리눅스를 기반으로 하는 시스템의 구현 사례가 많이 등장하고 있다. 또한, 차량에 A/V 기기를 장착하여 주행 중에 비디오를 감상하는 추세도 증가하고 있다. 본 논문에서는 이러한 추세에 부합되도록 리눅스를 이용하여 차량용 동영상 재생기를 개발하고 그래픽사용자 인터페이스를 추가하여 사용자들이 편리하게 사용할 수 있도록 하였다. 구현된 동영상 재생기를 차량에 탑재하여 기능을 시험한 결과 동영상 재생기의 효용성을 확인할 수 있었다.

• Electronics and Telecommunications Trends
• /
• v.28 no.5
• /
• pp.145-155
• /
• 2013

현대인의 집밖 스마트 ICT 디바이스의 요구성능은 휴대 용이성, 끊김 없는 통신채널 확보, 저전력 소모, 편리한 UI, 다양한 기능의 통합제공, 필요한 기능의 손쉬운 추가 및 삭제 등이며, 이런 요구에 충족하기 위해서 HW는 경박단소, 고성능 및 저전력 소모 등으로, SW는 개방형 앱 스토어를 통한 기능추가로 진화하였고, 이를 포함하는 디바이스로는 스마트폰, 테블릿 PC가 대표적이다. 집안의 스마트 ICT 디바이스의 요구성능은 집밖 ICT 디바이스 성능을 포함하면서, 어떤 디바이스에서든 끊김없는 콘텐츠 및 데이터 수집과 이동성, 그리고 아직 정의되지 않은 미래 추가기능의 실행 가능성 등이며 이를 위해 STB(Set Top Box), IPTV, 미디어허브, SmarTV 등 다양한 디바이스가 혁신적인 변모를 준비하고 있다. 본고에서는 집안 ICT 디바이스 혁신의 결과물을 디지털 미디어 허브라 명명하고, 이를 지향하고 있는 후보군 디바이스 들의 동향을 살펴보며, 디지털 미디어 허브로의 신속한 변모를 위해 필요한 연구 개발 방안으로 플랫폼기반의 SW-SoC(System On a Chip) 개발 기술을 소개하고자 한다.