• Title/Summary/Keyword: High-Assurance

Search Result 384, Processing Time 0.026 seconds

Analysis of S/W Test Coverage Automated Tool & Standard in Railway System (철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석)

  • Jo, Hyun-Jeong;Hwang, Jong-Gyu;Shin, Seung-Kwon;Oh, Suk-Mun
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.11
    • /
    • pp.4460-4467
    • /
    • 2010
  • Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

Volatile Compounds Analysis of Certified Traditional Doenjang (전통식품 품질인증 된장의 향기성분 분석)

  • Lee, Jang-Eun;Kang, Sun Hee;Kim, Hye Ryun;Lim, Seong Il
    • Journal of the Korean Society of Food Science and Nutrition
    • /
    • v.44 no.6
    • /
    • pp.944-950
    • /
    • 2015
  • The purpose of this study was to provide a basis for the management of traditional Doenjang by analyzing characteristics of volatile compounds in local Doenjang certified as a traditional food. The main compounds in Doenjang were acids, esters, aldehydes, and pyrazines, whereas relatively high intensities of acetic acid, ethyl alcohol, benzaldehyde, ethyl acetate, ethyl 2-methyl butanoate, 2,5-dimethyl pyrazine, and tetramethylpyrazine were detected among identified compounds. The analysis revealed that the composition of basic volatile compounds in Doenjang was similar, but isovaleric acid, 2-methylbenzaldehyde, tetramethylpyrazine, benzaldehyde, ethyl alcohol, ethyl caprylate, furfural and butanoic acid can serve as marker compounds for quality evaluation since they were specifically abundant in only some kinds of Doenjang. As a result, the quality status of Doenjang certified as a traditional food was determined by constructing a database of the volatile compounds, which can be suggested as a quality control method.

The Study on Applicability of Manufactured Lead(II) Iodide Dosimeter for Dose Measurement in Brachytherapy (방사선근접치료 분야의 선량 측정을 위해 제조된 Lead(II) Iodide 선량계의 적용가능성 연구)

  • Yang, Seung-Woo;Han, Moo-Jae;Park, Sung-Kwang
    • Journal of the Korean Society of Radiology
    • /
    • v.15 no.6
    • /
    • pp.789-794
    • /
    • 2021
  • Brachytherapy is a treatment in which radioactive isotopes are placed inside the body to intensively irradiate the tumor with radiation. Because brachytherapy uses a radioisotope source with a high dose rate, it is very important to know the exact location and dose of the source. However, in clinical practice, it is evaluated inaccurately with the naked eye through rulers and autoradiographs. Therefore, in this study, a dosimeter that can be used for brachytherapy was developed using a lead(II) iodide (PbI2) material, and the applicability was evaluated by analyzing the reproducibility, linearity, and PID items. As a result of reproducibility evaluation, the RSD value was 1.41%, satisfying the evaluation criteria of 1.5%. As a result of the linearity evaluation, the R2 value was 0.9993, which satisfies the evaluation criterion of 0.9990. As a result of PID evaluation, it showed only a difference of 0.06 cm compared with the theoretical value of the inverse square law of distance at the 50% dose reduction point. The dosimeter manufactured in this experiment shows results that satisfy the standard in all evaluations, so it is judged that the possibility of applying the dosimeter in the radiation brachytherapy area is sufficient.

A Study on Security Requirements for 5G Base Station (5G 기지국에 대한 보안성평가기준 연구)

  • Hong, Paul;Kim, Yejun;Cho, Kwangsoo;Kim, Seungjoo
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.31 no.5
    • /
    • pp.919-939
    • /
    • 2021
  • As a next-generation communication technology, 5G networks are capable of handling large amounts of traffic based on higher speeds, shorter communication delays, and higher connectivity compared to 4G networks. In this 5G network environment, base stations are installed all over the city at high density due to their characteristics, and are connected to user terminals to provide services. Therefore, if the base station is damaged by a malicious attacker, it is expected to cause great damage to users and society as a whole. So the need for secure communication equipment such as 5G base stations has emerged. Therefore, in this paper, we propose the security functional requirements derived using threat modeling, a systematic methodology for 5G base stations, and the security assurance requirements at the level that can cope with the backdoor issues. The security requirements proposed in this paper can be used for base station design and development to construct a secure network environment as a security evaluation standard for 5G base stations.

Calibration of cultivar parameters for cv. Shindongjin for a rice growth model using the observation data in a low quality (저품질 관측자료를 사용한 벼 생육 모델의 신동진 품종모수 추정)

  • Hyun, Shinwoo;Kim, Kwang Soo
    • Korean Journal of Agricultural and Forest Meteorology
    • /
    • v.21 no.1
    • /
    • pp.42-54
    • /
    • 2019
  • Crop models depend on a large number of input parameters including the cultivar parameters that represent the genetic characteristics of a given cultivar. The cultivar parameters have been estimated using high quality data for crop growth, which require considerable costs and efforts. The objective of this study was to examine the feasibility of using low quality data for the parameter estimation. In the present study, the cultivar parameters for cv. Shindongjin were estimated using the data obtained from the report of new cultivars development and research from 2005 to 2016. The root mean square errors (RMSE) of the heading dates were less than 3 days when the parameters associated with phenology were estimated. In contrast, the coefficient of determination for yield tended to be less than 0.1. The large errors incurred by the fact that no growth data collected over a season was used for parameter estimation. This suggests that detailed observation data needs to be prepared for parameter calibration, which would be aided by remote sensing approaches. The occurrence of natural disasters during a growing season has to be considered because crop models cannot take into account the effects of those events. Still, our results provide a reasonable range for the parameters, which could be used to set the boundary of a given parameter for cultivars similar to cv. Shindongjin in further studies.

