• Title/Summary/Keyword: Integrated verification

Search Result 483, Processing Time 0.023 seconds

A Study on Quality Evaluation Model of Mobile Device Management for BYOD (BYOD 환경의 MDM 보안솔루션의 품질평가모델에 관한 연구)

  • Rha, HyeonDae;Kang, SuKyoung;Kim, ChangJae;Lee, NamYong
    • The Journal of Korean Association of Computer Education
    • /
    • v.17 no.6
    • /
    • pp.93-102
    • /
    • 2014
  • A mobile office environment using mobile devices, such as tablet PC, mobile phone is gradually increased in enterprises, banking and public institutions etc which is no limitation on places. It occurs advanced and persist security threats that are required effective security management policy and technical solution to be secure. For BYOD (Bring Your Own Device) environment, technical security management solutions of network control based, MDM (Mobile Device Management), MAM (Mobile Application Management), MCM (Mobile Contents Management) were released, evolved and mixed used. In perspective of integrated security management solution, mobile security product should be selected to consider user experience and environment and correct quality evaluation model of product is needed which is provided standards and guidance on the selection criteria when it was introduced. In this paper, the most widely used MDM solution is selected to take a look at its features and it was reviewed the product attributes with related international standard ISO/IEC25010 software quality attributes. And then it was derived evaluation elements and calculated the related metrics based on the quality analysis model. For the verification of quality evaluation model, security checks list and testing procedures were established; it applied metrics and analyzed the testing result through scenario based case study.

  • PDF

Design and Verification of Efficient On-Chip Debugger for Core-A (Core-A를 위한 효율적인 On-Chip Debugger 설계 및 검증)

  • Xu, Jingzhe;Park, Hyung-Bae;Jung, Seung-Pyo;Park, Ju-Sung
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.47 no.4
    • /
    • pp.50-61
    • /
    • 2010
  • Nowadays, the SoC is watched by all over the world with interest. The design trend of the SoC is hardware and software co-design which includes the design of hardware structure in RTL level and the development of embedded software. Also the technology is toward deep-submicron and the observability of the SoC's internal state is not easy. Because of the above reasons, the SoC debug is very difficult and time-consuming. So we need a reliable debugger to find the bugs in the SoC and embedded software. In this paper, we developed a hardware debugger named OCD. It is based on IEEE 1140.1 JTAG standard. In order to verify the operation of OCD, it is integrated into the 32bit RISC processor - Core-A (Core-A is the unique embedded processor designed by Korea) and is tested by interconnecting with software debugger. When embedding the OCD in Core-A, there is 14.7% gate count overhead. We can modify the DCU which occupies 2% gate count in OCD to adapt with other processors as a debugger.

Taxonomy of Performance Shaping Factors for Human Error Analysis of Railway Accidents (철도사고의 인적오류 분석을 위한 수행도 영향인자 분류)

  • Baek, Dong-Hyun;Koo, Lock-Jo;Lee, Kyung-Sun;Kim, Dong-San;Shin, Min-Ju;Yoon, Wan-Chul;Jung, Myung-Chul
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.31 no.1
    • /
    • pp.41-48
    • /
    • 2008
  • Enhanced machine reliability has dramatically reduced the rate and number of railway accidents but for further reduction human error should be considered together that accounts for about 20% of the accidents. Therefore, the objective of this study was to suggest a new taxonomy of performance shaping factors (PSFs) that could be utilized to identify the causes of a human error associated with railway accidents. Four categories of human factor, task factor, environment factor, and organization factor and 14 sub-categories of physical state, psychological state, knowledge/experience/ability, information/communication, regulation/procedure, specific character of task, infrastructure, device/MMI, working environment, external environment, education, direction/management, system/atmosphere, and welfare/opportunity along with 131 specific factors was suggested by carefully reviewing 8 representative published taxonomy of Casualty Analysis Methodology for Maritime Operations (CASMET), Cognitive Reliability and Error Analysis Method (CREAM), Human Factors Analysis and Classification System (HFACS), Integrated Safety Investigation Methodology (ISIM), Korea-Human Performance Enhancement System (K-HPES), Rail safety and Standards Board (RSSB), $TapRoot^{(R)}$, and Technique for Retrospective and Predictive Analysis of Cognitive Errors (TRACEr). Then these were applied to the case of the railway accident occurred between Komo and Kyungsan stations in 2003 for verification. Both cause decision chart and why-because tree were developed and modified to aid the analyst to find causal factors from the suggested taxonomy. The taxonomy was well suited so that eight causes were found to explain the driver's error in the accident. The taxonomy of PSFs suggested in this study could cover from latent factors to direct causes of human errors related with railway accidents with systematic categorization.

