• Title/Summary/Keyword: 시스템 모델링 언어

Search Result 312, Processing Time 0.024 seconds

Bit-slice Modular multiplication algorithm (비트 슬라이스 모듈러 곱셈 알고리즘)

  • 류동렬;조경록;유영갑
    • The Journal of Information Technology
    • /
    • v.3 no.1
    • /
    • pp.61-72
    • /
    • 2000
  • In this paper, we propose a bit-sliced modular multiplication algorithm and a bit-sliced modular multiplier design meeting the increasing crypto-key size for RSA public key cryptosystem. The proposed bit-sliced modular multiplication algorithm was designed by modifying the Walter's algorithm. The bit-sliced modular multiplier is easy to expand to process large size operands, and can be immediately applied to RSA public key cryptosystem.

  • PDF

A Method for mapping an ADL Model to a target Java implementation model (ADL 모델을 Java 구현 모델로 매핑하는 방법)

  • 김수일;전태웅
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.10d
    • /
    • pp.22-24
    • /
    • 2002
  • 아키텍쳐 기술 언어(ADL : Architecture Description Language)는 상위 추상화 수준에서의 소프트웨어 시스템의 구조와 행위를 기술하는데 필요한 아키텍쳐 모델 요소들에 대한 직접적인 표현 수단을 제공한다. ADL온 특히 명세 수준의 논리적인 아키텍처를 모델링, 분석하는데 유용하다. 그렇지만 ADL로 기술된 상위 수준의 아키텍쳐 명세가 하위 수준의 구현 시스템으로 어떻게 상세화 되는지 알기가 쉽지 않다. 즉, 상위 수준의 아키텍쳐 명세와 하위 수준의 아키텍쳐 구현 사이에 의미적 차이가 존재한다. 본 논문은 이러한 의미적 차이를 효율적으로 줄일 수 있는 방법을 찾기 위한 일차적인 연구 결과로서, C2 스타일 기반의 ADL로 기술된 아키텍쳐 모델을 Java 구현 코드로 자동 변환하는 방법을 제안한다.

  • PDF

Implementation of JPEG Encoder and Decoder with SystemC (SystemC를 이용한 JPEG 인코더/디코더의 구현)

  • You, Myoung-Keun;Song, Gi-Yong
    • Proceedings of the Korea Institute of Convergence Signal Processing
    • /
    • 2006.06a
    • /
    • pp.89-92
    • /
    • 2006
  • 본 논문에서는 SystemC를 이용하여 데이터를 압축하는 JPEG의 인코더와 디코더 구현에 대하여 기술한다. SystemC는 SoC의 설계생산성을 높이기 위해 high-level abstraction에 기반하여 시스템을 모델링하고 명시하는 시스템 수준 설계 언어이고, JPEG은 DCT와 Huffman 코드를 이용하여 정지영상 정보를 압축하는 알고리즘이다. 설계된 JPEG 인코더와 디코더 모듈의 동작을 검증하기 위하여 인코더 모듈에 $16{\times}16$ 크기의 픽셀 RGB 데이터를 입력하고, 디코더 모듈에 인코더 모듈의 출력을 입력으로 연결하여 최종 출력되는 데이터를 비교 및 분석하여 확인하였다.

  • PDF

A Software Architecture Design Environment for Real-time Systems (실시간 시스템을 위한 소프트웨어 구조 설계 환경)

  • 강병도
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.6 no.4
    • /
    • pp.39-47
    • /
    • 2001
  • Software architecture serves as a framework for understanding system component and their interrelationships. Software architectures can be reusable assets to achieve low costs, high productivity, and consistent quality. We have developed a software architecture design environment, called Happy Work. In this paper, we would like to present the structure and functions of Happy Work. Happy Work has two main functions. First, it provides a graphic editor for modeling of software architecture diagram. Second, it provides an ADL, called HWL(HappyWork language). HWL is a language that describes software architecture.

  • PDF

CCSR Specification and Schedulability Analysis Using E-TCPN (E-TCPN을 이용한 CCSR 명세와 스케줄링가능성 분석)

  • 최동한;박홍복
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 1999.11a
    • /
    • pp.294-299
    • /
    • 1999
  • CCSR은 CCS에 시간적인 개념이 추가된 실시간 명세 언어로 실시간 프로세스의 정적 분석에 이용되고 있다. CCSR은 프로세스 전이 규칙을 이용하여 프로세스 동작의 관심 부분만 하여 분석하기 때문에 전체 태스크(task)의 동작을 분석하는데 적용하기 어렵고, 전이규칙에 따른 상태 변화를 이해하기 어렵다. E-TCPN은 시간 요소가 첨가된 Petri Net의 변형된 형태로 실시간 시스템의 분석과 모델링을 위한 형식적(formal) 방법을 제공한다. 본 논문에서는 CCSR로 표현된 프로세스 동작을 E-TCPN 모델에 적용함으로써 실시간 시스템을 중요한 사건을 중심으로 전체 태스크의 동작 과정을 표현하고 프로세스의 수행 과정을 이해하기 쉽도록 CCSR을 변형하여, E-TCPN 명세 모델에 적용하고, 적용된 E-TCPN으로 스케줄링가능성 분석 알고리즘을 제안하고 구현하였다.

  • PDF

