• Korean Journal of Cognitive Science
• /
• v.24 no.3
• /
• pp.237-270
• /
• 2013

Determinism and compatibilism have thought that libertarianism contradicts the scientific view. This paper demonstrates that the hypothesis that free will exists does not cause any problems and contradictions, while maintaining pro-scientific view. Rather, determinism lacks scientific and demonstrative bases. At first, I reject dualistic self by assuming identity theory of the self and physical body & brain. Free will is a functional concept or property that can have multiple realization. Therefore we can recognize whether aliens or robots have free will through observation on their acts. 'Free will' is a functional kinds term like 'digestion'. As we know we have digestive function, we can know that we have free will even before knowing the necessity of its existence by understanding micro structure of human free will. The judgement that an individual has free will function depends on whether it has particular actions. Those actions are controlling and restraining actions in context, predicting future, making elaborate conditional sentences, etc. Real being of free will is the physical occupant of the function that makes those actions. Determinism is based on various kinds of misconceptions and misunderstandings. Determinists often confuse necessity of physical law and determinism. Another decisive misunderstanding is that free will postulates same conditions and different results from the same point of time. However, free will postulates that the two points of time are different. Because determinism is unnecessary redundant hypothesis influenced by religions, according to Ockham's Razor, determinism should be eliminated.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.160-162
• /
• 2004

실시간 운영 체제(Real-Time Operating Systems)는 시스템 동작이 논리적 정확성뿐만 아니라 시간적 정확성에도 좌우되는 운영 체제이다. 시간 결정성(Time Determinism)을 지키기 위해서는 시스템에서 발생하는 모든 사건에 대해서 예측이 가능해야 한다. 시스템에서 발생하는 사건은 인터럽트에 의해 처리되는데, 이것은 비동기적인 사건의 발생을 CPU에게 알리는 하드웨어 메커니즘으로서 인터럽트 서비스 루틴(Interrupt Service Routine ： ISR)을 통해서 인터럽트에서 처리해야 할 부분을 수행한다. 본 논문에서는 인터럽트의 처리를 인터럽트의 인지와 처리로 분리할 수 있도록 LISR과 HISR을 설계로 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.226-228
• /
• 2003

실시간 운영체제(Real-Time Operating System)는 그 실행환경상 시스템이 예상치 못한 특정 이벤트가 발생하는 악 조건속에서도 태스크 수행의 데드라인을 초과하지 않도록 시간적인 측면의 determinism을 보장하는 안정된 스케줄링 기능을 갖춘 운영체제이다. 또한, 예상치 못한 fault 를 미연에 방지할 수 있는 장치를 가지고 있어야 한다. 본 논문에서는 예상치 못한 fault 를 미연에 방지하기 위하여 필요한 운영체제를 설계 및 구현하는데 그 목적이 있다.

• The Journal of the Korea Contents Association
• /
• v.10 no.1
• /
• pp.94-102
• /
• 2010

In recent years, embedded systems such as cellular phones, Portable Multimedia Player, intelligent appliance, automobile engine control are reshaping the way people live, work, and play. Thereby, services application to guarantee various requirements of users become increasingly sophisticated and complicated, such embedded computing platforms use real-time operating systems (RTOSs) with time determinism. These RTOSs must not only provide predictable services but must also be efficient and small in size. Kernel services should also be deterministic by specifying how long each service call will take to execute. Having this information allows the application designers to better plan their real-time application software so as not to miss the deadline of each task. In this paper, we present the complete generalized real-time scheduling algorithm using multi-dimensional methodology to determine the highest priority in the ready list with 2r levels of priorities in a constant time without additional memory overhead.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.199-201
• /
• 2003

실시간 운영체제(Real-Time OS)는 우선순위 기반의 선점형 스케줄링을 제공하는 운영체제로서 시간 결정성 (Determinism)을 보장하는 특징이 있다. 그러나, 우선순위가 높은 태스크가 우선순위가 낮은 태스크에 의해 CPU를 점유 당하는 우선순위 역전(Priority Inversion)이 발생하여 시간 결정성이 보장되지 못하면 시스템의 심각한 결함을 야기할 수 있다. 본 논문에서는 우선순위 역전을 해결하기 위하여 Priority Inheritance Protocol 을 적용한 세마포 (Semaphore)의 구현에 대해 기술한다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.103-110
• /
• 2010

