• Journal of Communications and Networks
• /
• 제14권6호
• /
• pp.597-605
• /
• 2012

With the smart grid coming near, wide-area supervisory control and data acquisition (SCADA) becomes more and more important. However, traditional SCADA systems are not suitable for the openness and distribution requirements of smart grid. Distributed SCADA services should be openly composable and secure. Event-driven methodology makes service collaborations more real-time and flexible because of the space, time and control decoupling of event producer and consumer, which gives us an appropriate foundation. Our SCADA services are constructed and integrated based on distributed events in this paper. Unfortunately, an event-driven SCADA service does not know who consumes its events, and consumers do not know who produces the events either. In this environment, a SCADA service cannot directly control access because of anonymous and multicast interactions. In this paper, a distributed security framework is proposed to protect not only service operations but also data contents in smart grid environments. Finally, a security implementation scheme is given for SCADA services.

• Journal of Information Technology Applications and Management
• /
• 제14권2호
• /
• pp.11-26
• /
• 2007

In this paper we suggest a context-driven configuration model of virtual businesses to form a business network model consisting of role-based, interaction-centered business partners. The model makes use of the subcontext concept which explicitly represents actors and interactions in virtual business (VB) context. We separate actors who have capacities on tasks in a specific kind of role and actor subcontext which models requirements in specific interaction subcontext. Three kinds of actors are defined in virtual service chains, service user, service provider, and external service supporter. Interaction subcontext models a service exchange process between two actor subcontexts with consideration of context dependencies like task and quality dependencies. Each subcontext may be modeled in the form of a situation network which consists of a finite set of situation nodes and transitions. A specific situation is given in a corresponding context network of actors and interactions. It is illustrated with a simple example.

• 정보과학회 논문지
• /
• 제43권8호
• /
• pp.857-868
• /
• 2016

소프트웨어 생태계의 시장 중심 개발 환경에서 소프트웨어 기업은 제품의 성공을 위해서 자신의 비즈니스와 고객에게 높은 가치를 제공할 수 있어야만 시장 경쟁력을 가지고 생존할 수 있다. 요구공학적 관점에서 제품 요구사항 선택을 통한 가치 제공을 위해서 이해관계자들 각자의 다른 이해가 조정되어 합의되어야 한다. 즉, 요구공학 단계에서 높은 가치 창출을 고려하는 합의된 요구사항을 선택할 필요가 있다. 기존 연구들은 소프트웨어 생태계에서 요구되는 이해관계자들의 다른 이해에 대한 요구공학적 기법의 필요성을 언급하였을 뿐, 구체적인 가이드라인 및 수행 방법에 대하여 제안하지 않았다. 본 연구에서는 요구공학에서 사용되는 Goal 개념 기반으로 협상 참가자의 의도를 분석하고 이를 바탕으로 요구사항 충돌의 근거를 구조화하여 관리할 수 있도록 한다. 궁극적으로 협상 참가자의 이기적 행동을 바탕으로 게임 이론적 개념을 이용한 요구사항 충돌 해결 방법론을 제안한다.

• 한국컴퓨터정보학회논문지
• /
• 제21권10호
• /
• pp.115-123
• /
• 2016

In this paper, we propose a Model Driven Development using UML(Unified Modeling Language) in an efficient Combat System Software development methods. UML is managed by the OMG (Object Management Group) as a Unified Modeling Language. Recently, In developing the software for the system, development time is contrary to a short, while it must meet a number of requirements of our customers. If you develop a non-efficient software early, the structure of the software become more complex in proportion to the number of requirements. As a result, a serious problem in the system, such as an increase in defective products due to the lowering of the reliability and communication problems between the developer has occurred. To overcome those problems, the aim of this paper is to develop a reusable high efficient Combat System Software by applying Model-Centric Development (Not Code-Centric Development). If Combat System Software development method using the UML proposed in this paper is used, easy communication among developers can help reduce the serious errors in systems. Also, it has the advantage that the future needs of software maintenance/repair become easy by using high readability object Model.

• Nuclear Engineering and Technology
• /
• 제49권5호
• /
• pp.1071-1078
• /
• 2017

