公开(公告)号：KR1020070058948A

公开(公告)日：2007-06-11

申请号：KR1020060056190

申请日：2006-06-22

Applicant: 한국전자통신연구원

Inventor： 김정시 ,  임채덕

IPC: G06F13/10 ,  G06F11/00 ,  G06F9/06

CPC classification number: G06F8/20 ,  G06F11/366 ,  G06F13/102

Abstract: A method and a device for diagnosing OS resources to support a USB device driver development in a Linux system are provided to enable a device driver developer having no specialized knowledge for hardware and an OS to diagnose the OS resources required for developing the device driver by automating a process requiring kernel programming. An interface part(110) interfaces with a user. An execution environment initializer(120) initializes an execution environment of the system. A device initializer(130) enables the OS to recognize an analyzer USB device. A device descriptor information manager(140) collects, stores, and manages hardware setting information and descriptor information of the analyzed USB device. An endpoint I/O(Input/Output) processor(150) diagnoses endpoint I/O for the analyzed USB device. A device disconnector(160) releases connection to the diagnosed USB device.

Abstract translation: 提供了用于诊断OS资源以支持Linux系统中的USB设备驱动程序开发的方法和设备，以使得能够对硬件和操作系统没有专业知识的设备驱动程序开发人员通过自动化来诊断开发设备驱动程序所需的OS资源 一个需要内核编程的过程。 接口部分（110）与用户接口。 执行环境初始化器（120）初始化系统的执行环境。 设备初始化器（130）使得OS能够识别分析器USB设备。 设备描述符信息管理器（140）收集，存储和管理所分析的USB设备的硬件设置信息和描述符信息。 端点I / O（输入/输出）处理器（150）诊断分析的USB设备的端点I / O。 设备断路器（160）释放与被诊断的USB设备的连接。

公开(公告)号：KR1020070058944A

公开(公告)日：2007-06-11

申请号：KR1020060053767

申请日：2006-06-15

Applicant: 한국전자통신연구원

Inventor： 우덕균 ,  임채덕

IPC: G06F9/445 ,  G06F9/00

CPC classification number: G06F17/50 ,  G06F8/31 ,  G06F8/447

Abstract: A system and a method for developing software for a sensor node are provided to transmit only the modified application image to a target without transmitting whole image including a kernel and applications when an application source is modified and downloaded to the sensor node in a cross development environment of an embedded system. A cross-compiler(204) generates a target source by cross-compiling a source code inputted from a user. A target linker(206) generates an execution image of the object code by linking the generated object code with a kernel module of the sensor node(250). A communicator(210) communicates the execution image of the object code to the sensor node. A storing part(208) stores the source code received from the user and the object code generated in the cross-compiler. The storing part stores a symbol table storing a name and a target memory address of a symbol included in a kernel code.

Abstract translation: 提供用于开发用于传感器节点的软件的系统和方法，用于仅在将转换的应用程序图像修改并交换到交叉开发环境中的传感器节点的同时传送包括内核和应用程序在内的整个图像的目标， 的嵌入式系统。 交叉编译器（204）通过交叉编译从用户输入的源代码来生成目标源。 目标链接器（206）通过将生成的目标代码与传感器节点（250）的内核模块相链接来生成目标代码的执行图像。 通信器（210）将目标代码的执行映像传送到传感器节点。 存储部件（208）存储从用户接收的源代码和在交叉编译器中生成的目标代码。 存储部分存储存储内核代码中包含的符号的名称和目标存储器地址的符号表。

公开(公告)号：KR100550477B1

公开(公告)日：2006-02-10

申请号：KR1020030091016

申请日：2003-12-13

Applicant: 한국전자통신연구원

Inventor： 김정시 ,  임채덕 ,  박승민

IPC: G06F15/16 ,  G06Q50/10

CPC classification number: H04L67/125 ,  G06F8/20

