• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 추계학술대회 논문집
• /
• pp.638-645
• /
• 2007

Computers are increasingly being introduced into safety and reliability critical systems. The safe and reliable operation of these systems cannot be taken for granted. Malfunctions of these systems can have potentially catastrophic consequences and they have already been involved in serious accidents. Software fault prevention, fault tolerance, fault removal and fault forecasting are the techniques to be used, implemented and verified for embedded software in critical systems as the contributors to safety and reliability of the software. To use them when developing a software product, a relationship must be established between them and the development processes, the methods and techniques to be used to develop software, as well as with the different product architectures. Railroad signaling system software is a safety-critical embedded software with realtime and high reliability requirements. The primary purpose of the safety management is to prevent the loss of lives or physical damages arising from potential hazards in the railroad signaling system. This study provides a systematic approach to analysis of potential hazards for their management during the system life cycle to assure the identification and definition of the most appropriate hazards.

• 정보처리학회논문지D
• /
• 제13D권5호
• /
• pp.717-724
• /
• 2006

무기체계 획득 사업에 있어서 소프트웨어의 비중이 높아감에 따라 비용추정의 중요성이 증대되고 있으나, 무기체계 내장형 소프트웨어의 비용에 대한 추정은 일반 소프트웨어 비용 추정 방법을 따르며 주로 PRICE S 모델을 도구로 사용하고 있다. 그렇지만, PRICE S 모델에서 내장형 소프트웨어에 대한 개발규모 산정에 따른 추정 비용의 타당성에 대한 검증 결과는 알려져 있지 않다. 따라서 본 연구에서는 PRICE S 모델을 이용하여 무기체계 내장형 소프트웨어의 산정 규모를 통한 비용 추정 기법을 제안한다. 이를 위하여 PRICE S 모델의 규모 산정 도구를 이용하여 코드라인과 기능점수 방식으로 소프트웨어의 규모를 추정한다. 최종적으로는 제작사에서 제공하는 실제 비용 자료와 비교한다. 결과적으로 객관적으로 추정이 어려웠던 무기체계 내장형 소프트웨어의 규모 및 비용을 추정하는 방안을 제시함으로써, 앞으로 무기체계 획득 사업에서 소프트웨어의 비용 검증 및 협상에 활용할 수 있을 것이다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1998년도 춘계공동학술대회 발표논문집 IMF시대의정보화 추진전략
• /
• pp.169-176
• /
• 1998

This article investigates the software acquisition problems as two dimensional : custom/pacakage and insource /outsource. The analysis adopts the cost-benefit frame work in explaining software acquisition problems and takes two leveled approach. The first level examines the cost-benefit relationship of the determinants affecting both dimensions, and these determinants are derived from theories of transaction cost, incomplete contracting, and agency. The second level focuses on the impact of general cost-benefit frivers of the software acquisition decisions. The results facilitate a broader and more detailed understanding on the software acquisition problems.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2006년도 PARALLEL CFD 2006
• /
• pp.209-210
• /
• 2006

• 대한임베디드공학회논문지
• /
• 제5권1호
• /
• pp.29-38
• /
• 2010

It is highly requested that the more complicated embedded software is used for high performance and multiple functions of the systems. This is inevitably increasing the errors. Therefore the embedded software testing is getting important recently. There are not general testing methods which are able to be applied for any embedded systems, but via this research, we introduce a testing method which is based on TTCN-3, a testing standard, for embedded systems. A testing environment for network-based embedded software is implemented with considering the features of TTCN-3 testing which is based on message exchange. The testing environment has two additional parts with TTCN-3 test system, the network analyzer to access the network-based systems and the communication interface which is suggested for embedded systems in previous work, and we have implemented the whole testing environment with interacting these two parts. In addition to the normal testing domain, called single node testing as a unit testing of V-model, we suggest another concept to test multiple nodes in network. It could be achieved by adding keywords such as supervisor and object which are describing the feature of TTCN-3 testing component and generating the TTCN-3 Executable code which contains new keywords. The testing has done for embedded software which is based on CAN network and the demonstration of the testing environment has been shown in this paper.

