• Title/Summary/Keyword: Design-By-Contract

Search Result 267, Processing Time 0.028 seconds

Application of Contract Net Protocol to the Design and Simulation of Network Security Model (계약망 프로토콜을 적용한 네트워크 보안 모델의 설계와 시뮬레이션)

  • 서경진;조대호
    • Journal of the Korea Society for Simulation
    • /
    • v.12 no.4
    • /
    • pp.25-40
    • /
    • 2003
  • With the growing usage of the networks, the world-wide Internet has become the main means to exchange data and carry out transactions. It has also become the main means to attack hosts. To solve the security problems which occur in the network such as Internet, we import software products of network security elements like an IDS (Intrusion Detection System) and a firewall. In this paper, we have designed and constructed the general simulation environment of network security model composed of multiple IDSes and a firewall which coordinate by CNP (Contract Net Protocol) for the effective detection of the intrusion. The CNP, the methodology for efficient integration of computer systems on heterogeneous environment such as distributed systems, is essentially a collection of agents, which cooperate to resolve a problem. Command console in the CNP is a manager who controls the execution of agents or a contractee, who performs intrusion detection. In the network security model, each model of simulation environment is hierarchically designed by DEVS(Discrete Event system Specification) formalism. The purpose of this simulation is that the application of rete pattern-matching algorithm speeds up the inference cycle phases of the intrusion detection expert system and we evaluate the characteristics and performance of CNP architecture with rete pattern-matching algorithm.

  • PDF

Application of Contract Net Protocol to the Design and Simulation of Network Security Model

  • Suh, Kyong-jin;Cho, Tae-ho
    • Proceedings of the KAIS Fall Conference
    • /
    • 2003.11a
    • /
    • pp.197-206
    • /
    • 2003
  • With the growing usage of the networks, the world-wide Internet has become the main means to exchange data and carry out transactions. It has also become the main means to attack hosts. To solve the security problems which occur in the network such as Internet, we import software products of network security elements like an IDS (Intrusion Detection System) and a firewall. In this paper, we have designed and constructed the General Simulation Environment of Network Security model composed of multiple IDSes and a firewall which coordinate by CNP (Contract Net Protocol) for the effective detection of the intrusion. The CNP, the methodology for efficient integration of computer systems on heterogeneous environment such as distributed systems, is essentially a collection of agents, which cooperate to resolve a problem. Command console in the CNP is a manager who controls tie execution of agents or a contractee, who performs intrusion detection. In the Network Security model, each model of simulation environment is hierarchically designed by DEVS (Discrete EVent system Specification) formalism. The purpose of this simulation is to evaluate the characteristics and performance of CNP architecture with rete pattern matching algorithm and the application of rete pattern matching algorithm for the speeding up the inference cycle phases of the intrusion detection expert system.

  • PDF

A Study on the Agile Approach in Battlefield Management Information System R&D Project in Korea Military (국방 전장관리정보체계 연구개발사업의 애자일 적용 방안 연구)

  • Yun, SungHyun;Lim, GyooGun
    • Journal of Information Technology Services
    • /
    • v.20 no.1
    • /
    • pp.41-54
    • /
    • 2021
  • The SW-centered battlefield management information system R&D project takes a long period of 5-10 years or more by applying a complex and rigid batch acquisition strategy. In order to solve this problem, it is necessary to institutionalize a rapid and flexible battlefield management information system R&D project management procedure applying agile development methodology, and a government project management organization and contract management method to support it In this study, we analyzed the case of applying the Agile development method centered on Scrum to the US SW-centered weapon system R&D project and the characteristics and problems of the battlefield management information system R&D project in Korea, and suggested improvement measures as follows. First, the battlefield management information system R&D model applies the hybrid development method, and the system requirements analysis and system structure design use the existing waterfall development procedure, and the agile method is applied from the SW requirements analysis to the system integration stage. Second, flexible adjustment of performance, schedule, and cost by organizing an Agile IPT in which military (requirements) - DAPA (project management) - developer - functional specialized organizations (test and evaluation, quality, government research institutes, etc.) participate. Third, improving the Basic Order Agreement so that it can be applied to agile R&D.