Development of the Critical Pathway for Cesarean Section Patient (제왕절개술 환자를 위한 Critical Pathway 개발)

  • Chung Kyung-Hee;Jang Keum-Seung
    • The Journal of Korean Academic Society of Nursing Education
    • /
    • v.4 no.1
    • /
    • pp.66-80
    • /
    • 1998
  • With the opening of healthcare market, the health care environment in Korea is anticipating a drastic change. In this Internationally open market environment, it is necessary to introduce a systematic health care plan and DRG system which offer qualitative medical services as well as reduced cost. Purpose of this study is to develop and test the critical pathway for Cesarean section patient in the way to be possible the integrated inpatient management. It was adopted the process of six phases to develop the critical pathway as the theoretical framework implemented by Johns Hopkins Hospital, Maryland, U.S.A. In the first phase, make a selection of diagnosis/procedures to develop. In the second phase, organize a development team consisted of eight expertises working in maternity nursing area. In the third phase, analyze the overall medical service offered to patient through review medical records and decided the service content and the implementation period for the Cesarean section patient. In the forth phase, make out a preliminary critical pathway after verification of expert group on content validity. In the fifth phase, validity operate to ten Cesarean section patients to test implementation in practice by using the preliminary critical pathway, In the sixth phase, defined the final critical pathway. The result of this study was as follows. 1. There were classified 8 categories as monitoring/assesment, treatment, medication, activity, diet, test, consult, education/discharge plan for vertical axis and showed hospital stayed from admission to discharge for horizontal axis of critical pathway through analysis 68 Cesarean section patients medical records. 2. After critical review 68 medical records to make out a preliminary critical pathway, hospital stays for horizontal axis were showed 6 days, mean hospital stays were 7.5 days, 2.1 days were to be taken operation after admission and 4.2 days were stayed until discharge after operation. 3. After making out a questionare in 90 items of a medical service content of eight categories and verifying the content validity of expertises, the 85 items of the preliminary critical pathway were selected by expertises agreement over 88% and modified or deleted 5 items showing agreement below 75%. 4. After verifying a validity to 10 patients for 4 weeks, hospital stays were 5.9 days. There were deleted 1 item and modified or supplemented the 9 items of the 10 items.

  • PDF

Correlations Between the Physical Properties and Compression Index of KwangYang Clay (광양점토의 물리적 특성과 압축지수의 상관성)

  • Bae, Wooseok;Kim, Jongwoo
    • Journal of the Korean GEO-environmental Society
    • /
    • v.10 no.7
    • /
    • pp.7-14
    • /
    • 2009
  • The correlation equation empirically proposed to obtain compression indexes has been proposed to conveniently obtain the value using the soil parameter that can be obtained through simple tests when the number of time of consolidation testing is low or the distribution is large but most of the analyzed regions are limited to certain regions abroad or in the country and multiple data were integrated for use in many cases, thus it is not very reasonable to apply it. Therefore, to establish a new design method considering the uncertainty of the ground, it was selected the Kwangyang port area of which the data have been collected recently thus are relatively more reliable as the subject region of the study in order to maximally reduce the uncertainty of test data. After performing the verification of the normality of the consolidation test data obtained from the selected region and the transformation of variables, a prediction formula was proposed through the regression model with the transformed variables and the proposed regression model with transformed variables was compared with existing empirical equations to verify the suitability of the proposed model formula. After analyzing, it was confirmed that the coefficient of determination was increased after the Box-Cox variable transformation, thus the explanatory power was being enhanced and through the root-mean-square-error method, it was confirmed that the proposed model formula showed the most closed value to the test value.

  • PDF

