• Title/Summary/Keyword: Software requirement specification

Search Result 62, Processing Time 0.023 seconds

A Study on Design of Digital Protective Relay for Transformer Using a DSP (DSP를 이용한 변압기용 디지털 보호계전기 설계에 관한 연구)

  • 서희석;권기백
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.17 no.6
    • /
    • pp.39-46
    • /
    • 2003
  • In this papers, We studied system requirement specification, hardware design and implementation, protective algorithm and software design method to implement digital protective relay which has high trust and high function of protection as well as control and metering for power transformers. Protective relay for transformer is implemented on real time using DSP, which is the specific processor for digital signal processing, as a result, it is completed by the wide improvement of arithmetic capability of protective relay. Reliability is proved testing operating value and operating time, reset value and reset time of an relaying element using protective relay tester made in NF Corporation of Japan.

Performance Analysis of Error Recovery System on Distributed Multimedia Environment (분산 멀티미디어 환경에서 실행되는 오류 복구 시스템의 성능 분석)

  • Ko Eung-Nam
    • Journal of Digital Contents Society
    • /
    • v.6 no.1
    • /
    • pp.85-88
    • /
    • 2005
  • The requirement of distributed multimedia applications is the need for sophisticated QoS(quality of service) management. In terms of distributed multimedia systems, the most important catagories for quality of service are a timeless, volume, and reliability. In this paper, we discuss a method for increasing reliability through fault tolerance. We describe the desist and implementation of the ERA running on distributed multimedia environment ERA is a system is able to recover automatically a software error based on distributed multimedia. This paper explains a performance analysis of an error recovery system running on distributed multimedia environment using the rule-based DEVS modeling and simulation techniques. In DEVS, a system has a time base, inputs, states, outputs, and functions.

  • PDF

Construction of Global Finite State Machine from Message Sequence Charts for Testing Task Interactions (태스크 상호작용 테스팅을 위한 MSC 명세로부터의 전체 유한 상태 기계 생성)

  • Lee, Nam-Hee;Kim, Tai-Hyo;Cha, Sung-Deok;Shin, Seog-Jong;Hong, H-In-Pyo;Park, Ki-Wung
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.9
    • /
    • pp.634-648
    • /
    • 2001
  • Message Sequence Charts(MSC) has been used to describe the interactions of numerous concurrent tasks in telecommunication software. After the MSC specification is verified in requirement analysis phase, it can be used not only to synthesize state-based design models, but also to generate test sequences. Until now, the verification is accomplished by generating global state transition graph using the location information only. In this paper, we extend the condition statement of MSC to describe the activation condition of scenarios and the change of state variables, and propose an approach to construct global finite state machine (GFSM) using this information. The GFSM only includes feasible states and transitions of the system. We can generate the test sequences using the existing FSM-based test sequence generation technology.

  • PDF

A Study on Wrapping of Legacy System using a Transaction Adaptor Component (트랜잭션 어댑터 컴포넌트를 이용한 레거시 시스템의 랩핑에 관한 연구)

  • Hwang, Sun-Myung;Kim, Sang-Young;Kim, Jung-Ah;Jin, Young-Tak
    • The KIPS Transactions:PartD
    • /
    • v.11D no.3
    • /
    • pp.605-616
    • /
    • 2004
  • The purpose of CBSD(Component Based Software Development) if to develop software using a reuse component and components assembly. The reused components have to be adapter for satisfaction of requirement specification. This paper represents a component adaption method which reuse previously developed component or legacy system, using an adaptation component called by TA(Transaction Adaptor). The adaptation using TA transmits XML data that is translated into stream type, from a client to on host system. And we introduce RS(Rule Server) which gets some Information from XML data for application program development. Through the Interaction of TA and RS, we can improve effectiveness of component development and maintenance and we can reuse legacy system.

The Design and Implementation of e-BCOS for e-Business Component System (e-비즈니스 컴포넌트 시스템 설계 및 구현)

  • Choi, Ha-Jung;Kim, Haeng-Kon
    • The KIPS Transactions:PartD
    • /
    • v.10D no.1
    • /
    • pp.85-100
    • /
    • 2003
  • Today's computing system has expanded its application to business trade and distributed work transactions using the Internet. As the demand for more flexible, adaptable, extensible, and robust web-based enterprise, these application development has been gradually expanded based on reusable, independent, and portable components. Component Based Development (CBD) works by developing and evolving software from selected reusable software components and then assembling them within appropriate software architecture. However, it requires an increase in cost to build new components as well as the necessary effort to develop of the business requirement these components. Standardized component models are required as well from the perspective of systems in order to support rapid and exact component information transmission on the web. In this paper, we describe the e-Business Component Development with agent for rapid application development on the web that correspond to the demands of users in the business domain. We design and implement the specifications of e-business components by combining these demands. In order to improve the agent register and retrieval, we propose the intelligent search and register agents, which can conduct more precise searching and specializing for components. The system enables the locating of user's frequently used components through an agent involving register and retrieval, as well as rapid procedures for registers The e-BCOS (e-Business Component System) is the agent system for the user to register distributed components and to search for components Information. The e-BCOS increases reusability through the e-business component development of distributed components in the business domain. For the share and delivery, specification with XML is acceptable to user's variable order e-BCOS Includes the effective investment, timeliness, reliability, efficiency, and maintenance effort by with agent.

