• Title/Summary/Keyword: iso4

Search Result 1,766, Processing Time 0.03 seconds

Using Model Checking to Verify an Automotive Electric Parking Brake System (자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용)

  • Choi, Jun Yeol;Cho, Joon Hyung;Choi, Yun Ja
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.6 no.4
    • /
    • pp.167-176
    • /
    • 2017
  • There are increasing policies and safeguards to prevent various human resource losses with the development of automotive industry. Currently ISO26262 $1^{st}$ edition has been released in 2011 to ensure functional safety of electrical and electronic systems and the $2^{nd}$ edition will be released in the second half of 2016 as part of a trend. The E/E (Electrical & Electronics) system requirements verification is required through walk-through, 인스펙션, semi-formal verification and formal verification in ISO 26262. This paper describe the efficiency of model checking for the E/E system requirements verification by applying the product development project of ASIL (Automotive Safety Integrity Level) D for the electrical parking brake system.

An Empirical Study on the Effect of International Standards Management System Integration on Business Performance - Focused on Quality, Environment and Health & safety management system- (국제표준 경영시스템 통합이 경영성과에 미치는 영향에 대한 실증적 연구 - 품질, 환경 및 안전·보건 경영시스템 중심으로 -)

  • Kim, Yeun Sung;Suk, Ho Sam;Sung, Do Kyong
    • Journal of Korean Society for Quality Management
    • /
    • v.45 no.4
    • /
    • pp.781-810
    • /
    • 2017
  • Purpose: This paper studied about the integration for management system of representative international standard related to sustainable development. The well-known International standards such as ISO 9001, ISO 14001 and OHSAS 18001 (ISO 45001) can be operated in accordance with the organizational situation individually, or in a variety of ways of integration. It can be applied to help organizations utilizing the newly established "ISO IEC Directive Part1 Annex SL", when integrating quality, environmental and safety & health management systems based on international standards. Methods: We conducted an empirical survey of management executives and experts to study how three factors (management systems, organizational capabilities and integration methods) could affect business performance. Results: The questionnaire was analyzed using AMOS structural equation model. Quality, environmental and safety and health management systems affected management performance, and integration methods of management system affected business efficiency, risk performance and financial performance. Integration method is also important because organizational competence affects various aspects of integrated management. However, factors that affect integration should also be considered in terms of organizational capabilities. This is because organizational capacity influences the integration plan. Conclusion: To integrate the document system at the strategic level, management should actively participate in integrated operations to integrate organizations, eliminate duplicate tasks, and foster document integration experts to reflect the characteristics of individual standard. In the case of document integration, quality management is focusing, but once ISO 45001 is issued, the use of Annex SL is increasing, and Quality, environment and safety & health integration will also be expanded. It is possible to increase the effect of integration by strategically approaching and establishing organization document system rather than simple integration according to management system standard arrangement.

Standardization of Industrial Information Metadata Based on ISO/IEC 11179 (ISO/IEC 11179에 따른 산업기술정보 메타데이터 표준화)

  • Nam, Young-Kwang;Seo, Tae-Sul;Hwang, Sang-Won
    • Journal of Information Management
    • /
    • v.36 no.1
    • /
    • pp.57-75
    • /
    • 2005
  • The Industrial Metadata Registry(IMR) for standardizing industrial information metadata was implemented and four drafts of metadata sets were developed based on the ISO/IEC 11179. The IMR consists of four individual metadata registries characterized by subject category. Accordingly, the system includes the integrated administration module, and the divisions administration module. The users of the system are divided into committee members and general users. The system has been developed with Oracle 9i and Java JSP over Linux operating system. The system will support the procedure for data sharing and exchanging among users and organizations and improve the availability and manageability of data and provide the standardization of data across the industry.

Relevance of Outsourcing S/W Process Quality and Product Quality with IT Adoption Factors (IT 도입요소를 고려한 외주 S/W 프로세스품질과 제품품질)

  • Lee, Jong-Moo;Park, Cheol-Soo;Yoo, Young-Kwan
    • The Journal of Information Systems
    • /
    • v.18 no.4
    • /
    • pp.131-153
    • /
    • 2009
  • Due to the deterioration of the business environment, many companies become more interested in IT adoption to strengthen their internal competence. The recent expansion of the ERP adoption in the small and medium-sized enterprises (SMEs) can be interpreted as an example for this. However there are still a number of questions over the outsourcing effectiveness and its performance of IT adoption by characteristics of SMEs. This study aims to investigate the relationship between the software process quality and the product quality, and additionally the moderating effect of IT adoption factors, from the case of SMEs' ERP adoption by the outsourcing. For this purpose, the empirical analysis through the structural equation model has been carried out, based on the software quality model defined in ISO/IEC 15504 and ISO/IEC 9126. The result of analysis shows that the acquisition process quality can affect the product quality characteristics, currently applied in the national software quality certification, and this supports the practical usefulness of the ISO standard of software engineering. But another result shows that there is little moderating effect by IT adoption factors, in contrast to the expectation, and this can be explained due to the inappropriate measurement and the data constraint such as short duration-time of IT adoption. These can be used as an informative reference for continuing studies of the quality model application and the effect of IT adoption factors in SMEs.

