• Title/Summary/Keyword: techniques life cycle

Search Result 192, Processing Time 0.025 seconds

A Study on Data Modeling Techniques for Control Requirements of SPICE Reference Model (SPICE 참조모델 요구사항을 지원하는 데이터 모델링 기법에 관한 연구)

  • Chung Kyu-Jang
    • Journal of the Korea Society of Computer and Information
    • /
    • v.9 no.3
    • /
    • pp.1-6
    • /
    • 2004
  • there needs a new Geographic information system development Technology of the abstraction, encapsulation, modulation and hierarchy using Graphic representation of object modeling Technique. The method is based on composite object of Graphic data with the hierarchy concepts and abstraction of Graphic information in order to improve data abstraction of the graphic data file and described concept of multiple inheritance and classification that supports a wide variety of graphic class such as mesh unit, layer. segment and so on. in simple case of software development using SPICE model and object modeling techniques. this thesis suggested object representation of Graphic data which can reduce software development life cycle and the cost of software maintenance.

  • PDF

A study on the Correlation Hazard Analysis for Signaling System Safety (안전성 확보를 위한 위험원 분석 기법간 상관관계에 대한 연구)

  • Han, Chan-Hee;Lee, Young-Soo;Ahn, Jin;Jo, Woo-Sic
    • Proceedings of the KSR Conference
    • /
    • 2007.11a
    • /
    • 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.

  • PDF