Effect of Antioxidant Improvement Program with Health Contract on Antioxidant Indicators and Body Composition in Female College Students (건강계약을 적용한 항산화 증진프로그램이 여대생의 식습관, 건강행위, 항산화지표 및 신체조성에 미치는 영향)

  • Kang, So-Yean;Chae, Young-Ran
    • Journal of Korean Biological Nursing Science
    • /
    • v.23 no.3
    • /
    • pp.188-198
    • /
    • 2021
  • Purpose: This study targeted female university students in their 20s and created an antioxidant improvement program with a health contract, one of the behavioral modification therapies, based on King's (1981) 'goal attainment theory.' The aim of this study is to investigate the effects of physiological indicators, eating habits, dietary attitudes, and health behaviors by conducting a walking exercise and anti-oxidation diet program with reinforcement therapy. Methods: This study had a nonequivalent control group pretestposttest design. There were a total of 50 participants, with 25 participants in the experimental group and 25 participants in the control group and the study period was 10 weeks. The antioxidant improvement program consisted of walking and antioxidant diet education with health contracts. Data analysis was statistically processed using the SPSS/WIN 24.0 program. Results: The program showed a high achievement rate by providing continuous motivation and positive reinforcement during the program, and it affected the eating habits, dietary attitudes, and health behavior. Besides, physiological variables, such as antioxidant indices and body composition showed positive changes. Conclusion: This study, based on the goal attainment theory, confirmed that antioxidant improvement program is an effective nursing intervention for continuous health promotion through interaction and exchange between healthy participants and researchers.

Can Economic Sanctions be Grounds for Exemption under the CISG?

  • Kyujin Kim
    • Journal of Korea Trade
    • /
    • v.26 no.5
    • /
    • pp.88-105
    • /
    • 2022
  • Purpose - This paper studies whether economic sanctions can be used as grounds for a party to an international sales contract to get an exemption if he fails to meet his contractual obligation. Because the answer can differ depending on the governing law of the contract, this study focuses on CISG, the most widely recognized international uniform legal instrument as the governing law of the international sale of goods. Design/methodology - This paper focuses on analyzing the conditions to meet before getting an exemption under CISG. For such analysis, this paper examined various scholarly writings, cases, and hypothetical examples reflecting a wide variety of economic sanction measures. Findings - The findings of this paper are as follows. The main provision for exemption under CISG is Article 79(1), which provides for an exemption for a party that failed to perform if such failure was caused by an impediment that was uncontrollable, unforeseeable, and unavoidable; either a seller or a buyer may rely on the Article for his non-performance, delay, or defective performance. The Article is applicable not only where the economic sanction caused impossibility of performance but also where it caused hardship. The economic sanction will likely be found to be an uncontrollable impediment; however, it will be relatively more difficult to prove it to be unforeseeable or unavoidable. Originality/value - The subject of this paper is whether a party can be exempted from liability under CISG when he fails to perform his contractual obligations due to economic sanctions. Given that this issue is now actually faced by many involved in international trade, it is expected to provide practical help to practitioners and companies alike.

A Study on the Development of Design Information CITIS Prototype (설계정보 CITIS 프로토타입 구현에 관한 연구)

  • 박정선;김성희
    • The Journal of Information Technology and Database
    • /
    • v.6 no.1
    • /
    • pp.47-57
    • /
    • 1999
  • CITIS(Contractor Integrated Technical Information Service) is a service standard which specifies guidelines which are required for the fulfillment of a contract between a purchaser and a supplier. It was initiated as a military standard and is now becoming a commercial standard. In this paper, we propose how the guidelines, which were usually developed by Client/Server methods in previous works, can be implemented in WWW environments, and show a prototype which can be used for the confirmation of CAD drawings between contractors(purchaser and provider). We have a hope our study can provide a small foundation for the building of CITIS references.

  • PDF