The Experimental Study for the Smoke Optical Density and Toxic Gases of Sandwich Panel Insulations(Single Chamber Method) (샌드위치패널 단열재의 연기농도 및 연소독성가스에 대한 실험적 연구(연소챔버법))

  • Park, Soo-Young;Lee, Woo-Seok;Yeo, Han-Seung;Im, Hong-Soon
    • Fire Science and Engineering
    • /
    • v.20 no.4 s.64
    • /
    • pp.26-32
    • /
    • 2006
  • Nowadays in Korea, KS F 2271 has been using for the test of fire safety performance of sandwich panels. Smoke toxicity test is the test for the toxicity evaluation of smoke and hazardous gas, caused by combustion of building materials and finishing materials. Smoke toxicity can be evaluated by the mean incapacitation time of mice; however this method is not a quantitative way. This test result can be influenced by the health status of mice and test condition. Specific optical density can be quantitatively measured by ISO 5659-2 single chamber method and toxic gases can be quantitatively measured by FTIR analysis. In this study, specific optical density of sandwich panel insulations, which are widely used in Korea, were tested using the ISO 5659-2 single chamber test method and compared with each test. Also, in the second test of three tests for each specimen, FTIR analysis was performed and quantitative test results(HCl, $NO_2$, etc) were compared with each test result.

ISO and OGC Standards for Geo-spatial Image Information and Suggestions for Their Applications (공간영상정보 관련 ISO와 OGC 표준현황과 활용을 위한 제언)

  • Lee, Ki-Won;Kang, Hae-Kyong
    • Korean Journal of Remote Sensing
    • /
    • v.26 no.4
    • /
    • pp.451-464
    • /
    • 2010
  • In these days, application cases of national or international standards in the field of geo-spatial information based on information technology are being increased. Especially, demands regarding distribution, dissemination and interoperability of contents using geo-spatial images and these information resources are also on the increasing stage, so that standards as core elements supporting these trends are getting to be emphasized. However, interests on standards of geo-spatial image information processing including remotely sensed images and efforts for development and application of these standards are not enough, domestically. In this study, international standards for geo-spatial image information in ISO and OGC as well as the domestic status were reviewed with the summaries concerned. Comparison with international and domestic standards shows that most national standards were partly modified and translated with international ones, but there are rare cases of application plans or studies concerned in this field. If these situations are continued, industrial stack or applications of technologies regarding standards are getting lesser. Therefore, it is necessary to analyze some problems and to study strategy to overcome them, and the result of this study could be used for the initial works.

Elizabethkingia miricola BM10, a New Symbiotic Bacterium Isolated from the Hindgut of the Termite Reticulitermes speratus KMT001

  • LEE, Dongmin;KIM, Young-Kyoon;KIM, Yeong-Suk;KIM, Tae-Jong
    • Journal of the Korean Wood Science and Technology
    • /
    • v.47 no.6
    • /
    • pp.692-699
    • /
    • 2019
  • Elizabethkingia miricola BM10, a symbiotic bacterium, has been isolated from the hindgut of Reticulitermes speratus KMT001, a termite which occurs on Bukhan Mountain in Seoul, Korea. This strain demonstrated a symbiotic characteristic, in that it lacked endo-${\beta}$-1,4-glucanase activity, in a previous study. The major fatty acids of E. miricola BM10 were iso-$C_{15:0}$, iso-$C_{17:0}$ 3-OH, and summed feature 3 (iso-$C_{16:1}{\omega}7c/C_{16:1}{\omega}6c$). The content of iso-$C_{17:0}$ 3-OH was higher, while those of ECL 13.566, iso-$C_{17:11}{\omega}9c$, and summed feature 4 were lower than the other three type-strains of the Elizabethkingia genus. The 16S rRNA phylogenetic analysis confirmed that E. miricola BM10 is a new species. The whole genome of E. miricola BM10 was sequenced. The average nucleotide identity of strain BM10 as evaluated by pairwise comparison with E. anophelis R26, E. meningoseptica ATCC 13253, and E. miricola GTC 862 was shown to be 91.5%, 81.2%, and 94.29%, respectively. Based on our study results, E. miricola BM10 appears to represent a new strain of the genus Elizabethkingia.

