• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.928-931
• /
• 2008

현재까지 소프트웨어 개발을 위한 많은 컴포넌트 기술들이 연구되어 왔다. 하지만 기존의 기술들은 멀티프로세서 환경에서 사용하기에 적합하지 못하다. 멀티프로세서 임베디드 소프트웨어를 구성하는 다수의 쓰레드들이 병렬적으로 수행될 수 있고, 그로 인한 성능 문제 또한 고려되어야 하기 때문이다. 본 논문에서는 새로운 컴포넌트 모델과 태스크 모델, 그리고 소프트웨어 설계 과정을 제안한다. 그리고 컴포넌트 모델과 태스크 모델 사이의 변환 과정 및 병렬성 극대화를 위한 태스크 분할 과정을 소개하여, 최종적으로 성능분석이 가능한 멀티프로세서 임베디드 소프트웨어 개발 과정을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.787-789
• /
• 2005

로봇의 각 기능적 단위인 제어 컴포넌트는 그 자체로는 하나의 독립적인 기능을 수행하기 때문에 복잡한 문제를 해결하기 위해선 여러 제어 컴포넌트를 상황에 따라 제어할 수 있는 태스크 매니저가 필요하다. 상황을 판단하고 그에 따른 적절한 제어를 하기 위해서는 제어 컴포넌트의 실행 상태를 정의하고 이에 따른 정확한 규정이 필요하다. 또한 제어 컴포넌트가 동일한 메모리 공간에만 존재하는 것이 아니기에 네트워크로 분리하고 이들 사이의 통신을 정의하고 구현할 필요가 있다. 본 논문은 제어 컴포넌트의 제어 상태를 정의하고 태스크 매니저와 제어 컴포넌트를 연결할 작업 관리 구조와 이를 이용한 실험 결과를 제시한다.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.99-104
• /
• 2001

As a plan to counteract solving software crisis, the technology that is called Component Based Software Engineering (CBSE or Componentware) is introsuced. Component Based Software Developement (CBSD) Processes as one of the technique among CBSE have been proposed. Component specification activities among CBSD Processed are necessary and important for generating feusable component. However, the existing CBSD processed can't ensure the correctness in requirements are reflected. In this paper, we propose that formal activities wgich specify component using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 5 tasks and 12 subtasks. By presenting specific 19 products, it is also proposed that component specification activities which are the base of CBSD for reusing. The proposed activities are able to improve qualities of component through correctness and verification of requirements specification of users in the early step of component-based software process.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.519-524
• /
• 2010

In this paper, we will introduce our approach for composing operation based on user tasks. It is based on Service Component Architecture (SCA). In addition, we developed ontology based on OWL and the MIT process handbook, called u-TO(universal task ontology), which can be used for users describing and specifying semantically their needs. We represent the hierarchy of tasks, and classify tasks according to views in u-TO. It aims at facilitating the modeling of complex demands or systems without regarding details of technical aspects of underlying infrastructure.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.496-499
• /
• 2008

현재까지의 컴포넌트 기술은 컴포넌트의 구조 및 인터페이스 그리고 컴포넌트 간의 조립 및 상호작용과 같은 컴포넌트의 기능적인 측면을 중심으로 연구가 이루어져왔다. 이러한 기능적인 측면의 컴포넌트 연구는 컴포넌트의 재사용성을 중심으로 한 소프트웨어의 생산성 향상과 품질의 최적화 등을 가능하게 하였다. 그러나 기존의 연구들은 컴포넌트의 성능적인 측면을 고려하지 않아 임베디드 소프트웨어에서 요구되는 성능을 만족시키거나 분석하는 것이 어렵다. 본 논문에서는 소프트웨어를 구현하기 전에 컴포넌트 모델을 이용하여 소프트웨어의 성능을 미리 예측하는 방법을 제시한다. 제안하는 방법은 성능 예측을 가능하게 하는 컴포넌트 및 태스크 모델을 정의한 후, 테스크 레벨의 응답시간을 예측하는 기법을 소개한다. 아울러 캐시나 파이프라인과 같은 하드웨어가 성능에 미치는 영향도 함께 고려한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.424-426
• /
• 2005

