• International Journal of Internet, Broadcasting and Communication
• /
• 제14권1호
• /
• pp.10-18
• /
• 2022

Since High Sierra, APFS has been used as the main file system. It is a well-established file system that has been used stably thus far. From the perspective of digital forensics, there are still many areas to be investigated. Apple File System Reference is provided to the apple developer site, but it is not satisfactory to fully analyze APFS. Researchers know more about the structure of APFS than before, but they have not yet fully analyzed its structure to a perfect level about it. In this paper, we develop APFS object identification tool for digital forensics. The most basic and essential object identification and analysis of the APFS filesystem will be conducted with the tool. The analysis in this study serves as the background for an analysis of the checkpoint operation principle and structure, including the more complex B-tree structure of APFS. There are several options for the developed tool, but the results of two use cases will be shown here. Based on the implemented tool, it is hoped that more functions will be added to make APFS a useful tool for faster and more accurate analyses.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제11권4호
• /
• pp.312-333
• /
• 2005

SIP(Session Initiation Protocol)은 VoIP(Iroice over IP)와 같은 인터넷 멀티미디어 통신 시스템의 세션 제어 프로토콜로 제안되었으며 많은 표준안에서 채택하고 있다. SIP는 다양한 형태의 오디오와 비디오 형식과 품질이 보장된 실시간 데이터 전송을 지원하기 위해 복잡한 세션 제어 단계를 갖는다. 그러나 지금까지의 프로토콜 분석기는 SIP 기반 멀티미디어 통신 시스템에서 발생되는 트래픽을 상세하게 분석해주지 못하고 있다 이에 본 논문에서는 SIP 기반의 멀티미디어 통신 시스템의 세션 설정 단계에서 데이터 교환 및 세션 변경에 따른 세부 정보를 분석하고 진단할 수 있는 도구로 새로운 프로토콜 분석기를 설계하고 구현한다. 제안된 프로토콜 분석기는 STAT(SIP based Traffic Analysis Tool)이라고 부르며 범용성과 확장성이 있도록 PC Windows에서 사용 가능한 소프트웨어로 구현되었다. STAT는 이더넷의 특징인 동보 기능을 이용하여 저수준 패킷을 수집하여 분석함으로써 SIP 기반 통신 시스템에 직접적인 영향 없이 세션 연결 상태와 실시간 트래픽 모니터링 정보를 제공한다. 따라서 본 논문에서 구현한 STAT는 SIP 기반 멀티미디어 통신 시스템의 개발 및 관리 도구로 활용될 수 있다.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 1999년도 추계 학술발표대회 논문집
• /
• pp.20-21
• /
• 1999

오늘날 제품개발 환경에서 디자이너는 고유의 디자인 업무뿐 아니라 여러 기능부서의 의견을 수렴하고 통합, 조정하는 교량 또는 촉매로서의 역할을 요구받고 있다. 이러한 변화에 따라 디자이너는 제품기획에서 생산, 판매에 이르는 제품개발의 전 단계에 적극적으로 그 역할을 하지 않을 수 없게 되었다. (중략)

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 2005년도 춘계 학술발표대회 논문집
• /
• pp.76-77
• /
• 2005

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(1)
• /
• pp.109-112
• /
• 2000

The desire of achieving abundant and various information in Web-sites through portable devices is increased as the mobile communication technology is matured. WML(Wireless Markup Language) is the fundamental language to fill up the those desires. The number of commercial WML sites which can be accessed by PCS(Personal Communication System) over the Internet are growing rapidly worldwide. In this paper, a WML authoring tool which can author easily the homepage suitable for PCS is designed and implemented. The usability of the proposed WML authoring tool was confirmed by using UP.SDK simulator over the Internet.

• 정보교육학회논문지
• /
• 제16권1호
• /
• pp.107-121
• /
• 2012