Abstract: A host system having a device driver development tool and a target system having a device driver agent, the tool and the target system separated from each other and interconnected with a communication network. The driver agent device communicates with the target system, receiving and processing various service requests from the device driver development tool, and transmits the processed services to the host system through the communication network. Thr driver agent determines types of the services requested from the device driver development tool and performs services based on the types of the services determined. Accordingly, the device driver can be adapted to the target system and tested without complex procedures to effectively reduce time and manpower needed for the device driver development.

公开(公告)号：KR1020050063023A

公开(公告)日：2005-06-28

申请号：KR1020030094076

申请日：2003-12-19

Applicant: 한국전자통신연구원

Inventor： 전인걸 ,  김정시 ,  임채덕 ,  박승민 ,  김병철 ,  전용기

IPC: G06F11/28

Abstract: 본 발명은 임베디드 시스템의 하드웨어 디버깅에 관한 것으로, JTAG포트를 구비하고 있는 임베디드 시스템을 피시만을 이용하여 디버깅하기 위한 장치 및 그 방법에 관한 것이다.
본 발명의 JTAG을 이용한 임베디드 시스템의 디버거는, 임베디드 시스템의 특성에 따라 타겟에서 직접 디버깅을 할 수 없으므로 호스트와 타겟으로 이루어지는 원격 디버깅 환경으로 구성되어 있다. 임베디드 시스템 디버거는 원격 디버깅을 위해 호스트 시스템에 설치되는 디버거 에이전트와 타겟 시스템에 있는 시피유에 설치되는 디버거 핸들러, 그리고 호스트와 타겟을 물리적으로 연결해 주는 JTAG 어댑터로 구성되어 있으며, 디버거 에이전트는 개발자에게 사용상의 편의를 보장하기 위해 GDB(GNU Debugger)와 연동되어 사용 될 수 있게 하는 장치를 포함하는 것을 특징으로 한다.

公开(公告)号：KR1020050059366A

公开(公告)日：2005-06-20

申请号：KR1020030091016

申请日：2003-12-13

Applicant: 한국전자통신연구원

Inventor： 김정시 ,  임채덕 ,  박승민

IPC: G06F15/16 ,  G06Q50/10

CPC classification number: H04L67/125 ,  G06F8/20

Abstract: 본 발명은 드라이버 에이전트 장치 및 그 운용 방법에 관한 것으로, 특히 디바이스 드라이버 개발 도구를 갖는 호스트 시스템과 디바이스 드라이버를 갖는 타겟 시스템이 각각 분리되어 통신망으로 상호 연결된 임베디드 시스템에서 원격 디바이스 드라이버 개발 환경 지원을 위한 드라이버 에이전트 장치에 있어서, 상기 타겟 시스템과 상호 연결되어 상기 호스트 시스템의 디바이스 드라이버 개발 도구로부터 각종 서비스 요청을 전달 받아 이를 처리하고, 상기 처리된 서비스를 통신망을 통해 상기 호스트 시스템으로 전송하기 위한 통신처리수단; 상기 호스트 시스템의 디바이스 드라이버 개발 도구로부터 요청된 서비스의 종류를 판단하기 위한 코어수단; 및 상기 코어수단으로부터 판단된 서비스의 종류에 따라 해당 서비스를 수행하기 위한 서비스 처리수단을 포함하여 이루어짐으로써, 디바이스 드라이버 개발자가 임베디드 시스템에 대한 전문적인 지식이 없어도 디바이스 드라이버 개발을 쉽고 빠르게 할 수 있으며, 복잡한 절차 없이 디바이스 드라이버를 타겟 시스템에 적용하여 테스트할 수 있게 함으로써, 디바이스 드라이버 개발에 소요되는 시간 및 인력을 효과적으로 줄일 수 있는 이점이 있다.

公开(公告)号：KR1020040056307A

公开(公告)日：2004-06-30

申请号：KR1020020082910

申请日：2002-12-23

Applicant: 한국전자통신연구원