유비쿼터스 컴퓨팅 환경의 실현 가능성이 높아지면서 그 핵심 요소로 RFID 기술이 대두되고 있다. 지금까지의 RFID 시장은 주로 트랜스폰더, 리더 등 하드웨어 중심의 성장이었으나, 최근 기존 솔루션과의 통합 및 데이터 수집,제어,관리 등을 지원하는 RFID 미들웨어의 중요성에 대한 인식이 확산되고 있다. Task Management System은 RFID 미들웨어를 구성하는 내부 컴포넌트로써 시간 또는 리더로부터 수집된 데이터 값 등의 여러 조건을 분석하여 사전에 정의된 규칙에 따라 일련의 필요한 태스크를 수행한다. 기존의 RFID 미들웨어들은 대부분 단순한 형태의 시스템 태스크의 수행을 지원하고 있으나, 실제 유통 및 물류 시스템 개발의 효율을 높이기 위해서는 그러한 시스템 태스크의 수행 뿐 아니라 상위의 비즈니스 프로세스와 연계된 비즈니스 태스크의 수행을 지원하는 것이 필요하다. 본 논문은 시스템 태스크와 비즈니스 태스크를 지원하는 Task Management System의 설계 방법과 그 기반이 되는 Rule 관리 방법을 제시한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.198-203
• /
• 2000

NRCL(NaRae Hardware Control Language)은 C++ 기반의 산업용 객체 지향 실시간 언어이다. NRCL은 멀티태스킹이 가능하며, 이벤트 위주(Event-Driven) 방식의 가벼운 언어이다. 언어를 가볍게 만들기 위해 NRCL은 태스크를 최소 단위의 객체(컴포넌트)로 정의하였으며, 스케줄러(메시지 처리기)를 통해 우선 순위 방식으로 태스크들을 활성화시킨다. 본 논문에서는 효율적인 실시간 시뮬레이터 작성을 위한 객체지향 실시간 언어 NRCL을 제안하고, NRCL을 통한 재사용성, 이식성, 확장성, 유지 보수성을 보인다.

• The Journal of Korean Association of Computer Education
• /
• v.3 no.2
• /
• pp.87-94
• /
• 2000

Software productivity doesn't satisfy the need of service of software users and software quality isn't improved. Moreover, we still have difficulty in software maintenance. As a plan to counteract solving this crisis, the technology that is called CBSE or Componentware is introduced. Componet Based Software Architecture, one of the technologies associated with CBSE, as a structural description of system, describes both the components composed system of and interaction among these components. Software Architecture provides the technology and the methodology of composition among components in the field of CBSE. is accepted one of core technologies. In this thesis, we analyse information necessary for component specification and then proposed that component specificaton activities using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 9 tasks. By presenting specific 11 products, it is also proposed that component specification activities which is the base of CBSD(ComponentBased Software Development) for reusing.

• Journal of KIISE
• /
• v.44 no.6
• /
• pp.595-600
• /
• 2017

Android applications are composed of one or more components. The components within an application or several applications may interact with each other primarily through intents. Such interactions may cause security and reliability issues such as broadcast theft, activity hijacking, and intent spoofing. These problems need to be resolved through testing techniques using various interaction test scenarios before an application gets launched. However, with the existing test scenario generation approach, some infeasible test scenarios may be generated since they do not consider the re-execution order based on activity setting when pressing the back button. This paper proposes a test case generation technique which removes infeasible interaction paths by utilizing the activity stack information.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.8B
• /
• pp.509-520
• /
• 2007

In this paper, we propose a real-time sensor node platform that guarantees the real-time scheduling of periodic and aperiodic tasks through a multitask-based software decomposition technique. Since existing sensor networking operation systems available in literature are not capable of supporting the real-time scheduling of periodic and aperiodic tasks, the preemption of aperiodic task with high priority can block periodic tasks, and so periodic tasks are likely to miss their deadlines. This paper presents a comprehensive evaluation of how to structure periodic or aperiodic task decomposition in real-time sensor-networking platforms as regard to guaranteeing the deadlines of all the periodic tasks and aiming to providing aperiodic tasks with average good response time. A case study based on real system experiments is conducted to illustrate the application and efficiency of the multitask-based dynamic component execution environment in the sensor node equipped with a low-power 8-bit microcontroller, an IEEE802.15.4 compliant 2.4GHz RF transceiver, and several sensors. It shows that our periodic and aperiodic task decomposition technique yields efficient performance in terms of three significant, objective goals: deadline miss ratio of periodic tasks, average response time of aperiodic tasks, and processor utilization of periodic and aperiodic tasks.