EST Analysis system for panning gene

  • Hur, Cheol-Goo;Lim, So-Hyung;Goh, Sung-Ho;Shin, Min-Su;Cho, Hwan-Gue
    • Proceedings of the Korean Society for Bioinformatics Conference
    • /
    • 2000.11a
    • /
    • pp.21-22
    • /
    • 2000
  • Expressed sequence tags (EFTs) are the partial segments of cDNA produced from 5 or 3 single-pass sequencing of cDNA clones, error-prone and generated in highly redundant sets. Advancement and expansion of Genomics made biologists to generate huge amount of ESTs from variety of organisms-human, microorganisms as well as plants, and the cumulated number of ESTs is over 5.3 million, As the EST data being accumulate more rapidly, it becomes bigger that the needs of the EST analysis tools for extraction of biological meaning from EST data. Among the several needs of EST analyses, the extraction of protein sequence or functional motifs from ESTs are important for the identification of their function in vivo. To accomplish that purpose the precise and accurate identification of the region where the coding sequences (CDSs) is a crucial problem to solve primarily, and it will be helpful to extract and detect of genuine CD5s and protein motifs from EST collections. Although several public tools are available for EST analysis, there is not any one to accomplish the object. Furthermore, they are not targeted to the plant ESTs but human or microorganism. Thus, to correspond the urgent needs of collaborators deals with plant ESTs and to establish the analysis system to be used as general-purpose public software we constructed the pipelined-EST analysis system by integration of public software components. The software we used are as follows - Phred/Cross-match for the quality control and vector screening, NCBI Blast for the similarity searching, ICATools for the EST clustering, Phrap for EST contig assembly, and BLOCKS/Prosite for protein motif searching. The sample data set used for the construction and verification of this system was 1,386 ESTs from human intrathymic T-cells that verified using UniGene and Nr database of NCBI. The approach for the extraction of CDSs from sample data set was carried out by comparison between sample data and protein sequences/motif database, determining matched protein sequences/motifs that agree with our defined parameters, and extracting the regions that shows similarities. In recent future, in addition to these components, it is supposed to be also integrated into our system and served that the software for the peptide mass spectrometry fingerprint analysis, one of the proteomics fields. This pipelined-EST analysis system will extend our knowledge on the plant ESTs and proteins by identification of unknown-genes.

  • PDF

Convergent Web-based Education Program to Prevent Dementia (웹기반의 치매 예방용 융합교육 프로그램 개발)

  • Park, Kyung-Soon;Park, Jae-Seong;Ban, Keum-Ok;Kim, Kyoung-Oak
    • The Journal of the Korea Contents Association
    • /
    • v.13 no.11
    • /
    • pp.322-331
    • /
    • 2013
  • The purpose of the present study was to develop a convergent education contents for dementia prevention, operating on the web network applying modern information technology(IT). At the preparation stage, local and worldwide literatures related to dementia were analyzed followed by surveying industry demands, based on which the program was designed and developed. In the following enhancement stage, the program was modified as much as possible by advices obtained from experts in various fields. Development results of the present program are summarized as follows. Firstly, 645 intellect development model to prevent dementia was established through peer review and verification of convergent education theories by expert groups. This model was named as "Garisani" meaning "cognition capable of judging objects" in the Korean language. Secondly, 'Find a way' and 'Connect a line' modules were developed in the numeric field as well as 'Identify a letter(I, II)' modules, in the language field for web-based left brain training program. Thirdly, 'Find my car' and 'Vision training' modules in the attention field and 'Object inference' and 'Compare pictures' modules in the cognition field were developed for web-based right brain training program. Fourth, 'Pentomino' and 'BQmaze'(Brain Quotient and maze) modules in the space perception field and 'Visual training' in the memory field were developed for web-based left and right brains training. Fifth, all results were integrated leading to a 52 week Garisani convergent education program for dementia prevention.