Inventor： 김정시 ,  전용기 ,  임채덕 ,  김흥남

IPC: G06F15/16

Abstract: PURPOSE: A thread concurrency data generating method for a post-mortem race detection of an embedded multi-thread program is provided to concur with a concurrency test technology to decide parallelism between the accesses to a shared variable stored during program execution by automatically generating the concurrency data fit to a corresponding time. CONSTITUTION: When a program start command is inputted from an executing string of the multithread program, a process for initializing the concurrency data is preformed(S23). When a thread generation command is inputted from the executing string of the multithread program, the process for generating the concurrency data is preformed(S25). When a thread joining command is inputted from the executing string of the multithread program, the process for generating the concurrency data is preformed(S27).

Abstract translation: 目的：提供一种用于嵌入式多线程程序的验尸竞赛检测的线程并发数据生成方法，以配合并发测试技术，以通过自动生成并发来决定在程序执行期间存储的共享变量的访问之间的并行性 数据适合相应的时间。 构成：当从多线程程序的执行字符串输入程序启动命令时，执行用于初始化并发数据的处理（S23）。 当从多线程程序的执行字符串输入线程生成命令时，执行用于生成并发数据的处理（S25）。 当从多线程程序的执行字符串输入线程加入命令时，执行用于生成并发数据的处理（S27）。

公开(公告)号：KR1020010038541A

公开(公告)日：2001-05-15

申请号：KR1019990046545

申请日：1999-10-26

Applicant: 한국전자통신연구원

Inventor： 임채덕 ,  이우진 ,  김흥남 ,  오길록

IPC: G06F15/16

Abstract: PURPOSE: A target server and a control method for remotely developing an embedded real time software is provided to allow a target server to be responsible for a communication between a tool and a host system, a symbol table management, a target memory management, and an execution file management so that it can reduce resources of the target system. CONSTITUTION: The system comprises a target server controller(310), a symbol table manager(350), an execution module manager(360), a communication back end manager(330), and a target memory manager(370). The target server controller(370) analyzes the functions requested by a tool, and calls the corresponding function. The symbol table manager(350) manages the data on subroutines, variables and module identifications included in the all the execution modules loaded in a target system and a system symbol table. The execution module manager(360) loads or unloads the execution file at or from the target system, and manages the loaded module list on the host system.

Abstract translation: 目的：提供用于远程开发嵌入式实时软件的目标服务器和控制方法，以允许目标服务器负责工具与主机系统之间的通信，符号表管理，目标存储器管理和 执行文件管理，使其可以减少目标系统的资源。 构成：系统包括目标服务器控制器（310），符号表管理器（350），执行模块管理器（360），通信后端管理器（330）和目标存储器管理器（370）。 目标服务器控制器（370）分析工具请求的功能，并调用相应的功能。 符号表管理器（350）管理包含在加载到目标系统中的所有执行模块中的子程序，变量和模块标识的数据以及系统符号表。 执行模块管理器（360）在目标系统处加载或卸载执行文件，并管理主机系统上加载的模块列表。

公开(公告)号：KR1020010038209A

公开(公告)日：2001-05-15

申请号：KR1019990046093

申请日：1999-10-22

Applicant: 한국전자통신연구원

Inventor： 이우진 ,  임채덕 ,  김흥남

IPC: G06F11/25

Abstract: PURPOSE: A stability analysis method and a system for the same are provided to express a system state involving uncertain cause and result relation specifications in a reverse direction by using a CPN(Coloured Petri Nets) so as to analyze the stability of an uncertain system. CONSTITUTION: The system comprises a risk definer(501), an interface window(503), a reverse processor(507), a critical state checker(511) and a forward processor(509). The risk definer(501) defines the risk. The reverse processor(507) generates a prior state of the software system. The critical state checker(511) detects if the software is in the critical state. The forward processor(509) performs a transition process in a forward direction on listed uncertain values to minimize the uncertain parts in an expression of the system state. The prior state generation step in the reverse processor(507) includes steps of designating the posterior state value of a place if a reverse function does not exist, and performing an OR logic on the posterior places if an interaction exists among the posterior places, and performing an AND logic on the posterior places if an interaction does not exist among the posterior places.