Securing Safety in Collaborative Cyber-Physical Systems Through Fault Criticality Analysis (협업 사이버물리시스템의 결함 치명도 분석을 통한 안전성 확보)

  • Hussain, Manzoor;Ali, Nazakat;Hong, Jang-Eui
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.10 no.8
    • /
    • pp.287-300
    • /
    • 2021
  • Collaborative Cyber-Physical Systems (CCPS) are those systems that contain tightly coupled physical and cyber components, massively interconnected subsystems, and collaborate to achieve a common goal. The safety of a single Cyber-Physical System (CPS) can be achieved by following the safety standards such as ISO 26262 and IEC 61508 or by applying hazard analysis techniques. However, due to the complex, highly interconnected, heterogeneous, and collaborative nature of CCPS, a fault in one CPS's components can trigger many other faults in other collaborating CPSs. Therefore, a safety assurance technique based on fault criticality analysis would require to ensure safety in CCPS. This paper presents a Fault Criticality Matrix (FCM) implemented in our tool called CPSTracer, which contains several data such as identified fault, fault criticality, safety guard, etc. The proposed FCM is based on composite hazard analysis and content-based relationships among the hazard analysis artifacts, and ensures that the safety guard controls the identified faults at design time; thus, we can effectively manage and control the fault at the design phase to ensure the safe development of CPSs. To justify our approach, we introduce a case study on the Platooning system (a collaborative CPS). We perform the criticality analysis of the Platooning system using FCM in our developed tool. After the detailed fault criticality analysis, we investigate the results to check the appropriateness and effectiveness with two research questions. Also, by performing simulation for the Platooning, we showed that the rate of collision of the Platooning system without using FCM was quite high as compared to the rate of collisions of the system after analyzing the fault criticality using FCM.

Quantitative analysis of glycerol concentration in red wine using Fourier transform infrared spectroscopy and chemometrics analysis

  • Joshi, Rahul;Joshi, Ritu;Amanah, Hanim Zuhrotul;Faqeerzada, Mohammad Akbar;Jayapal, Praveen Kumar;Kim, Geonwoo;Baek, Insuck;Park, Eun-Sung;Masithoh, Rudiati Evi;Cho, Byoung-Kwan
    • Korean Journal of Agricultural Science
    • /
    • v.48 no.2
    • /
    • pp.299-310
    • /
    • 2021
  • Glycerol is a non-volatile compound with no aromatic properties that contributes significantly to the quality of wine by providing sweetness and richness of taste. In addition, it is also the third most significant byproduct of alcoholic fermentation in terms of quantity after ethanol and carbon dioxide. In this study, Fourier transform infrared (FT-IR) spectroscopy was employed as a fast non-destructive method in conjugation with multivariate regression analysis to build a model for the quantitative analysis of glycerol concentration in wine samples. The samples were prepared by using three varieties of red wine samples (i.e., Shiraz, Merlot, and Barbaresco) that were adulterated with glycerol in concentration ranges from 0.1 to 15% (v·v-1), and subjected to analysis together with pure wine samples. A net analyte signal (NAS)-based methodology, called hybrid linear analysis in the literature (HLA/GO), was applied for predicting glycerol concentrations in the collected FT-IR spectral data. Calibration and validation sets were designed to evaluate the performance of the multivariate method. The obtained results exhibited a high coefficient of determination (R2) of 0.987 and a low root mean square error (RMSE) of 0.563% for the calibration set, and a R2 of 0.984 and a RMSE of 0.626% for the validation set. Further, the model was validated in terms of sensitivity, selectivity, and limits of detection and quantification, and the results confirmed that this model can be used in most applications, as well as for quality assurance.