Development of UAV Flight Control Software using Model-Based Development(MBD) Technology (모델기반 개발기술을 적용한 무인항공기 비행제어 소프트웨어 개발)

  • Moon, Jung-Ho;Shin, Sung-Sik;Choi, Seung-Kie;Cho, Shin-Je;Rho, Eun-Jung
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.38 no.12
    • /
    • pp.1217-1222
    • /
    • 2010
  • This paper describes the Model-Based Development(MBD) process behind the flight control software of a close-range unmanned aerial vehicle(KUS-9). An integrated development environment was created using a commercial tool(MATLAB $Simulink^{(R)}$), which was utilized to design models for linear/nonlinear simulation, flight control law, operational logic and HILS(Hardware In the Loop Simulation) system. Software requirements were validated through flight simulations and peer reviews during the design process, whereas the models were verified through the application of a DO-178B verification tool. The integrity of automatically generated C code was verified by using a separate S/W testing tool. The finished software product was embedded on two different types of hardware and real-time operating system(uC/OS-II, VxWorks) to perform HILS and flight tests. The key findings of this study are that MBD Technology enables the development of a reusable and an extensible software product and auto-code generation technology allows the production of a highly reliable flight control software under a compressed time schedule.

Development of Aerodynamic Shape Optimization Program for Horizontal Axis Wind Turbine Blade (수평축 풍력 블레이드 공력 형상 최적화 설계 프로그램 개발)

  • Yoo, Cheol;Son, Eunkuk;Hwang, Sungmok;Choi, Jungchul;Lee, Jin-Jae;Kim, Seokwoo;Lee, Gwang-Se
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.12
    • /
    • pp.9-16
    • /
    • 2017
  • In this paper, the aerodynamic design process of wind turbine blades is established. The optimization design strategy is presented and the constraints that must be reviewed during the aerodynamic design process are summarized. Based on this, this study developed a BEMT-based aerodynamic optimal design program that can be applied easily to actual work, not only for research purposes, but also can be integrated from the initial concept design stage to the final 3D shape detail design stage. The developed program AeroDA consisted of a concept design module, basic design module, optimal TSR module, local shape optimization module, performance analysis module, design verification module, and 3D shape generation module. Using the developed program, an improved design of the 5MW blade by NREL was made, and it was confirmed that this program could be used for design optimization. In addition, a 10kW blade aerodynamic design and turbine detailed performance analysis were carried out, and it was verified by a comparison with the commercial program DNVGL Bladed.

Implementation of the AMBA AXI4 Bus interface for effective data transaction and optimized hardware design (효율적인 데이터 전송과 하드웨어 최적화를 위한 AMBA AXI4 BUS Interface 구현)

  • Kim, Hyeon-Wook;Kim, Geun-Jun;Jo, Gi-Ppeum;Kang, Bong-Soon
    • Journal of the Institute of Convergence Signal Processing
    • /
    • v.15 no.2
    • /
    • pp.70-75
    • /
    • 2014
  • Recently, the demand for high-integrated, low-powered, and high-powered SoC design has been increasing due to the multi-functionality and the miniaturization of digital devices and the high capacity of service informations. With the rapid evolution of the system, the required hardware performances have become diversified, the FPGA system has been increasingly adopted for the rapid verification, and SoC system using the FPGA and the ARM core for control has been growingly chosen. While the AXI bus is used in these kinds of systems in various ways, it is traditionally designed with AXI slave structure. In slave structure, there are problems with the CPU resources because CPU is continually involved in the data transfer and can't be used in other jobs, and with the decreased transmission efficiency because the time not used of AXI bus beomes longer. In this paper, an efficient AXI master interface is proposed to solve this problem. The simulation results show that the proposed system achieves reductions in the consumption clock by an average of 51.99% and in the slice by 31% and that the maximum operating frequency is increased to 107.84MHz by about 140%.