• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.7
• /
• pp.547-554
• /
• 2020

Airborne health management system prevents functional failure caused by errors or faults in the airborne software. On-the-fly repairing atomicity violations (AV) in an ARINC-653 concurrent software is critical for guaranteeing correctness of execution of the software. This paper proposes Repairing-AV which efficiently repairs atomicity violations. The Repairing-AV can diagnose and prevent an error on-the-fly by utilizing the training results of the software and controls access to the shared variable of the thread where the error occurred. The evaluation of the Repairing-AV measures the time overhead by applying the previous work and the Repairing-AV to five synthesis programs containing the atomicity violation. As the result of evaluation, the RepairingAV constantly shows about 1.4x time overhead regardless of count of shared variable access.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.10
• /
• pp.821-829
• /
• 2020

Health management system of airborne software repairs runtime errors to provide safety and to reduce cost of maintenance. It is critical to on-the-fly repair order violation errors, because it is difficult to identify them at the development phase. Previous work, called Repairing Atomicity Violations (Repairing-AV) diagnoses order violations for each access event by comparing execution order of accesses. As a result, Repairing-AV has time overhead that is proportional to the number of access events to shared variable. This paper presents a tool called On-the-fly Repairing System (ORS) that can repair order violations of object methods containing access events. The ORS diagnoses order violations by using correct order of object methods, and treats them by stalling its thread where the error is about to occur. Experimentation with five synthetic programs shows that ORS is more efficient than Repairing-AV when the number of access events is greater than sixty.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.9-10
• /
• 2019

항공기 소프트웨어는 기능적 실패 시 인명피해나 재산피해와 같은 큰 사고로 이어질 수 있다. 따라서 항공기 소프트웨어 개발과정에서 엄격한 검증 프로세스를 수행하지만 오류를 완벽히 제거하는 것은 어렵다. 병행 프로그램에서 발생하는 동시성 오류는 잘못된 동기화에 의하여 공유자원을 사용할 때 발생할 수 있다. 하지만 복잡한 인터리빙을 모두 고려하여 디버깅하기 어렵기 때문에 자율적으로 수리되어야 한다. 본 논문은 항공기 소프트웨어에서 함수 호출을 기반으로 동시성 오류를 자율적으로 수리하는 기법을 제시한다. 제시하는 기법은 모니터 및 컨트롤 엔진, 순차정보 제공 엔진, 건전성 관리시스템으로 구성된다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.11-12
• /
• 2019

본 논문은 멀티스레드를 지원하는 항공기 소프트웨어에 적용될 수 있는 자율수리 도구의 문제의 해결방법을 제안하는 논문이다. 기존의 연구는 프로그램의 반복수행을 통해 안전한 인터리빙을 수집하여 프로그램의 동작을 제한한다. 하지만 테스트 단계에서 수집되지 않은 안전한 인터리빙을 잘못된 인터리빙으로 처리하여 수리를 수행함으로써 불필요한 오버헤드가 발생한다. 본 논문은 원자성위배 패턴을 사용하여 안전한 인터리빙을 예측하여 생성시키는 기법을 사용하여 수리기법에서 불필요한 수리로 인한 오버헤드를 감소하기 위한 안전한 인터리빙 정보를 생성하는 기법을 제안한다.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.9
• /
• pp.1-12
• /
• 2021

In this paper, we propose a tool called ARCAV (Atomatic Recovery of CUDA Atomicity violation) to automatically repair atomicity violations in GPU (Graphics Processing Unit) program. ARCAV monitors information of every barrier and memory to make actual memory writes occur at the end of the barrier region or to make the program execute barrier region again. Existing methods do not repair atomicity violations but only detect the atomicity violations in GPU programs because GPU programs generally do not support lock and sleep instructions which are necessary for repairing the atomicity violations. Proposed ARCAV is designed for GPU execution model. ARCAV detects and repairs four patterns of atomicity violations which represent real-world cases. Moreover, ARCAV is independent of memory hierarchy and thread configuration. Our experiments show that the performance of ARCAV is stable regardless of the number of threads or blocks. The overhead of ARCAV is evaluated using four real-world kernels, and its slowdown is 2.1x, in average, of native execution time.

• Elastomers and Composites
• /
• v.38 no.3
• /
• pp.243-250
• /
• 2003