OAPR-HOML'1: Optimal automated program repair approach based on hybrid improved grasshopper optimization and opposition learning based artificial neural network

  • MAMATHA, T.;RAMA SUBBA REDDY, B.;BINDU, C SHOBA
    • International Journal of Computer Science & Network Security
    • /
    • v.22 no.4
    • /
    • pp.261-273
    • /
    • 2022
  • Over the last decade, the scientific community has been actively developing technologies for automated software bug fixes called Automated Program Repair (APR). Several APR techniques have recently been proposed to effectively address multiple classroom programming errors. However, little attention has been paid to the advances in effective APR techniques for software bugs that are widely occurring during the software life cycle maintenance phase. To further enhance the concept of software testing and debugging, we recommend an optimized automated software repair approach based on hybrid technology (OAPR-HOML'1). The first contribution of the proposed OAPR-HOML'1 technique is to introduce an improved grasshopper optimization (IGO) algorithm for fault location identification in the given test projects. Then, we illustrate an opposition learning based artificial neural network (OL-ANN) technique to select AST node-level transformation schemas to create the sketches which provide automated program repair for those faulty projects. Finally, the OAPR-HOML'1 is evaluated using Defects4J benchmark and the performance is compared with the modern technologies number of bugs fixed, accuracy, precession, recall and F-measure.

Diagnostic Techniques for SARS-CoV-2 Detection (SARS-CoV-2의 진단기술)

  • Kim, Jong-Sik;Kang, Na-Kyung;Park, Seon-Mi;Lee, Eun-Joo;Chung, Kyung Tae
    • Journal of Life Science
    • /
    • v.30 no.8
    • /
    • pp.731-741
    • /
    • 2020
  • Coronavirus disease 19 (COVID-19) is caused by SARS-CoV-2 (Severe Acute Respiratory SyndromeCoronavirus 2). To date, seven coronaviruses that can infect humans were reported. Among them, infections with four coronavirus strains (HCoV-229E, HCoV-OC43, HCoV-NL63, and HCoV-HKU1) resulted in mild symptoms such as common cold, whereas SARS-CoV and MERS-CoV caused severe symptoms and epidemics in 2002 and 2012, respectively. In the most recent, SARS-CoV-2 was first reported in Wuhan, China in December 2019 and became a notorious cause of the ongoing global pandemics. To diagnose, treat, and prevent COVID-19, the development of rapid and accurate diagnostic tools, specific therapeutic drugs, and safe vaccines essentially are required. In order to develop these powerful tools, it is prerequisite to understand a phenotype, a genotype, and life cycle of SARS-CoV-2. Diagnostic techniques have been developing rapidly around world and many countries take the fast track system to accelerate approval. Approved diagnostic devices are rapidly growing facing to urgent demand to identify carriers. Currently developed commercial diagnostic devices are divided into mainly two categories: molecular assay and serological & immunological assay. Molecular assays begins the reverse transcription step following polymerase chain reaction or isothermal amplification. Immunological assay targets SARS-CoV-2 antigen or anti-SARS-CoV-2 antibody of samples. In this review, we summarize the phenotype, genome structure and gene expression of SARS-CoV-2 and provide the knowledge on various diagnostic techniques for SARS-CoV-2.

Web-Based Data Processing and Model Linkage Techniques for Agricultural Water-Resource Analysis (농촌유역 물순환 해석을 위한 웹기반 자료 전처리 및 모형 연계 기법 개발)

  • Park, Jihoon;Kang, Moon Seong;Song, Jung-Hun;Jun, Sang Min;Kim, Kyeung;Ryu, Jeong Hoon
    • Journal of The Korean Society of Agricultural Engineers
    • /
    • v.57 no.5
    • /
    • pp.101-111
    • /
    • 2015
  • Establishment of appropriate data in certain formats is essential for agricultural water cycle analysis, which involves complex interactions and uncertainties such as climate change, social & economic change, and watershed environmental change. The main objective of this study was to develop web-based Data processing and Model linkage Techniques for Agricultural Water-Resource analysis (AWR-DMT). The developed techniques consisted of database development, data processing technique, and model linkage technique. The watershed of this study was the upper Cheongmi stream and Geunsam-Ri. The database was constructed using MS SQL with data code, watershed characteristics, reservoir information, weather station information, meteorological data, processed data, hydrological data, and paddy field information. The AWR-DMT was developed using Python. Processing technique generated probable rainfall data using non-stationary frequency analysis and evapotranspiration data. Model linkage technique built input data for agricultural watershed models, such as the TANK and Agricultural Watershed Supply (AWS). This study might be considered to contribute to the development of intelligent watercycle analysis by developing data processing and model linkage techniques for agricultural water-resource analysis.

QR Code-Based Strength Labeling Techniques for Concrete Life-Cycle Quality Maintenance (콘크리트 생애주기 품질관리를 위한 QR 코드 기반 강도 라벨링 기술)

  • Kim, Tae-Heon;Kim, Dong-Jin;Park, Seung-Hee
    • Journal of the Korea Concrete Institute
    • /
    • v.23 no.5
    • /
    • pp.603-608
    • /
    • 2011
  • In recent years, numerous mega-sized and complex civil infrastructures are being constructed all over the world. Therefore, more precise construction and maintenance technologies are required for these complicated construction projects. Especially, exact strength measurement and curing process monitoring of the concrete structures are very crucial to confirm the safety and effectiveness of these complicated structures. In this paper, a new Quick Response (QR) code-based concrete strength labeling technique using embedded self-sensing monitoring system is introduced. It is important to note that the QR code-based concrete labeling technique enables easy access of the databases related to the concrete strength at anytime, anywhere, and any smart PC devices. Finally, by integrating the proposed QR code-based concrete labeling with the concrete strength databases already prepared at a designated web-server, a feasibility of the current system is investigated for a next generation concrete life-cycle quality maintenance.

The Effectiveness of Independent Verification and Validation of Safety-critical Aviation Systems (항공 안전 필수 시스템에 대한 독립적 검증 및 확인의 효과도 분석)

  • Kim, Young-Hoon;Yoo, Beong-Seon;Kang, Ja-Young
    • Journal of Advanced Navigation Technology
    • /
    • v.21 no.2
    • /
    • pp.155-162
    • /
    • 2017
  • In recent years, aviation-related safety-critical systems have been developed in Korea, but these products have not satisfied the specified requirements and thus have not been commercialized or commercialized. Due to increasing complexity of the modern aviation system, traditional verification and validation techniques are not sufficient to identify and reduce latent risks in the system. To overcome this shortcoming, a new method which is called 'Independent verification and validation (IV&V)' is suggested. However, academic researches on the effectiveness of this independent verification and validation have not been conducted domestically, and it is performed very rarely even overseas. Therefore, in this paper, we investigated the application of independent verification and validation of the safety-critical aviation systems performed by advanced aviation organizations, and analyzed various positive effects on projects. As a result of the analysis, IV&V shows that early error detection rate is increased, potential risk is mitigated early, and the complex reworking probability, which appears later in the development life cycle, is reduced, greatly preventing the development schedule and costs from increasing.

A David Star Magic Square Algorithm for Efficient LED Control (효율적인 LED 제어를 위한 다윗 스타 마방진 알고리즘)

  • Lee, Kyung-Min;Lin, Chi-Ho
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.16 no.3
    • /
    • pp.109-113
    • /
    • 2016
  • In this paper, we propose efficient LED lighting control algorithm using a David star magic square. Such algorithms increases the power reduction, the heat efficiency and LED life cycle and the efficiency of the LED lighting control consumption. Lighting system using existing Magic square algorithm could be reduced to increase the heat efficiency of the LED because the LED lighting time of the reduced cross-lighting. but it has a limit to the lighting control. If should apply the this proposed algorithm, can reduces power consumption and increases LED life-cycle, heat efficiency of LED lighting module and efficiency of the lighting control of the LED. This paper proposed that algorithm is by using a David star magic square on the LED Matrix. Divided into twelve areas to move the pattern in constant time interval, to perform the cross rotation and inversion techniques to thereby light up. In this paper proposed algorithm of this paper was compared with existing Magic square approach. As a result, power consumption and heat-value and luminous flux was reduced as the conventional lighting system. And, the LED lighting control increase the efficiency.

The Effective Risk Management of Academic Entrepreneurs' R&D Technology Transfer (학술적 기업가의 R&D 성과이전 위험의 효과적 관리)

  • Kim, Jai-Myung
    • Korean Business Review
    • /
    • v.16
    • /
    • pp.123-144
    • /
    • 2003
  • The transfer of R&D performance is the technology transfer in a narrow sense. This study aimed at fanning the effective managerial systems of the transfer of the academic entrepreneur's R&D performance. For this purpose, this study analysed the characteristics and success factors of R&D performance transfer based on the theory of project life cycle. This research classified the life cycle of academic entrepreneurs' R&D projects into six stages. And the risks associated with the transfer process was categorized using the case study about the establishing processes the mineral-related small finns. Especially, the risk of the technology transfer was investigated by the R&D project implementation stages. Based on this results, this paper suggested the strategic system such as the marketing-oriented thinking, the clear-cut statement of the role among the stake-holders of the R&D and commercialization processes, the dynamic system of the academic entrepreneurs' leadership, the formation of the transfer management system, and the usage of project risk management techniques.

  • PDF

A Process Model for the Systematic Development of Safety-Critical Systems (안전중시 시스템을 위한 체계적인 설계 프로세스에 관한 연구)

  • Yoon, Jae-Han;Lee, Jae-Chon
    • Journal of the Korea Safety Management & Science
    • /
    • v.11 no.3
    • /
    • pp.19-26
    • /
    • 2009
  • It is becoming more and more important to develop safety-critical systems with special attention. Examples of the safety-critical systems include the mass transportation systems such as high speed trains, airplanes, ships and so forth. Safety critical issues can also exist in the development of atomic power plants that are attracting a great deal of attention recently as oil prices are sky-rocketing. Note that the safety-critical systems are in general large-scale and very complex for which case the effects of adopting the systems engineering (SE) approach has been quite phenomenal. Furthermore, safety-critical requirements should necessarily be realized in the design phase and be effectively maintained thereafter. In light of these comments, we have considered our approach to developing safety-critical systems to be based on the method combining the systems engineering and safety management processes. To do so, we have developed a design environment by constructing a whole life cycle model in two steps. In the first step, the integrated process model was developed by integrating the SE (ISO/IEC 15283) and systems safety (e.g., hazard analysis) activities and implemented in a computer-aided SE tool environment. The model was represented by three hierarchical levels: the life-cycle level, the process level, and the activity level. As a result, one can see from the model when and how the required SE and safety processes have to be carried out concurrently and iterately. Finally, the design environment was verified by the computer simulation.