• Title/Summary/Keyword: 소프트웨어신뢰성

Search Result 1,053, Processing Time 0.026 seconds

Analysis of GPS Data between Precise Ephemeris and Broadcast Ephemeris Using GAMIT and LGO (GAMIT과 LGO를 사용한 방송궤도력과 정밀궤도력에 의한 GPS 자료 처리결과의 비교.분석)

  • Joo, Hyun-Seung;Han, Choon-Deuk;Yeu, Yeon;Choi, Seung-Pil
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.27 no.6
    • /
    • pp.761-768
    • /
    • 2009
  • GPS data acquired at CORS are widely and rapidly used in many application such as information technology industries. In acquisition of GPS data the establishment of standards of reliability and tolerance error range is necessary. This standards is regarded to contain the requirements of selection of using softwares, precise and broadcast ephemeris, duration of data acquisition, and etc. This study focused to present above standards of tolerance error. In long baseline GPS observation network the RMSE analysed in this study resulted little change when data acquired in 6-hour duration, but the less observation duration resulted less accuracy. Especially in 3-hour observation the accuracy of GPS data decreased rapidly. After analyses of data accuracy in the same observation condition using different computer program between academic and commercial purpose software, the RMSE of academic software resulted less than 1cm compared to 3 to 10cm from commercial software. RMSE analysis between precise ephemeris and broadcast ephemeris resulted similar quantity. Therefore this study regarded to present the reliable establishment of standards of error which can be used in required accuracy in GPS data observation.

Development of a Software to Evaluate the CPES(Cable Penetration Fire Stop) System in Nuclear Power Plane I (원자력발전소 케이블관통부 충전시스템 평가용 소프트웨어 개발 I)

  • 윤종필;권성필;조재규;윤인섭
    • Fire Science and Engineering
    • /
    • v.18 no.1
    • /
    • pp.24-30
    • /
    • 2004
  • In this work the dynamic heat transfer occurring in a cable penetration fire stop system built in the firewall of nuclear power plants is three-dimensionally investigated to develop a test-simulator that can be used to verify effectiveness of the sealants. Here was carried out an experiment to observe the heat transfer in the cable penetration fire stop system made of DOW CORNING products. The dynamic heat transfer occurring in the fire stop system is formulated in a parabolic partial differential equation subjected to a set of initial and boundary conditions. And it was modeled, simulated, and analyzed. The simulation results were illustrated in three-dimensional graphics and were compared with experimental data. Through the simulations, it was shown clearly that the temperature distribution was influenced very much by the number, position, and temperature of the cable streams. It also was found that the dynamic heat transfer through the cable streams was one of the most dominant factors, and the feature of heat conduction could be understood as an unsteady-state process. It is certain that these numerical results are useful for making a performance-based design for the cable penetration fire stop system.

A Resource Management Scheme Based on Live Migrations for Mobility Support in Edge-Based Fog Computing Environments (에지 기반 포그 컴퓨팅 환경에서 이동성 지원을 위한 라이브 마이그레이션 기반 자원 관리 기법)

  • Lim, JongBeom
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.11 no.4
    • /
    • pp.163-168
    • /
    • 2022
  • As cloud computing and the Internet of things are getting popular, the number of devices in the Internet of things computing environments is increasing. In addition, there exist various Internet-based applications, such as home automation and healthcare. In turn, existing studies explored the quality of service, such as downtime and reliability of tasks for Internet of things applications. To enhance the quality of service of Internet of things applications, cloud-fog computing (combining cloud computing and edge computing) can be used for offloading burdens from the central cloud server to edge servers. However, when devices inherit the mobility property, continuity and the quality of service of Internet of things applications can be reduced. In this paper, we propose a resource management scheme based on live migrations for mobility support in edge-based fog computing environments. The proposed resource management algorithm is based on the mobility direction and pace to predict the expected position, and migrates tasks to the target edge server. The performance results show that our proposed resource management algorithm improves the reliability of tasks and reduces downtime of services.