• Industrial Engineering and Management Systems
• /
• 제11권1호
• /
• pp.70-81
• /
• 2012

The subject of "Design Requirements" (DR) is central to the design of software and engineering systems. The main reason for this is that quality aspects are usually closely tied to requirements, among other things. In this review paper, we consider how the subject of requirements is being managed in these two seemingly different design disciplines. Two important aspects are covered, namely: (a) requirements development, describing various activities leading to requirements documentation, and (b) requirements change management, describing various activities needed for the proper treatment of the inevitable changes in requirements. Similarities and differences on how these two aspects are handled in software and engineering systems are highlighted. It is concluded from this literature survey that the management of software requirements is quite coherent and well established as a science. On the other hand, management of engineering systems requirements suffer from being unstructured, in particular when requirements changes are involved. Important gaps and future important research areas are identified.

• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.41-48
• /
• 2018

This paper describes the systems engineering development process for the Departure from Nucleate Boiling Ratio (DNBR) algorithm using FPGA. Current Core Protection Calculator System (CPCS) requirement and DNBR logic are analyzed in the reverse engineering phase and the new FPGA based DNBR algorithm is designed in the re-engineering phase. FPGA based DNBR algorithm is developed by VHSIC Hardware Description Language (VHDL) in the implementation phase and VHDL DNBR software is verified in the software Verification & Validation phase. Test cases are developed to perform the software module test for VHDL software modules. The APR 1400 simulator is used to collect the inputs data in 100%, 75%, and 50% reactor power condition. Test input signals are injected to the software modules following test case tables and output signals are compared with the expected test value. Minimum DNBR value from developed DNBR algorithm is validated by KEPCO E&C CPCS development facility. This paper summarizes the process to develop the FPGA-based DNBR calculation algorithm using systems engineering approach.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권9호
• /
• pp.4742-4770
• /
• 2019

Cloud computing provides a broad range of services like operating systems, hardware, software and resources. Availability of these services encourages data owners to outsource their intensive computations and massive data to the cloud. However, considering the untrusted nature of cloud server, it is essential to encrypt the data before outsourcing it to the cloud. Unfortunately, this leads to a challenge when it comes to providing search functionality for encrypted data located in the cloud. To address this challenge, this paper presents a public key encryption with equality test for heterogeneous systems (PKE-ET-HS). The PKE-ET-HS scheme simulates certificateless public encryption with equality test (CLE-ET) with the identity-based encryption with equality test (IBE-ET). This scheme provides the authorized cloud server the right to actuate the equivalence of two messages having their encryptions performed under heterogeneous systems. Basing on the random oracle model, we construct the security of our proposed scheme under the bilinear Diffie-Hellman (BDH) assumption. Eventually, we evaluate the size of storage, computation complexities, and properties with other related works and illustrations indicate good performance from our scheme.

• 한국산업정보학회논문지
• /
• 제6권4호
• /
• pp.39-47
• /
• 2001

소프트웨어 구조는 시스템 컴포넌트들과 그들의 상호관계를 이해하기 위한 프레임워크로서 제공된다. 또한 소프트웨어 구조는 낮은 비용, 높은 생산성 및 일관된 품질을 이루기 위해 재사용 될 수 있다. 본 논문에서는 우리가 개발한 소프트웨어 구조 설계 환경인 HanyWork의 구조와 기능을 설명한다. HappyWork는 두 가지의 주요한 기능을 가진다. 첫째로 HappyWork는 소프트웨어 구조 다이어그램의 모델링을 위한 그래픽 에디터를 제공하고, 둘째로 HWL(HappyWork language)라는 소프트웨어 구조 기술 언어를 제공한다.

• 한국컴퓨터정보학회논문지
• /
• 제24권7호
• /
• pp.101-108
• /
• 2019

In this paper, we propose a new scalable and reliable combat system software in battleship which was developed procedurally in the past. Recently, combat system software is required to change frequently due to addition of new equipment and change of function. To solve those problems, this paper propose how to change combat system software into scalable software using class structure change and design pattern. Simulation results show that our scheme provides better performances and reliability than conventional scheme. Therefore proposed scheme can be efficiently used in Naval combat system.