Due to the increasing amount of electronic control system in a vehicle, the automotive software is increasingly sophisticated and complicated. Therefore it may be faced a time critical problem caused by its complexity. In order to solve such problems, the automotive electronic system can use a real-time scheduling mechanism based on predictability. We first consider the standard specification of the AUTOSAR OS and uC/OS-II such as its scheduling theory with time determinism. In this paper, we propose the scheduling algorithm to be conformable to a conformance class of OSEK/VDX specification. Algorithm analysis shows that our scheduling algorithm outperforms an existing Trampoline OS by intuition.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.9
• /
• pp.4429-4445
• /
• 2019

As low-power and low-rate WSNs are being widely used for industrial applications, the scheduling of such applications becomes a critical issue to guarantee meeting the stringent requirements of determinism and tight latencies. This paper studies the link scheduling problem for real-time industrial applications in time-slotted channel hopping (TSCH) networks. We propose a heuristic algorithm for centralized link scheduling referred to as path-collision aware least laxity first (PC-LLF) algorithm, which dynamically prioritizes the packets based on the laxity time to the end-to-end deadlines and the amount of collisions that messages might deal with along their designated paths to the destination device. We propose schedulability analysis of real-time applications scheduled under our prioritization approach over TSCH networks, based on the literature on real-time schedulability analysis of multiprocessors and distributed systems. We show that our methodology provides an improved schedulability condition with respect to the existing approaches. Performance evaluation studies quantify to quantify the performance of our proposed approach under a variety of scenarios.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.619-621
• /
• 2004

실시간 운영 체제(Real-Time Operating Systems)는 시스템 동작이 논리적 정확성뿐만 아니라 시간적 정확성에도 좌우되는 운영 체제이다. 시간적 정확성은 결정성(Determinism)이라고도 하며 이를 지키기 위해서는 실시간 운영체제의 제약조건의 하나인 시스템 예측성을 만족해야만 한다. 예측성이란 시스템의 서비스가 정해진 시간 안에 완료되는지를 판별할 수 있다는 것으로 정확하게 동작하는 타이머가 꼭 필요하다. 본 논문에서는 타임 슬롯을 이용해서 타이머의 활성화, 비활성화 루틴을 간단하게 하고 타이머가 만료(Expire)되었음을 간단하게 판별해 낼 수 있는 소프트 타이머를 설계 및 구현하였다

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.58-60
• /
• 2002

실시간 운영 체제(Real-Time Operating System)는 특정 태스크가 정해진 시간 안에 수행될 수 있도록 시간 결정성(Determinism)을 보장하는 운영 체제이다. 실시간 운영테제는 멀티태스킹(Multitasking) 및 ITC(InterTask Communication 혹은 IPC, Interprocess Communication)을 제공한다는 점에서는 일반 운영체제인 Unix$^{TM}$, Linux$^{TM}$, Windows$^{TM}$ 등과 같지만, 시간 결정성을 보장한다는 점에서 일반 운영 체제와 다르다. 또만 실시간 운영 체제를 포함한 임베디드 시스템(Embedded System)은 일반적으로 디지털 카메라, 디지털 TV, DVD 등에서 수행되므로 실행 이미지(Image) 크기가 작아야 한다. 본 논문에서는 실시간 운영체제의 실행 이미지를 줄이면서 시간 결정성을 보장한 수 있도록 메모리 관리 체계를 설계하고 구현한 내용을 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.418-420
• /
• 2002

실시간 운영 체제(Real-Time OS)는 특정 태스크가 정해진 시간 안에 수행될 수 있도록 시간 결정성(Determinism)을 보장하는 운영 체제이다. 실시간 운영체제는 멀티태스킹(Multitasking) 및 ITC(InterTask Communication 혹은 IPC, Interprocess Communication)을 제공한다는 점에서는 일반 운영체제인 Unix$^{TM}$, Linux$^{TM}$, Windows$^{TM}$ 등과 같지만, 시간 결정성을 보장한다는 점에서 일반 운영체제와 다르다. 본 논문에서는 전부 혹은 일부의 소스 공개를 고려한 개방형 구조를 기반으로 하여, 응용프로그램 개발자에게 보다 나은 융통성과 편의를 제공할 수 있도록 실시간 운영체제 커널을 설계한 내용을 설명하고 있다.