Research on the Design and Evaluation of a Control Loading System for Flight Simulator (비행 시뮬레이터용 조종력 재현 장치 설계 및 시험연구)

  • Lee, Chan-Seok;Kim, Byoung-Soo
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.32 no.4
    • /
    • pp.95-100
    • /
    • 2004
  • This paper represents the development of a CLS(Control Loading System) for a target a airplane (KT-1) with mechanical linkage reversible flight control system. The system is composed of mechanical frame, controller, sensing part to measure the force from the stick, driving system generating the reaction forces. The DS1103 DSP(Digital Signal Processor) of the dSpace Corp. was used as the controller. The control algorithm of the CLS and the operational environment including monitoring software and evaluation tools are described. The evaluation of the system was conducted according to the requirement specification. The results of the test were analyzed by comparing with the actual data of the target airplane.

Requirements analysis and Use-case realization using Macrostruktur (거시구조 개념을 이용한 요구사항 분석과 Use-case 도출 방법)

  • Cho, Yong-Kyun;Bak, Yong-Ik;Park, Young-Bom
    • The KIPS Transactions:PartD
    • /
    • v.18D no.6
    • /
    • pp.433-442
    • /
    • 2011
  • As software is varied and grew in size, the importance of clear understanding and representing customer's need, has been emphasized. It is not easy to drive and define critical system needs, since requirements in early stage of the development, is and conceptual. Technical perspective view, Several theoretical analysis methods and validation techniques are introduced, but in practice, it is hard to drive clear customer's requirement. In this paper, to drive clear customer's requirements, Macrostruktur concept of textlinguistics is used. First, Macrostruktur of textlinguistics is used to analysis descriptive requirements. Second, Macrostruktur-rule is applied to analyzed Macrostruktur data in order to derive Macrostruktur-propositions. Finally, it is proposed to generating Use-case model using derived Macrostruktur-propositions.

Digital Rights Management and Rights Language (디지털 저작권관리와 Rights Language)

  • 박정희;성평식;이기동
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.8 no.2
    • /
    • pp.7-13
    • /
    • 2003
  • The Internet presents a unique platform for disseminating digital content such as music, video, games, software, text, business and proprietary corporate information. It promises ubiquitous access, while at the same time fundamentally challenging the traditional rules of ownership and distribution of content. In such environment, safe protection and proper delivery of digital content would be a crucial requirement toward a new e-business model. Research on the Digital Rights Management (DRM) focuses on filling this functional vacancy of the market transition by providing a more viable business model based. XrML(eXtensible Rights Markup Language) provides a universal tool for specification of rights, fees, and issuing conditions(licenses) associated with the use and protection of digital content. ContentGuard has developed XrML to unify the Digital Rights Management(DRM) specifications and encourage interoperability. It seems that all working groups of DRM agree to use XrMl for their right description language.

  • PDF

Automated Detecting and Tracing for Plagiarized Programs using Gumbel Distribution Model (굼벨 분포 모델을 이용한 표절 프로그램 자동 탐색 및 추적)

  • Ji, Jeong-Hoon;Woo, Gyun;Cho, Hwan-Gue
    • The KIPS Transactions:PartA
    • /
    • v.16A no.6
    • /
    • pp.453-462
    • /
    • 2009
  • Studies on software plagiarism detection, prevention and judgement have become widespread due to the growing of interest and importance for the protection and authentication of software intellectual property. Many previous studies focused on comparing all pairs of submitted codes by using attribute counting, token pattern, program parse tree, and similarity measuring algorithm. It is important to provide a clear-cut model for distinguishing plagiarism and collaboration. This paper proposes a source code clustering algorithm using a probability model on extreme value distribution. First, we propose an asymmetric distance measure pdist($P_a$, $P_b$) to measure the similarity of $P_a$ and $P_b$ Then, we construct the Plagiarism Direction Graph (PDG) for a given program set using pdist($P_a$, $P_b$) as edge weights. And, we transform the PDG into a Gumbel Distance Graph (GDG) model, since we found that the pdist($P_a$, $P_b$) score distribution is similar to a well-known Gumbel distribution. Second, we newly define pseudo-plagiarism which is a sort of virtual plagiarism forced by a very strong functional requirement in the specification. We conducted experiments with 18 groups of programs (more than 700 source codes) collected from the ICPC (International Collegiate Programming Contest) and KOI (Korean Olympiad for Informatics) programming contests. The experiments showed that most plagiarized codes could be detected with high sensitivity and that our algorithm successfully separated real plagiarism from pseudo plagiarism.

Development of Drawing & Specification Management System Using 3D Object-based Product Model (3차원 객체기반 모델을 이용한 설계도면 및 시방서관리 시스템 구축)

  • Kim Hyun-nam;Wang Il-kook;Chin Sang-yoon
    • Korean Journal of Construction Engineering and Management
    • /
    • v.1 no.3 s.3
    • /
    • pp.124-134
    • /
    • 2000
  • In construction projects, the design information, which should contain accurate product information in a systematic way, needs to be applicable through the life-cycle of projects. However, paper-based 2D drawings and relevant documents has difficulties in communicating and sharing the owner's and architect's intention and requirement effectively and building a corporate knowledge base through on-going projects due to Tack of interoperability between specific task or function-oriented software and handling massive information. Meanwhile, computer and information technologies are being developed so rapidly that the practitioners are even hard to adapt them into the industry efficiently. 3D modeling capabilities in CAD systems are enormously developed and enables users to associate 3D models with other relevant information. However, this still requires a great deal of efforts and costs to have all the design information represented in CAD system, and the sophisticated system is difficult to manage. This research focuses on the transition period from 2D-based design Information management to 3D-based, which means co-existence of 2D and 3D-based management. This research proposes a model of a compound system of 2D and 3D-based CAD system which presents the general design information using 3D model integrating with 2D CAD drawings for detailed design information. This research developed an integrated information management system for design and specification by associating 2D drawings and 3D models, where 2D drawings represents detailed design and parts that are hard to express in 3D objects. To do this, related management processes was analyzed to build an information model which in turn became the basis of the integrated information management system.

  • PDF