A Case Study on Quest Engine for Travia Online Game (트라비아 온라인 게임의 퀘스트 엔진 구축 사례)

  • Lee Wan-Bok;Roh Chang-Hyun;Sohn Hyoung-Ryul
    • Journal of Game and Entertainment
    • /
    • v.2 no.2
    • /
    • pp.9-16
    • /
    • 2006
  • This paper introduces the case study of constructing a quest engine system in a commercial online game. The system can help several operations for quests such as modeling and execution with a dedicated script language. Since the many attributes of a quest, including the type or preconditions or execution ordering of quests, could be represented well with the script, game developers can constitute and modify a quest system very easily. Thus it is expected that the quest system introduced in this paper can be a good guideline to the developers of online RPG games.

  • PDF

An Optimized NUR Page Replacement Policy Considering the Recent Page Reference Frequency (최근 페이지 참조 빈도를 고려한 최적화된 NUR 페이지 교체 정책)

  • Min, Kyeong-Kuk;Kim, Young-Kyu;Bae, Kyeong-ryeol;Moon, Byungin
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2012.11a
    • /
    • pp.282-283
    • /
    • 2012
  • 가상메모리 시스템에서 페이지 부재(page fault)를 최소화하기 위해서는 미래에 사용될 페이지를 미리 예측하는 것이 중요하다. 미래에 사용될 페이지는 이미 입력된 페이지들의 패턴 분석을 통해 예측 가능하며 이를 통해 시스템 성능을 최대화 할 수 있는 페이지 교체 정책(page replacement policy)에 대한 연구가 필요하다. 본 논문에서는 동일한 교체 우선권을 가지는 페이지들 간의 예측 적중률을 높이기 위하여 기존의 NUR(not used recently) 정책에 참조횟수 비트를 추가하여 우선 순위를 판단하는 방법을 제안한다. 제안하는 정책은 C 언어를 기반으로 모델링 되었으며 시뮬레이션 결과 페이지 프레임의 크기와 무관하게 기존의 정책들에 비해 성능이 향상됨을 확인하였다.

A Study on the Development of Efficient Naval Combat System Tactical Record and Replay Software (효율적인 해양 전투체계 전술정보 기록 및 재생 소프트웨어 개발에 대한 연구)

  • Jung, Seung-Mo;Yang, Moon-Seok
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2019.07a
    • /
    • pp.35-36
    • /
    • 2019
  • 최근 해양 전투체계에서는 사후분석에 대한 기능이 중요시 되고 있다. 그 이유는 사후분석을 통해 작전을 분석하고 더 나은 작전을 수행할 수 있기 때문이다. 이를 가능하게하기 위해 해양 전투체계에는 전술정보 기록 및 재생 기능이 탑재되어 있다. 전술정보 기록 및 재생은 작전상황에서 전투체계 콘솔에 전시된 전술정보들을 기록해서 사후분석 및 평가를 위해 재생하는 기능이다. 본 논문에서는 전술정보 기록 및 재생 개발에 대한 효율화 방법을 제시한다. 모델 중심의 개발방식 적용과 재생시간의 효율화를 통해 기존방식 보다 효율적인 전술정보 기록 및 재생 소프트웨어를 개발하는데 그 목적을 가진다.

  • PDF

Design and Implementation of Web-based Information Searching System with Mobile Agent Engine (이동 에이전트 엔진을 이용한 웹 기반 정보 검색 시스템의 설계 및 구현)

  • Oh, Dong-Seok;Kim, Seung-Gwon;Park, Soon-Cheol
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.4 no.4
    • /
    • pp.79-87
    • /
    • 1999
  • This paper proposes a searching system with a mobile agent which retrieve data from the distributed hosts. The proposed system dispatched the movable objects, so called AGLET, to the distributed hosts in order to perform a task given by a client or a server. The network of the existing system must not be disturbed during a task is performing. However our system has the strong point that a task can be performed even if the network is disconnected on the way. When the network is disconnected, the system can get the results later after the network system is connected again. Designing the system has been done by using UML(Unified Modeling Language) which is a standardized object-oriented modeling language. AGLET, a pure JAVA product of IBM, is used for the mobile agent.

  • PDF

Design and Implementation of Student Taking a course application Management System Based on XML (XML기반의 수강신청 관리 시스템 설계 및 구현)

  • Yun, Ho-Kun
    • Journal of Korea Game Society
    • /
    • v.2 no.2
    • /
    • pp.104-112
    • /
    • 2002
  • XML was applied to web-Based application system for efficient data supervision and processing. Also, ASP permitted embodiment of easy web-Based programming, and UML is studied by the new alternative of system modelling techniques. Thus, In this paper see embodied student taking a course application management system using XML, ASP, UML. This was composed, and used XML for effective data supervision and processing by student mode and administrator mode. Also, It used UML for systems analysis and design, and whole system implemented by ASP. And, Database implemented to used in MS-ACCESS, and it used java Script language for efficient practical use of web document.

  • PDF