• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.18-21
• /
• 2010

OSEK/VDX 운영체제는 자동차 전자제어장치(ECU)를 위하여 OSEK/VDX에서 제안한 사양을 준수하는 실시간 운영체제이다. 본 논문에서는 OSEK/VDX 운영체제의 Event 관리 메커니즘에 대한 전반적인 설명과 이를 지원하기 위한 4가지의 서비스 함수를 설계하고 구현하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.15-16
• /
• 2009

OSEK/VDX 운영체제는 자동차 전자제어장치(ECU)를 위하여 OSEK/VDX에서 제안한 사양을 준수하는 실시간 운영체제이다. 본 연구는 OSEK/VDX 운영체제의 태스크관리 서비스들 중에서 태스크 활성화를 위한 서비스 함수를 설계하고 그 타당성을 제시한다.

• Proceedings of the KAIS Fall Conference
• /
• 2002.11a
• /
• pp.174-177
• /
• 2002

본 논문에서는 분산시스템을 위한 메시지 전달 기능이 있는 실시간 운영체제에 대한 설계 및 개발에 대한 내용을 다루고 있다. 개발된 실시간 운영체제의 메시지 전달 기능은 네트워크로 연결되어 있는 각 프로세서 내부 태스크의 물리적 위치에 대하여 투과성을 보장함으로써 응용층에서는 메시지를 전송받는 태스크가 원격인 경우에 대해서도 내부 태스크에 대하여 메시지를 전송하는 처리와 동일하게 운영할 수 있다. 또한 실시간 운영체제의 특징인 이벤트 전달 기능을 통해서 수신 태스크는 메시지가 수신되었을 때 메시지 수신 이벤트를 받으며 이에 대한 실시간 처리가 가능하다. 개발된 실시간 운영체제는 CAN(Controller Area Network) 기반의 네트워크 환경에서 마이크로 컨트롤러와 같은 비교적 저성능의 프로세서를 대상으로 개발되었으며, 서로 다른 프로세서로 이루어진 분산 시스템에서 동일한 인터페이스를 통해서 메시지의 실시간 전달 및 응답이 가능하므로 시스템의 통합 및 확장이 용이하다.

• Proceedings of the Korea Contents Association Conference
• /
• 2011.05a
• /
• pp.25-26
• /
• 2011

최근 임베디드 시스템이 발전함에 따라 시스템을 운영하는 방식이 단순한 펌웨어 수준에 그치지 않고 더 많은 서비스를 시스템에 제공하기 위해 운영체제의 사용이 증가하고 있다. 임베디드 시스템에는 제한적인 자원과 타깃시스템의 용도에 따라 실시간 운영체제(RTOS)가 주로 탑재된다. 실시간 운영체제 iRTOS는 가전, 무기체계 등에서 사용되며 현재 iRTOS가 채택하고 있는 메모리 할당 기법은 first fit 기법인데 대부분 시간결정성을 보장하지만 상황에 따라서 시간결정성을 보장하지 않을 수 있다. 따라서 시간결정성 보장을 향상시킬 수 있는 메모리 할당 기법이 필요하다. 본 논문에서는 실시간 운영체제 iRTOS에서 시간결정성을 보장할 수 있는 메모리 할당 기법을 설계하고 구현하는 것을 기술한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2000.10a
• /
• pp.382-387
• /
• 2000

내장형 시스템(Embedded System)은 운영체제와 함께 사용자가 원하는 목적과 기능의 응용 프로그램을 내장하여 원하는 작업을 할 수 있도록 해주며, 각종 전자기기들이 디지털화 되면서 각종 기능들을 제어하기 위한 운영체제로서 내장형 운영체제가 주목을 받기 시작하였다. 데스크탑 시스템과 내장형 시스템의 하드웨어 특성과 요구사항은 서로 다르기 때문에 데스크탑 기반의 Unix 운영체제로 널리 쓰이고 있는 GNU/Linux를 내장형 시스템의 운영쳬제로 사용하기 위에서는 여러 가지 운영체제 구성 요소들에 대한 최적화가 뒤따라야 한다. GNU/Linux의 최적화를 위해 고려해 볼 수 있는 다섯 가지 방법을 설명하고, 실례로서 LRP에서 만든 결과를 분석해 보기로 한다.

• The KIPS Transactions:PartC
• /
• v.17C no.4
• /
• pp.335-346
• /
• 2010

Mac OS X is the Computer Operating System that develop in Apple Inc. Mac OS X is the successor to Mac OS 9 Version which had been Apple's primary operating system since 1984. Recently, Mac OS X 10.6 (Snow Leopard) has been manufactured and is distributed to user. Apple's Mac OS X Operating System is occupying about 10% in the world Operating System market share. But, Forensic tools that is utilized on digital forensic investigation can not forensic analysis about Mac OS X properly. To do forensic investigation about Mac OS X, information connected with user's action and trace can become important digital evidence in Operating System. This paper presents way about user trace data acquisition methodology in Mac OS X.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.9A
• /
• pp.1314-1321
• /
• 1999

This paper presents a performance comparison of commercial realtime operating systems which is widely used and guarantees short response time for call processing in IMT-2000 base station. For this, we analyzed wireless call process and extracted primitives which have strong influence on the performance of the system are derived. Constructing and running a test-bed for call processing on the basis of the analysis, we tested if there's a bottleneck in the performance of the system and compared the performances among the commercial realtime operating systems.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.12
• /
• pp.123-132
• /
• 2014

In this paper, we study the verification techniques for OS integrity that can be more fatal than applications in case of security issues. The dissemination of smartphones is rapidly progressing and there are many similarities of smartphones and PCs in terms of security risks. Recently, in mobile network environment, there is a trend of increasing damages and now, there are active researches on a system that can comprehensively respond to this. As a way to prevent these risks, integrity checking method on operation system is being researched. As most integrity checking algorithms are classified by verification from the levels before booting the OS and at the time of passing on the control to the OS, in which, there are minor differences in the definitions of integrity checking or its methods. In this paper, we suggests the integrity verification technique of OS using a boot loader and a physically independent storing device in the mobile device.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.4
• /
• pp.450-456
• /
• 2002

Open source web service softwares are usually running on UNIX-based operating systems. Choosing an operating system can affect web system performance. In this paper, we describe a source - code-level time measurement tool and measure a service time of each system call that Squid - open source web proxy cache - makes. We run Squid 2.4.STABLEl on Linux 2.4.2 and Solaris 8, and we compare the measured time. As a result, Linux 2.4.2 performs better than Solaris 8. It can be used as a guide for selecting system software on building web service using open source software, and also be used as a basis for enhancing the operating system performance of supporting web service software.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.310-312
• /
• 2003

다중 쓰레드를 지원하는 실시간 운영체제 스케줄러의 time partitioning 속성을 프로세스 알제브라 언어인 ACSR을 이용하여 분석한다. 본 논문에서는 먼저 실시간 운영체제의 전반적인 스케줄러 동작에 대한 ACSR 모델을 작성하고, 이를 두 가지 시나리오에 대해 분석한다. 이러한 방법을 사용함으로써 실시간 시스템의 설계 및 구현 작업을 보다 쉽고 정확하게 수행할 수 있다.