Abstract translation: 目的：提供一种稳定性分析方法及其系统，通过使用CPN（彩色Petri网）来表示涉及不确定的原因和结果关系规范的系统状态，以分析不确定系统的稳定性。 构成：系统包括风险定义器（501），接口窗口（503），反向处理器（507），临界状态检验器（511）和前向处理器（509）。 风险定义者（501）定义风险。 反向处理器（507）产生软件系统的先前状态。 临界状态检查器（511）检测软件是否处于临界状态。 前向处理器（509）在所列出的不确定值上沿正向执行转换处理，以最小化系统状态表达式中的不确定部分。 逆向处理器（507）中的先前状态生成步骤包括以下步骤：如果不存在反向功能，则指定场所的后状态值，并且如果在后方位置之间存在相互作用，则在后方位置执行OR逻辑，以及 如果在后方的位置之间不存在相互作用，则在后方进行AND逻辑。

公开(公告)号：KR100276689B1

公开(公告)日：2001-01-15

申请号：KR1019970058518

申请日：1997-11-06

Applicant: 한국전자통신연구원

Inventor： 임채덕 ,  천유식 ,  강병도

IPC: G06F17/30

Abstract: 본 발명은 소프트웨어 프로세스 제어 및 관리 시스템에서 프로세스 엔진의 프로세스 상태 제어 방법에 관한 것이다. 소프트웨어 프로세스는 소프트웨어 프로덕트를 생성하기 위한 개발행위들의 상대적 순서의 조합이며, 개발행위는 행위를 수행하는 개발자, 소요자원, 행위의 산물 등과 연관되어 있다. 종래에는 소프트웨어 프로세스의 수행이 수작업에 의해 관리되고 제어되었기 때문에 소프트웨어 개발 프로세스가 엄격하게 관리 및 제어되지 못하여 소프트웨어 프로덕트의 품질 및 생산성이 저하되는 문제점이 있었다. 이에 따라 소프트웨어 프로세스를 모형화하여 자동화된 도구로 수행할 수 있는 소프트웨어 프로세스 제어 및 관리 시스템이 필요하게 되었으며, 본 발명에서는 소프트웨어 프로세스 모형에서 정의된 개발 행위의 수행 전후 조건을 검사하여 수행 결과를 확인하므로써 소프트웨어 프로세스 모형에서 정의한 제한 사항과 수행중인 소프트웨어 프로세스 관련 정보들을 유지 및 관리하는 프로세스 엔진의 프로세스 상태 제어 방법이 제시된다.

公开(公告)号：KR1019990043755A

公开(公告)日：1999-06-15

申请号：KR1019970064797

申请日：1997-11-29

Applicant: 한국전자통신연구원

Inventor： 강병도 ,  임채덕 ,  천유식

IPC: G06F9/455

Abstract: 본 발명은 소프트웨어 프로세스 그래픽 모형으로부터 소프트웨어 프로세스 정의 언어로의 변환 방법에 관한 것이다. 소프트웨어 프로세스 모형을 기반으로 하여 프로젝트가 수행되도록 하기 위해서는 모형을 정의할 수 있는 방법이 있어야 하며, 일반적으로는 프로세스 정의 언어를 고안하여 이를 실행시켜 소프트웨어 프로세스를 실행하고 관리한다. 그러나 이 경우에 사용되는 언어는 보통의 프로그램 언어처럼 범용적이지 않기 때문에 처음 사용하는 사람이 어려움을 겪게 되기 쉽다. 따라서 본 발명에서는 소프트웨어 프로세스 모형을 그래픽하게 그리고 이 모형을 소프트웨어 프로세스 정의 언어 형태로 변환해 주기 위한 방법이 제시된다.