• 인지과학
• /
• 제24권3호
• /
• pp.237-270
• /
• 2013

결정론과 양립가능론은 그동안 자유의지론이 과학적인 견해와 맞지 않다고 생각해왔다. 이 논문은 친-과학적인 입장을 견지하면서 자유의지가 존재한다는 것이 아무런 문제나 모순을 발생시키지 않으며, 오히려 결정론이 과학적, 논증적 근거가 부족하다는 것을 논증한다. 먼저, 자아와 물리적인 신체(두뇌)의 동일론을 가정함으로써 이원론적인 자아를 거부한다. 자유의지는 다수실현이 가능한 기능적 개념이자 속성이다. 그래서 외계인이나 로봇의 행동 관찰을 통해서도 그들의 자유의지 유무를 판별할 수 있다. '자유의지'는 '소화' 처럼 기능류어이다. 우리가 소화기능을 가진다는 것을 아는 것처럼, 인간-자유의지의 미시적 구조를 파악해서 존재의 필연성을 알기 전이라도 우리에게 자유의지가 있다는 것은 알 수 있다. 어떤 개체가 자유의지 기능을 가지는가의 판단은 그것이 특정한 행동들을 가지는가에 달려있다. 그러한 행동은 상황에 맞게 행동을 조절하고 절제하며, 미래를 예측하고, 정교한 조건문을 만드는 등의 행동이다. 자유의지의 실체는 그러한 행동을 만들어내는 기능의 물리적인 담당자이다. 결정론은 갖가지 오해와 착각에 기초하고 있다. 결정론자들은 종종 물리법칙의 필연성과 결정론을 혼동한다. 또 다른 큰 착각은 자유의지가 한 시점에서 동일한 조건과 서로 다른 결과를 가진다고 생각한 것이다. 그러나 자유의지는 그 두 시점이 다르다는 것을 가정한다. 결정론은 종교의 영향을 받은 불필요한 추가적 가설이므로 오컴의 면도날에 따라 제거되어야 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.160-162
• /
• 2004

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.226-228
• /
• 2003

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

• 한국콘텐츠학회논문지
• /
• 제10권1호
• /
• pp.94-102
• /
• 2010

오늘날의 핸드폰, PMP, 지능형 가정기기, 자동차 엔진 컨트롤 시스템과 같은 내장형 시스템은 인간의 삶과 일, 놀이 등 살아가는 환경에 대한 전환을 가져오고 있다. 사용자가 요구하는 다양한 서비스들을 지원하기 위해 내장형 시스템 응용들의 복잡성이 증가하고 있으며, 그런 내장형 컴퓨팅 플랫폼에는 시간결정성을 갖는 실시간 운영체제를 사용해야 한다. 이런 실시간 운영체제의 커널 서비스들은 각 서비스 수행에 얼마만큼의 시간이 소요되는지를 명세하여 시간결정성을 보장하면서 작은 실행 이미지 크기를 가져야만 한다. 이런 정보를 토대로, 응용 개발자들은 각 태스크가 마감시간을 준수하도록 하는 실시간 응용 소프트웨어를 설계할 수 있다. 본 논문에서는 추가적인 메모리 오버헤드 없이 2r 레벨의 우선순위를 갖는 시스템에서 다차원 기법을 이용하여 고정상수 시간 내에 최상위 우선순위를 결정하는 완전 일반화된 실시간 스케줄링 알고리즘을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.199-201
• /
• 2003

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

• 대한임베디드공학회논문지
• /
• 제5권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)
• /
• 제13권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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.619-621
• /
• 2004

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• 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) 크기가 작아야 한다. 본 논문에서는 실시간 운영체제의 실행 이미지를 줄이면서 시간 결정성을 보장한 수 있도록 메모리 관리 체계를 설계하고 구현한 내용을 설명한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.418-420
• /
• 2002

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