Automatic Heart Segmentation in a Cardiac Ultrasound Image (초음파 심장 영상에서 자동 심장 분할 방법)

  • Lee, Jae-Jun;Kim, Dong-Sung
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.4
    • /
    • pp.418-426
    • /
    • 2006
  • This paper proposes a robust and efficient segmentation method for a cardiac ultrasound image taken from a probe inserted into the heart in surgery. The method consists of three steps: initial boundary extraction, whole boundary modification using confidence competition, and local boundary modification using the rolling spoke method. Firstly, the initial boundary is extracted with threshold regions along the global spokes emitted from the center of an ultrasound probe. Secondly, high confidence boundary edges are detected along the global spokes by competing among initial boundary candidate and new candidates achieved by edge and appearance information. finally, the boundary is modified by rolling local spokes along concave regions that are difficult to extract using the global spokes. The proposed method produces promising segmentation results for the ultrasound cardiac images acquired during surgery.

Development of the MEP Integration Test Environment for Surion (수리온 임무탑재체계의 통합시험 환경개발)

  • Kim, Yoo-Kyung;Kim, Myung-Chin;Choi, Won-Woo;Oh, Woo-Seop
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.39 no.7
    • /
    • pp.666-673
    • /
    • 2011
  • To perform effective integration test of avionics equipments, the importance of a setup for integration test environment has been increasing in recently developed aircraft. Especially, the development of integration test equipment is necessary for minimizing the development period and reliability of integration test. This paper treats the model development for optimal working of integration test after analyzing the characteristics of each MEP equipments for Surion(KUH). Models, whose main role is troubleshooting of equipment and simulation for missing equipments, consists of dynamic, behavior, and ICD models depending on the dynamic characteristics. Software test for both unit level and system level are performed to verify the model reliability. By conducting integration test using SIL, it is confirmed that the developed models are suitable for integration function test of the MEP system.

Secure Boot Security Requirements for Cryptographic Modules against Supply Chain Threats (공급망 위협에 대응하기 위한 암호모듈의 안전한 부팅 보안 요구사항 제안)

  • Jong Wook Park;Sanghan Lee;Bonseok Koo;Seon Yeob Baek;Sang Yun Han
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.33 no.6
    • /
    • pp.989-1000
    • /
    • 2023
  • In order to respond to supply chain threats, active research and development efforts are underway for software tamper prevention technologies such as Secure Boot and management systems like Software Bill of Materials(SBOM). Particularly, the Trusted Computing Group (TCG) is introducing standards for Trusted Platform Module(TPM) to provide a secure and trustworthy computing boot environment. This paper emphasizes the need for introducing secure booting technology for cryptographic modules to ensure that they remain safe and provide reliable functionality even in the face of supply chain threats. Furthermore, it analyzes vulnerabilities in cryptographic modules verified by the ISO/IEC 19790 standard and proposes security requirements for secure booting of cryptographic modules to address these vulnerabilities.

Estimation of Accessibility and Usability in Web Interaction for Personalized Ubiquitous Web Information Services (개인화된 유비쿼터스 웹 정보 서비스를 위한 웹 상호작용의 접근성 및 사용성 평가)

  • Kim, Yung-Bok
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.8
    • /
    • pp.512-521
    • /
    • 2008
  • Web-based information services should be evaluated for accessibility and usability with various types of Internet Web-browsing devices, interacting with web information servers. A reliable ubiquitous Web information server, accessible and usable with a variety of Web-browsing devices (e.g. a full-browsing mobile phone), should be a unified center for personalized ubiquitous Web information services as well as for business models based on personalized advertisements. We studied an estimation of the accessibility and usability in Web interaction for personalized ubiquitous Web information services, as metrics for real-time estimation. We show empirical results based on implementation and experiments in Korea, Japan and China, using a test-bed Web site ('ktrip.net') and single-character Korean domain names (e.g. 김.net, 이.net, 박.net, 최.net, ㄱ.net, ㄴ.net ... ㅎ.net, ㅏ.net, ... ㅔ.net, ㄱ.com, ㄴ.com ... ㅎ.com).