The Status of Higher Education Reform Drive and Improvement Tasks of Moon's administration : Focusing on University Restructuring Project and Higher Education Funding System (문재인 정부 고등교육 개혁 추진 현황 및 개선과제: 대학 구조개혁 및 재정지원 사업 재편 정책을 중심으로)

  • Byun, Ki yong;Song, In-Yeong
    • (The)Korea Educational Review
    • /
    • v.24 no.2
    • /
    • pp.51-79
    • /
    • 2018
  • The purpose of this study is to critically reflect on whether the higher education(HE) restructuring & funding policy proposed by the Moon administration can properly tackle the structural problems confronting Korean HE system. The three major structural problems having entrenched during the rapid expansion of Korean HE system since 1945 can be identified as (1) a 'high cost - low efficiency system' based heavily on 4-year private universities, (2) lack of clear distinction of the roles and connection among different types of higher education institutions (HEIs), and (3) provider-oriented education system and culture seemingly still being widespread at Korean HEIs. This study analyzed the validity of Moon Administration's HE restructuring and funding policy from both a macro- and micro-perspective. From a macro-perspective, this study raised concerns regarding the projects to nurture a national university and a government-dependent private university which will require huge public money. In terms of both the feasibility to secure enough funds and the validity of the proposed policy measures in the existence of unclear roles between public and private HEIs in Korea, this study criticized these policies and proposed, as an alternative policy measure, a low-cost and flexibly operated HEIs such as a government-dependent polytechnic, and a measure to increase connection between different types of HEIs. From a micro perspective, this study suggested, based on 'the expanded principal-agent theory (Waterman & Meier, 1998)', that it would be considered to introduce a more flexible approach in designing the level of government intervention depending upon the maturity of quality assurance procedure at individual universities and the level of goal conflicts between government and individual university.

Measurement uncertainty analysis of radiophotoluminescent glass dosimeter reader system based on GD-352M for estimation of protection quantity

  • Kim, Jae Seok;Park, Byeong Ryong;Yoo, Jaeryong;Ha, Wi-Ho;Jang, Seongjae;Jang, Won Il;Cho, Gyu Seok;Kim, Hyun;Chang, Insu;Kim, Yong Kyun
    • Nuclear Engineering and Technology
    • /
    • v.54 no.2
    • /
    • pp.479-485
    • /
    • 2022
  • At the Korea Institute of Radiological and Medical Sciences, physical human phantoms were developed to evaluate various radiation protection quantities, based on the mesh-type reference computational phantoms of the International Commission on Radiological Protection. The physical human phantoms were fabricated such that a radiophotoluminescent glass dosimeter (RPLGD) with a Tin filter, namely GD-352M, could be inserted into them. A Tin filter is used to eliminate the overestimated signals in low-energy photons below 100 keV. The measurement uncertainty of the RPLGD reader system based on GD-352M should be analyzed for obtaining reliable protection quantities before using it for practical applications. Generally, the measurement uncertainty of RPLGD systems without Tin filters is analyzed for quality assurance of radiotherapy units using a high-energy photon beam. However, in this study, the measurement uncertainty of GD-352M was analyzed for evaluating the protection quantities. The measurement uncertainty factors in the RPLGD include the reference irradiation, regression curve, reproducibility, uniformity, energy dependence, and angular dependence, as described by the International Organization for Standardization (ISO). These factors were calculated using the Guide to the Expression of Uncertainty in Measurement method, applying ISO/ASTM standards 51261(2013), 51707(2015), and SS-ISO 22127(2019). The measurement uncertainties of the RPLGD reader system with a coverage factor of k = 2 were calculated to be 9.26% from 0.005 to 1 Gy and 8.16% from 1 to 10 Gy. A blind test was conducted to validate the RPLGD reader system, which demonstrated that the readout doses included blind doses of 0.1, 1, 2, and 5 Gy. Overall, the En values were considered satisfactory.

Survey of Point-of-Care Testing Devices for Pre-hospital EMS Equipment of Glucometer on Local Area (지역 EMS의 현장검사 혈당측정기 사용에 대한 실태조사)

  • Byeong-Hyun, Kim;Dai-Hai, Choi;Gyoung-Yim, Ha
    • Journal of agricultural medicine and community health
    • /
    • v.47 no.4
    • /
    • pp.220-228
    • /
    • 2022
  • Objective: glucometer is one of POCT(point-of-care testing) devices used by EMS. Accurate measurement value is important for patient decision making. Quality control is necessary for this, but most EMS are still using glucometer without quality control it. Therefore, management status and quality control status of glucometers used by 119 paramedics waswere investigated. Methods: 6 and 8 of glucometers and blood glucose test strips were submitted from 4 safety centers in 2010 and 8 safety centers in 2012, respectively. Glucometers submitted by local safety centers were analyzed in 2010 and 2012. The control glucometer, which was well managed at A University Hospital, was assumed to be accurate for at blood glucose measurement. Glucose values of various quality control materials control solutions were measured and analyzed using linear regression and Pearson's correlation test. Error rates were obtained via error tolerance range required by the 2011 ISO(International Organization for Standardization) guideline. For statistics, Excel and MedCalC programs were used. Results: mong 14 safety centers in the region, 4 centers(28.5%) in 2010 and 8 centers(57.1%) in 2012 submitted 6 and 8 glucometers. In the first evaluation in 2010, 2 out of 6(33.3%) glucometers were untestable due to error, and 45 out of 6(66.683.3%) blood glucose test strips' validity were expired. In the second evaluation in 2012, 1 out of 8(13.5%) glucometers were untestable due to lack of battery, and 2 out of 8(25%) blood glucose test strips' validity were expired. All correlation coefficients were above 0.989 in 2010 and above 0.997 in 2012. Error rates were generally high when using expired blood glucose test strips. Conclusion: Among 119 paramedics' guideline, quantity and operation status of POCT devices are well managed, but quality control is not. Therefore, it is necessary to add management status and quality control status of POCT devices to the EMS' field work guideline.