Design Implementation of Lightweight and High Speed Security Protocol Suitable for UHF Passive RFID Systems (UHF 수동형 RFID 시스템에 적합한 경량 고속의 보안 프로토콜 설계 및 구현)

  • Kang, You-Sung;Choi, Yong-Je;Choi, Doo-Ho;Lee, Sang-Yeoun;Lee, Heyung-Sup
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.20 no.4
    • /
    • pp.117-134
    • /
    • 2010
  • A passive RFID tag which received attention as a future technology for automatic and quick identification faces some difficulties about security problems such as tag authentication, reader authentication, data protection, and untraceability in addition to cost and reliable identification. A representative passive RFID technology is the ISO/IEC 18000-6 Type C which is an international standard for 900 MHz UHF-band. This standard has some difficulties in applying to the security services such as originality verification, tag's internal information protection, and untraceability, because it does not provide high-level security solution. In this paper, we summarize security requirements of ISO/IEC ITC 1/SC 31 international standardization group, propose security protocols suitable for the UHF-band passive RFID system using a crypto engine, and analyze its security strength. In addition, we verify that it is possible to implement a tag conforming with the proposed security protocols by presenting concrete command/response pairs and cryptographic method.

A Study on the Realities and the Subject of Environmental Management for Small and Medium-Sized Companies in Gangwon Area (강원지역 중소기업의 환경경영 실태와 과제)

  • Jeon, Yeong-Seung;Park, Eun-Jeong
    • Korean Business Review
    • /
    • v.17
    • /
    • pp.53-81
    • /
    • 2004
  • The purpose of this study is to understand the realities and the subject of environmental management for small and medium-sized companies in Gwangwon area, through surveying the present status as to acquiring the certification of ISO14001, and to seek for a plan to facilitate environmental management. Given summarizing key results, those are as follows. First, while the number of companies in our country which acquired the certification of ISO14001, amounts to 1,215 businesses as of April of 2003, the number of small and medium-sized companies in Gwangwon area which obtained the certification of ISO14001 reached only 26 businesses, the lowest level among metropolitan municipalities. Second, for the reason that companies who didn't acquire the certification, strive not to receive the certification, it did present the point that' costs to be needed in acquiring and maintaining the certification are larger than practical benefit. Third, the biggest reason for either companies which did not acquire the certification of ISO14001 or companies which did (try to) acquire the certification of ISO1400, was, enhancement of a corporate image,' and the effect after a company who obtained the certification introduced the environmental management system, was also shown to be 'the improvement of a corporate image.' Fourth, many companies who acquired the certification of ISO1400 pointed out the response related to 'burden on document creation and costs' and 'lack of manpower' as problems when introducing the environmental management system. On the basis of major results of a study as the above, given presenting the subject and a plan for activating the environmental management of small and medium-sized companies in Gwangwon area, those are as follows. First, because most of companies who did not obtain the certification of ISO1400 have low recognition of ISO14001, it needs continuous and positive publicity, education and a training system. Second, it requires to carry out an educational program to nurture professional manpower due to lack of manpower relevant to environmental management, to expand payment of subsidies, to open exclusive-charge department and consulting contact, to have the relevant information be database and to develop software. Third, in order to make the certification obtained through inexpensive costs and simple procedures, it needs to positively consider the creation of public approval system for a small and medium-sized company, group approval system, industrial-complex approval system, and others.

  • PDF

Effect on Bleaching Efficiency by Chelating Treatment in Sugarcane Bagasse DEDP Bleaching Process (사탕수수 부산물 펄프의 DEDP 표백 시 킬레이트 전처리가 표백 효율에 미치는 영향)

  • Lee, Jai-Sung;Song, Woo-Yong;Park, Jong-Moon;Shin, Soo-Jeong
    • Journal of Korea Technical Association of The Pulp and Paper Industry
    • /
    • v.47 no.4
    • /
    • pp.81-87
    • /
    • 2015
  • Soda-AQ pulp made from sugarcane bagasse (SCB) were bleached in element chlorine free (ECF) sequence. To reduce chlorine dioxide use, final peroxide bleaching was introduced. Prior to peroxide bleaching, different chelating chemicals were applied for comparative analysis in ISO brightness and viscosity. When using equal total chlorine dioxide usage (4.5%), bleached SCB pulp using chelate and hydrogen peroxide (DEDQP) was reached 86.8% (DTPA), 86.4% (EDTA) ISO brightness, whereas bleached pulp using only hydrogen peroxide (DEDP) reached at 81.2% ISO brightness. Viscosity of DEDQP bleached pulp was 25.6 cPs (DTPA), 25.2 cPs (EDTA), And DEDP bleached pulp was shown 18.0 cPs viscosity. Decreasing of transition metal by chelate process led to improvements in final brightness along with higher viscosity. Due to EDTA is 5-7 times cheaper than DTPA, EDTA is recommended as chelating chemical prior to peroxide bleaching.