A buncher is one of the main pieces of equipment in the medium energy beam transport line (MEBT) for China accelerator driven sub-critical system (C-ADS) Injector II. To focus the beam longitudinally and match the beam for the acceptance of the superconducting linac section, two room temperature quarter wave resonator (QWR) bunchers with frequency of 162.5 MHz have been designed as parts of the MEBT. According to the beam transmission matching of the MEBT and the geometric parameters requirements of bunchers, the unique mechanical structure and the main processing technology of buncher cavities and their couplers and tuners are described in this paper. The fabrication of bunchers and their parts have been completed and tested at high power, the test results agree well with the design requirements. These bunchers work well for about two years in Institute of Modern Physics, Chinese Academy of Sciences.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권8호
• /
• pp.4212-4226
• /
• 2019

In this paper, a design and implementation for direct deal distribution platform is proposed to bypass the complex traditional distribution structure of agricultural market, as one of the fields where distribution patterns have changed. In the case of domestic agricultural distribution, demand and supply are unstable since the sales market is excessively concentrated in the designated wholesale market. Besides sales must go through multiple stages of distribution leading to problems in freshness and stability of agricultural products and downward pressure on profit margins for producers. To solve the above mentioned issues, we propose a cloud service convergence direct deal distribution platform based on asynchronous-driven Node.js. The proposed platform can facilitate a variety of direct trading functions and also access to visualization information related to agricultural products, which may increase user confidence at an intermediary-free direct transactions platform. First, we describe the requirements of intermediary-free direct transactions of agricultural products and transaction entities. Next the database structure and transaction functions are designed and then implemented according to those requirements. Finally, an API based cloud convergence service structure is designed to provide the analyzed information to ensure a trustworthy system.

• 한국군사과학기술학회지
• /
• 제27권2호
• /
• pp.247-255
• /
• 2024

Development of electronic warfare(EW) software has become increasingly challenging due to stricter regulations, shorter development cycles, and increased reliability testing. Consequently, software development often proceeds without proper architecture design, which can lead to missing critical quality requirements and potential system redesigns. In this study, we propose using Attribute-Driven Design(ADD) 3.0 to design software architecture specifically tailored for EW systems, enabling a more systematic approach to address quality requirements. The paper presents an overview of EW software and ADD 3.0 methodology, followed by an analysis of the architecture design results using static and dynamic views. The paper concludes by discussing the effectiveness of the proposed architecture design.

• 한국항공우주학회지
• /
• 제33권9호
• /
• pp.113-119
• /
• 2005

실시간 선점형 다중 태스크 운영체제를 기반으로 구동하는 프로세서와 연결된 디바이스로부터 데이터를 입수하는 방법은 크게 폴링(Polling)과 인터럽트 구동(Interrupt driven) 방식으로 구분할 수 있다. 이들 모두에 대한 기술적인 접근은 운영체제의 스케줄링 정책 및 소프트웨어 아키텍쳐에 따라 달라질 수 있다. 위성 컴퓨팅 환경에서 위성 서브 시스템 또는 컴포넌트로부터 입수되는 데이터의 처리시 시간 준수와 정확성을 보장하는 것은 비행 소프트웨어를 개발시마다 요구되는 중요한 요구사항 중의 하나이다. 본 논문에서는 디바이스의 입출력 방식과 스케줄링과의 관계에 대한 분석 및 이에 따른 프로세서와 디바이스간의 신뢰적인 데이터 입출력 방법을 제안한다.

• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• 한국항해항만학회지
• /
• 제43권6호
• /
• pp.353-360
• /
• 2019

Technology-driven development of a new system makes it difficult for users and stakeholders to identify or intervene in the development process, resulting in systems with unnecessary functions and poor quality services. Applying the software architecture design process to the initial design of the navigation system platform of autonomous ships enables the development of a system that reflects the required functions and service quality of the stakeholders. The design, which includes all of the subsystems that make up an autonomous ship platform, is close to an enterprise architecture. Thus, we strived to design a navigation system platform suitable for the design range of the software architecture. This study analyzed the definition of functional requirements, and quality attributes by applying the software architecture design procedure. This study was conducted to identify the characteristics of the navigation system and platform needs, and the stakeholders were identified. To derive the functional requirements and constraints of the platform, a quality attributes workshop was held engaging stakeholders, and the results of the analysis of functional requirements and quality attributes were listed. Based on the results of this study, the architect can establish the evidence and technical solutions that are integral for the architecture development, and will facilitate the creation of quality attribute scenarios.