Polyurethane waterproof (PW) coatings are increasingly demanded in Korea for repairing cracks on old building roofs and construction of many sporting facilities. Calcium carbonate, a common filler, is incorporated in PW compositions. In this study, PW coatings were prepared by substituting a part of calcium carbonate with fly ash. The maximum amounts of calcium carbonate which can be substituted by fly ash obtained in the cyclone and bag filter dust collectors were 20 and 10%, respectively. It was found that the curing rate of PWs ran be controlled by varying the amount of Pb-octoate catalyst. The elongations at break as well as tensile strength and tear strength of PW coatings containing fly ash could also be adjusted such that their values were comparable to those of a standard PW coating by varying relative amounts of some components. However, the amount of cadmium, mercury, and lead leached from PW coatings containing fly ash obtained from the bag filter collector exceeded the respective allowed upper limits, mainly due to the initial high contents of them in the fly ash. On the other hand, PW coatings containing fly ash obtained from the cyclone collector exhibited better mechanical properties and did not release any significant amounts of the heavy metals. Thus, it was concluded that PW coatings containing fly ash can be utilized for practical applications as long as an appropriate fly ash is used.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.10 no.2
• /
• pp.47-53
• /
• 2010

Very-early strength latex-modified concrete (VES-LMC) was developed with a focus on workability, strength development and long-term durability that would allow for opening a bridge to traffic only 3 hours after concrete placement, which would be useful when repairing concrete bridge deck overlays. However, even though usage of latex in VES-LMC improves the durability, it has a disadvantage that it produces lots of entrained air. Therefore, specific plan is necessary since it is weak for freezing and thawing in air-void structure. In the present study ultra-fine fly ash (UFFA) was used. Test results are follows ; Air content of VES-LMC UFFA (VES-LMC using UFFA) concrete was decreased since major pozzolan reaction was happened in one day. It was also found that total air content of concrete was decreased with pozzolan reaction since air content in 28 days was the same with one day air content. The addition of calcium hydroxide increased entrained air which is smaller than size of 200 ${\mu}m$. It was effective to improve the air-void structure of VES-LMC since spacing factor can be confirmed as smaller than size of 200 ${\mu}m$ using more than 15% of UFFA.

• The Journal of the Korea Contents Association
• /
• v.14 no.12
• /
• pp.999-1009
• /
• 2014

In this paper, $CO_2$ emission and storage amount are evaluated for real RC (Reinforced Concrete) underground structure considering $CO_2$ amount including material manufacturing, moving, and construction, repairing timing stage regarding extended service life. Four mix proportions with mineral admixtures are prepared and $CO_2$ diffusion coefficient are obtained based on a micro modeling. Referred to carbonation durability limit state, $CO_2$ emission and storage amount are evaluated, which shows higher initial $CO_2$ emission is caused due to larger unit content of cement and the storage increases with more rapid carbonation velocity. Furthermore various $CO_2$ concentration is adopted for simulation of $CO_2$ evaluation including measured $CO_2$ concentration (600ppm). With higher concentration of $CO_2$ outside, carbonation velocity increases. In order to reduce $CO_2$ emission through entire service life, reducing initial $CO_2$ emission through mineral admixture like fly ash is more effective than increasing $CO_2$ storage through OPC since $CO_2$ is significantly emitted under manufacturing OPC and $CO_2$ storage in cover concrete of RC structure is not effective considering initial concrete amount in construction.

• Journal of the Korea Institute of Building Construction
• /
• v.17 no.2
• /
• pp.141-147
• /
• 2017

The purpose of this study is to develop an inorganic filling adhesive using MKP and borax based on Dead-burn magnesia and fly ash. First, basic experiments was conducted to derive the proper addition rate of MKP. And this experiment was carried out according to addition ratio of borax. The test items are measured for pot life, flexural strength, compressive strength, adhesive strength, tensile strength, ratio of temperature change, ratio of hardening shrinkage, radon gas and formaldehyde emission. As a result, the proper addition rate of phosphate was 35%. The pot time is about 10minutes, 15minutes and 25minutes according to addition rate of borax. The flexural strength and compressive strength were obtained at 12hours for minimum flexural strength of 8.0MPa and minimum compressive strength of 31.0MPa. The tensile strength was the least 4.1MPa, and the ratio of hardening shrinkage was maximum 2.4% and ratio of heat change was maximum - 0.3%, which satisfied all of the quality standards of 'KS F 4923' (epoxy resin for repairing concrete structures). Both Radon gas and formaldehyde emission was not detected.