• 제목/요약/키워드: User safety

검색결과 1,250건 처리시간 0.022초

Verifying Code toward Trustworthy Software

  • Kim, Hyong-Soon;Lee, Eunyoung
    • Journal of Information Processing Systems
    • /
    • 제14권2호
    • /
    • pp.309-321
    • /
    • 2018
  • In the conventional computing environment, users use only a small number of software systems intensively. So it had been enough to check and guarantee the functional correctness and safety of a small number of giant systems in order to protect the user systems and their information inside the systems from outside attacks. However, checking the correctness and safety of giant systems is not enough anymore, since users are using various software systems or web services provided by unskilled developers. To prove or guarantee the safety of software system, a lot of research has been conducted in diverse areas of computer science. We will discuss the on-going approaches for guaranteeing or verifying the safety of software systems in this paper. We also discuss the future research challenge which must be solved with better solutions in the near future.

노면 미끄럼저항 증진방앙 연구 (Improvement of Pavement Skid Resistance)

  • 임승욱;유태석;엄주용
    • 한국콘크리트학회:학술대회논문집
    • /
    • 한국콘크리트학회 1996년도 봄 학술발표회 논문집
    • /
    • pp.216-224
    • /
    • 1996
  • Recently, Korea Highway Corporation has attemped to improve the highway safety in accordance with minimizing user's imconveniences. Currently, the Anti Skidding Pavement(ASP) has been introduced as a safety countermeasure on the safety frailty sections. In this study, a series of field evaluations on pavement skid resistance have been conducted on the skid frailty sections to analyze the effects and problems of the Anti Skidding Pavement (ASP), and to understand the behavior of pavement skid resistance due to pavement type, section characteristics, vehicles' speed and traffec volume. Test results show the Anti Skidding Pavement (ASP) has the effects to induce vehicles' speed reduction. However, there are no effects to increase skid resistance. According to these results, it is demanded to improve the applying method of current Anti Skidding Pavement (ASP) to devise an effective safety countermeasure for pavement skid, and to increase pavement skid resistance.

  • PDF

장갑 착용이 악력과 안전에 미치는 영향에 관한 연구 (A Study of the Effects of Wearing Gloves on Grip Strength and Safety)

  • 정화식;구동호
    • 대한안전경영과학회지
    • /
    • 제8권4호
    • /
    • pp.13-23
    • /
    • 2006
  • Grip strength provides a quick and objective index of the functional integrity of the upper extremities. It is widely used as an assessment measure in physical and rehabilitation medicine. In this study, maximum voluntary grip strength of 20 college students wearing 5 different gloves were measured using Jamar hand dynamometer. The results show that maximum voluntary grip strength was generally reduced when wearing gloves as compared to bare-handed. More specifically, the grip strength was highest when wearing PVC coated glove or bare-handed and getting lowered as wrist band, rubber, leather, and cotton glove in these order. Depending on the measuring posture of grip strength, shoulder height with arm extended forward was higher than the elbow was flexed 90 degree. Moreover, subjects' demographic factors and hand dimensions were not closely related to the grip strength. It is thus recommended that the proper glove should be provided to reduce the negative consequences including dropping a tool, poorer control of a tool. lower quality work, and increased muscle fatigue and in turn to increase the user safety and satisfaction.

도시철도유지보수체계 시스템의 RAMS에 대한 연구 (A Study on the RAMS for Maintenance CALS system for Urban transit)

  • 이호용;박기준;안태기;김길동;한석윤;이승일
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2003년도 춘계학술대회 논문집
    • /
    • pp.145-150
    • /
    • 2003
  • The safety of staff customers and of general Public in general viewed as one of the most important requirements in the urban transit. The maintenance CALS system for car of urban transit is a part of standardization and development of urban transit system, and We have been performed the establishment of maintenance CALS system from 2001 to 2005. The RAMS for management computerization system are utilized in a variety of CALS system for user's convenience and safety in maintenance. Ever since its inception though, the urban transit has searched for ways to improve reliability, availability, maintainability and safety of the railway subsystem. In this paper, This system include RAMS(reliability, availability, maintainability and safety) of the vehicles shall be enhanced in the future.

  • PDF

도시철도 유지보수 예방정비체계 구축 방법론에 관한 연구 (A Study on the construction methodology of preventing maintenance system for Urban transit)

  • 이호용;박기준;안태기;한석윤;서명원
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 하계학술대회 논문집 B
    • /
    • pp.1400-1402
    • /
    • 2004
  • The safety of staff, customers and of general Public in general viewed as one of the most important requirements in the urban transit. The maintenance computerization system for car of urban transit is a part of standardization and development of urban transit system. and We have been performed the establishment of maintenance computerization system from 2001 to 2005. The RAMS (reliability. availability. maintainability and safety) estimation for maintenance computerization system are utilized in a variety of computerization system for user's convenience and safety in maintenance. Ever since its inception though. the urban transit has searched for ways to improve reliability. availability. maintainability and safety of the railway subsystem. Provision of a reliable maintenance system include RAMS of the vehicles plays a very important role in achieving a safe system.

  • PDF