System Visibility of Universal Middleware Pervasive Memorial Engine (시스템 가시성평가를 위한 유니버설미들웨어기반 Pervasive Memorial Engine 연구)

  • Lee, Hae-Jun;Hwang, Chi-Gon;Yoon, Chang-Pyo
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.21 no.11
    • /
    • pp.2115-2120
    • /
    • 2017
  • Presently, It is required to change convergence the role of hardware system and software technology that promoted trust of In-Vehicle for integrated complex system visibility evaluation. There is possibility for the period system can invoke unpredictable confusing blank state. The blank state systems have ecosystem characteristics that are supplied, maintained and operated through the complex interactions of technology and culture. Using universal middleware can support the life-cycle model and increase the visibility of complex systems and prepare for confusing situations. In this study, based on universal middleware, data and service dynamic standardized modules were evaluated to support stable system visibility platform. The system visibility module consists of Intelligent Pervasive Cloud module, Memorial Service module and Life Cycler connection module. In addition, the analysis results are supported by various network application service standards through platform independent system and architecture.

Analysis on the Relationship of Soil Parameters of Marine Clay (해성점토의 토질정수 상관성 분석)

  • Heo, Yol;Yun, Seokhyun;Jung, Keunchae;Oh, Seungtak
    • Journal of the Korean GEO-environmental Society
    • /
    • v.9 no.4
    • /
    • pp.37-45
    • /
    • 2008
  • Normally consolidated and slightly overconsolidated soft clay layer is widely distributed in the south coast of Korea. To ensure the efficient and economical construction design of any structure to be built on this soft soil, exhaustive studies are required related to geotechnical engineering properties. In this study, the relationship of the physical properties of southern marine clay in the Korea Peninsula were examined, including natural water content, specific gravity, total unit weight, initial void ratio, liquid limit, plastic limit, and physical properties of activity and soil parameters. For the parameter relationship analysis, the latest relatively reliable data on the large harbor construction work were used, optimum values were deducted with linear regression and non-linear regression between soil parameters, water content or initial void ratio appears to be very large. Moreover, in the linear and involution pattern regression, equal coefficient of determination appeared. The relationship of the different parameters was shown to be excellent in the non-linear regression of involution equation and exponential equation pattern compared with the findings of linear regression analysis.

  • PDF

Interactive analysis tools for the wide-angle seismic data for crustal structure study (Technical Report) (지각 구조 연구에서 광각 탄성파 자료를 위한 대화식 분석 방법들)

  • Fujie, Gou;Kasahara, Junzo;Murase, Kei;Mochizuki, Kimihiro;Kaneda, Yoshiyuki
    • Geophysics and Geophysical Exploration
    • /
    • v.11 no.1
    • /
    • pp.26-33
    • /
    • 2008
  • The analysis of wide-angle seismic reflection and refraction data plays an important role in lithospheric-scale crustal structure study. However, it is extremely difficult to develop an appropriate velocity structure model directly from the observed data, and we have to improve the structure model step by step, because the crustal structure analysis is an intrinsically non-linear problem. There are several subjective processes in wide-angle crustal structure modelling, such as phase identification and trial-and-error forward modelling. Because these subjective processes in wide-angle data analysis reduce the uniqueness and credibility of the resultant models, it is important to reduce subjectivity in the analysis procedure. From this point of view, we describe two software tools, PASTEUP and MODELING, to be used for developing crustal structure models. PASTEUP is an interactive application that facilitates the plotting of record sections, analysis of wide-angle seismic data, and picking of phases. PASTEUP is equipped with various filters and analysis functions to enhance signal-to-noise ratio and to help phase identification. MODELING is an interactive application for editing velocity models, and ray-tracing. Synthetic traveltimes computed by the MODELING application can be directly compared with the observed waveforms in the PASTEUP application. This reduces subjectivity in crustal structure modelling because traveltime picking, which is one of the most subjective process in the crustal structure analysis, is not required. MODELING can convert an editable layered structure model into two-way traveltimes which can be compared with time-sections of Multi Channel Seismic (MCS) reflection data. Direct comparison between the structure model of wide-angle data with the reflection data will give the model more credibility. In addition, both PASTEUP and MODELING are efficient tools for handling a large dataset. These software tools help us develop more plausible lithospheric-scale structure models using wide-angle seismic data.