본 연구는 상호작용을 구조화하고 의사소통을 촉진하기 위한 토론 전략의 하나로 육색사고모자 기법을 적용한 온라인 실시간 토론 도구를 개발하고 수업에 적용하여 그 타당성을 확인하고 개선방안을 도출하는 것을 목적으로 한다. 육색사고모자 온라인 실시간 토론 도구를 개발하기 위하여 온라인 실시간 토론과 육색사고모자 기법에 대한 선행연구를 고찰하고 3C 모델의 의사소통, 조율, 협력의 개념에 따라 설계 전략을 수립하였다. 설계 전략에 의거하여 개발된 온라인 실시간 토론 도구는 베타테스트를 거쳐 A 대학교 컴퓨터응용과학부 '컴퓨터기초' 교과목에서 팀 과제를 수행하는데 5주간 4회의 토론에 적용하였다. 학생 대상의 자유기술형 설문, 학생들의 성찰일기, 연구자들의 현장노트를 통해 수집된 질적 데이터를 분석한 결과, 본 연구에서 개발된 육색사고모자 온라인 실시간 토론 도구가 의사소통, 조율, 협력의 측면에서 학생들의 토론을 효율적으로 지원할 수 있음을 확인할 수 있었다. 그러나 문자 기반 의사소통의 한계를 극복하고 육색사고모자 온라인 실시간 토론 도구를 구조화된 상호작용과 의사소통을 촉진하기 위한 도구로 활용하기 위해서는 개선이 필요한 것으로 나타났다.

• Journal of Electrical Engineering and Technology
• /
• 제1권4호
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• 한국재난정보학회 논문집
• /
• 제13권3호
• /
• pp.376-387
• /
• 2017

본 연구의 목적은 한국 도시의 방재력 강화를 위하여 리스크 커뮤니케이션의 중요성과 방법을 고찰하고 리스크 커뮤니케이션의 도구로서 해저드 맵의 활용 및 개선의 방법을 제안하는 것이다. 한국과 일본의 해저드 맵을 비교 평가하고, 최근 일본에서 활발하게 실천되고 있는 방재 맵 만들기 사례를 분석하였다. 연구의 결과, 한국에서 작성되고 있는 해저드 맵의 활용 및 개선을 위한 5가지 안이 도출되었고, 리스크 개념의 사회적 확산이 도시 방재력 강화에 커다란 도움이 될 수 있다는 것이 파악되었다.

• 한국정보통신학회논문지
• /
• 제19권4호
• /
• pp.877-887
• /
• 2015

본 논문은 열차 내에 산재한 도체 선로를 활용하여 무배선통신시스템 구축할 수 있는 통신연결장치의 설계 방법을 제시한다. 또한 여기서는 기존 선로에 직접 연결되는 전도성 연결장치와 전자기 유도현상을 이용하는 유도성 연결장치를 개발한다. 개발된 통신연결장치를 전력선에 적용하여 데이터 통신 실험한 결과, 목표 성능인 200 m 거리에서 20 Mbps급 이상의 무배선통신시스템의 구축을 실현할 수 있음을 확인하였다. 또한 내환경 시험 결과 개발된 통신연결장치는 열차의 내외부 발생될 수 있는 극심한 환경 변화에서도 안정적으로 동작하는 것으로 측정되었다. 따라서 개발된 장치는 현재 운행되고 있는 열차의 전도성 매체를 활용한 통신네트워크 구축에 유용할 것으로 판단된다.

• 항공우주시스템공학회지
• /
• 제17권2호
• /
• pp.16-25
• /
• 2023

항공업계의 외부 이물질(FOD)은 다양한 종류가 있으며 작업자가 분실한 공구는 항공기 제작, 운용, 정비 분야 전반에 걸쳐 위험 요소로 작용하고 있다. 작업자의 부주의에 의해 분실된 공구로 인한 사고는 항공산업 전반에 걸쳐 지속적으로 발생하고 있으며, FAA, EASA 등 항공 관련 기관에서는 FOD 발생 예방을 위해 공구 관리 규정을 제정하고 시스템을 구축하고 있다. 하지만, 국내의 경우 관련 규정 및 절차가 미흡한 수준이며, 항공기의 안정적인 제작 및 인증, 운용 및 정비를 위해서는 체계적이고 효과적인 공구 관리 시스템의 도입이 반드시 필요하다. 본 논문에서는 국내외 감항당국 및 항공산업 관련 단체의 공구 관리 규정 및 절차를 분석하고, 미국 국립 표준 협회를 통해 인증된 NAS 412의 Tool Control 규정을 바탕으로 국내 항공산업계 도입이 필요한 무선통신 기술 기반의 공구 관리 시스템을 제안하였다.