어린이용 안전모의 착용실태와 착용성 증대 방안을 위한 연구 (Research for the Wear Status and Encourage the Children to Wear Safety Helmets)

  • 송예호;이강인
    • 대한안전경영과학회지
    • /
    • 제17권3호
    • /
    • pp.149-162
    • /
    • 2015
  • This study was conducted on young children safety helmet to prevent risk of head injuries from external shock. Young children helmet shall be easy to wear and use comfortably. But the young children helmet market in domestic has imported dependently and widely variations in quality because the euro product of high priced and the east asia product of low priced are selling at the same time. Therefore, this study surveyed children under 13 years of age and Married people and studies their actual state of wearing. Furthermore, this study is going to propese the improving wearing of helmet and the major points of quality of helmet and the problem by comparing and reviewing regulations of domestic and foreign.

운영단계 안전중시시스템에서 제기되는 설계변경요구에 대해 아키텍처 DB의 추적성을 통한 변경프로세스의 개선 (On Coping with the Design Change Request by Utilizing DB Traceability in the Operational Phase of Safety-critical Weapon Systems)

  • 김영민;이재천
    • 대한안전경영과학회지
    • /
    • 제16권1호
    • /
    • pp.69-77
    • /
    • 2014
  • The environment and requirements of modern war fields have been affected and thus changed by a variety of issues. To this end, the development of safety-critical weapon systems frequently need to meet those changes even in the operational phase. The necessity of the changes may be due to the preparation for mass-production or the request originated from the user military forces. To meet such a need can be even tougher in the development of safety-critical weapon systems since the integration of the requirements for both systems design and systems safety would make it troublesome. To handel the matter in this paper, utilization of architecture DB is proposed. Specifically, the situation in demand has first been analyzed and then a problem-solving process to accommodate the design changes has been constructed. In doing so, the concept of the aforementioned integration is particularly focused on the functional architecture, which could be a core concept of our approach to solving the problem. The result of a case study demonstrating the method studied using a computer-aided systems engineering tool is also presented.

산업재해 중 근골격계질환 요인 특성 분석 (An Analysis of Characteristics of Musculoskeletal Disorders Risk Factors)

  • 김현호;박현진;박기혁;김욱;유찬영;김증호;박정선
    • 대한인간공학회지
    • /
    • 제28권3호
    • /
    • pp.17-25
    • /
    • 2009
  • This study was aimed to analyze of characteristics of Musculoskeletal disorders (MSDs) based on the industrial accident statistics which were extracted from the Ministry of Labor. In this study all MSDs cases in 2007, 7,723 cases, were investigated. First of all, for the analysis of a wide view point concerning the characteristics of MSDs, We have inspected characteristics of the user population (i.e. age, gender, employed periods, etc.). Secondly, work-related risk factors such as repetitive motions, awkward postures, manual material handling were analyzed in terms of disease code, injured part of body, types of business, etc. Next, characteristics of handling of heavy materials were analyzed according to weight, types of handling, agency of cause, etc. Finally, we have compared and analyzed the features between the period of hospitalization and other variables. In addition to that we also conducted statistics analysis. The study results showed that there were significant characteristics of MSDs that could be used as basis data for the MSDs prevention policy.

Impact of Social Networks Safety on Marketing Information Quality in the COVID-19 Pandemic in Saudi Arabia

  • ALNSOUR, Iyad A.;SOMILI, Hassan M.;ALLAHHAM, Mahmoud I.
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제8권12호
    • /
    • pp.223-231
    • /
    • 2021
  • The study aimed to investigate the impact of social networks safety (SNS) on the marketing information quality (MIQ) during the COVID-19 pandemic in Saudi Arabia. The study examines the statistical differences in social networks safety SNS and marketing information quality MIQ according to the demographics such as age, sex, income, and education. For this study purpose, information security and privacy are two components of social networks safety. The research materials are website resources, regular books, journals, and articles. The population includes all Saudi users of social networks. The figures show that active users of the social network reached 25 Million in 2020. The snowball method was used and sample size is 500 respondents and the questionnaire is the tool for the data collection. The Structural Equation Modelling SEM technique is used. Convergent Validity, Discriminate Validity, and Multicollinearity are the main assumptions of structural equation modeling SEM. The findings show the high positive impact of SNS networks safety on MIQ and the statistical differences in such variables refer to education. Finally, the study presents a set of future suggestions to enhance the safety of social networks in Saudi Arabia.

Wireless safety monitoring of a water pipeline construction site using LoRa communication

  • Lee, Sahyeon;Gil, Sang-Kyun;Cho, Soojin;Shin, Sung Woo;Sim, Sung-Han
    • Smart Structures and Systems
    • /
    • 제30권5호
    • /
    • pp.433-446
    • /
    • 2022
  • Despite efforts to reduce unexpected accidents at confined construction sites, choking accidents continue to occur. Because of the poorly ventilated atmosphere, particularly in long, confined underground spaces, workers are subject to dangerous working conditions despite the use of artificial ventilation. Moreover, the traditional monitoring methods of using portable gas detectors place safety inspectors in direct contact with hazardous conditions. In this study, a long-range (LoRa)-based wireless safety monitoring system that features the network organization, fault-tolerant, power management, and a graphical user interface (GUI) was developed for underground construction sites. The LoRa wireless data communication system was adopted to detect hazardous gases and oxygen deficiency within a confined underground space with adjustable communication range and low power consumption. Fault tolerance based on the mapping information of the entire wireless sensor network was particularly implemented to ensure the reliable operation of the monitoring system. Moreover, a sleep mode was implemented for the efficient power management. The GUI was also developed to control the entire safety-monitoring system and to manage the measured data. The developed safety-monitoring system was validated in an indoor testing and at two full-scale water pipeline construction sites.