A Systematic Assertion Mechanism for C++ (C++ 언어를 위한 체계적 단정문 기능)

  • 김재우;김명호;김중배;김성훈;박찬규
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1998.10b
    • /
    • pp.434-436
    • /
    • 1998
  • 본 논문에서는 C++ 언어를 이용한 부품 개발 과정에서 단정문을 체계적으로 활용할 수 있도록 하는 기능을 제안하였다. 제안된 기능을 Eiffel의 Design-by Contract시스템과 유사하게 동작하므로 C++ 언어의 객체 모델을 이용하여 구현되었으며 별도의 소프트웨어 없이 라이브러리 형태로 간편하게 사용할 수 있도록 설계하였다. 또한 이를 C++의 표준라이브러리를 사용하여 실험적으로 구현하였다. 제안된 기능을 사용하는 경우 단정문 처리를 위한 복잡한 코드가 추상화되어 실제 프로그램 코드와 체계적으로 분리되므로 작성된 프로그램을 문서화하고 개발된 부품을 유지보수를 용이하게 한다.

Case Studies of Precast Facade Digital Design and Fabrication Strategies (사례 분석을 통한 프리캐스트 입면 디지털 설계 및 패브리케이션 전략)

  • Kim, Jin-Ho
    • Journal of KIBIM
    • /
    • v.9 no.3
    • /
    • pp.8-18
    • /
    • 2019
  • Precast concrete manufacturing has proved economies of scale through the repetitive production by means of standardization, automation, and prefabrication. Advanced digital design and fabrication technologies can empower its benefits by enabling mass customization in the building design and construction. This study analyzed five case studies in terms of 1) design intent and background, 2) module development and facade construction, 3) integrated process among project stakeholder. This article has attempted to establish the following three points in conclusion: 1) Form generating digital design tools such as Rhino, CATIA, Generative Component, and Digital Project were implemented to produce parametric surface pattern and rationalization to maximize existing precast manufacturing benefits. Also, BIM program has been used to promote coordination and communication among engineering consultants and contractors, 2) In addition to traditional precast concrete materials, GFRC, RFP, brick cladding precast and 3D printed mould have been introduced to reduce the weight and cost and to comply the code from the zoning, seismic, and fireproof requirements, 3) Design-assist contract, design-assist financial support, and co-location measures have been introduced to facilitate collaboration between architect, fabricator, and contractor from the beginning of the project.

Construction of Aluminum Curtain Wall with 3D Elevation for TRUTEC Building (트루텍 빌딩의 3차원 입체 커튼월 시공)

  • Park, Choel;Hong, Doo-Pyo
    • Proceedings of the Korean Institute Of Construction Engineering and Management
    • /
    • 2007.11a
    • /
    • pp.119-122
    • /
    • 2007
  • TRUTEC building, which is located at DMC B block is zone, is just one the office building in Soeul. TRUTEC building is designed by Barkow Leibinger Architeken in Germany, has 5 stories under and 12 stories above and has been finished with the unique three dimensional curtain wall unit. Big trial to make unique elevation succeeded as getting rid of the typical plain curtain wall unit. In addition, aluminum bars are treated by the latest CNC machine in order to achieve 3D section. Construction of curtain wall is highly focused from the moment of contract to keep the schedule because the contract period is 18 months. Regular design meeting and technical meeting between stakeholders including construction manager, designer, engineer, consultant and so on have been held during the construction to minimize the risks from the unique elevation and trial. Step by step mock-up test (design mock-up and visual mock-up on site) has been performed before functional mock-up test.

  • PDF

Application of Incentive on Design VE to Public Design-Build Projects (공공부문 설계시공일괄사업의 설계VE 인센티브 적용방안)

  • Lee, Hun-Woo;Jung, Jae-Hoon;Kim, Hae-Gon;Koo, Kyo-Jin;Hyun, Chang-Taek
    • Proceedings of the Korean Institute Of Construction Engineering and Management
    • /
    • 2006.11a
    • /
    • pp.284-288
    • /
    • 2006
  • Ministry of Construction & Transportation prescribes that all of the construction works including Design-Build whose cost more than then billion won must be applied VE at the design phase. It is difficult to apply VE at the design development phase to design-build projects under current design-build contract because design should be proceeded with fixed price by bidding. Therefore the present study suggests an application of incentive which can maximize the effectiveness of design VE in design-build projects after analysing current design-build's characteristics and difficulties of design VE application.

  • PDF