Digital Library


Search: "[ keyword: Safety ]" (13)
    Architectural Refactoring of Real-Time Software Design for Predictable Controls of Artificial Heart
    Se Hun Jeong , Hee Jin Kim , Sang Soo Park , Sung Deok Cha The KIPS Transactions:PartA, Vol. 18, No. 6, pp. 271-280, Dec. 2011
    10.3745/KIPSTA.2011.18.6.271


    The Virtual Factory Layout Simulation System using Legacy Data within Mixed Reality Environment
    Jong Hwan Lee , Su Chul Shin , Soon Hung Han The KIPS Transactions:PartA, Vol. 16, No. 6, pp. 427-436, Dec. 2009
    10.3745/KIPSTA.2009.16.6.427


    Compositional Safety Analysis for Embedded Systems using the FSM Behavioral Equivalence Algorithm
    Woo Jin Lee The KIPS Transactions:PartD, Vol. 14, No. 6, pp. 633-640, Oct. 2007
    10.3745/KIPSTD.2007.14.6.633


    A Study on the Analysis of Internal and External Factors of Software Threat Elements
    Lee Eun Ser The Transactions of the Korea Information Processing Society, Vol. 13, No. 6, pp. 278-283, Jun. 2024
    https://doi.org/10.3745/TKIPS.2024.13.6.278
    Keywords: Software Test, Reliability, Software Safety


    Pattern Analysis for Safety Evaluation System of Groundwater Well Based on Object Oriented Spatial Model
    Jae Bong Lee , Hoon Sung Kwak The KIPS Transactions:PartD, Vol. 11, No. 4, pp. 893-900, Aug. 2004
    10.3745/KIPSTD.2004.11.4.893


    Design and implementation of ground water safety evaluation system using spatial relationships
    Lee Jae Bong , Gwag Hun Seong The KIPS Transactions:PartD, Vol. 11, No. 1, pp. 31-38, Feb. 2004
    10.3745/KIPSTD.2004.11.1.31


    Securing Safety in Collaborative Cyber-Physical Systems Through Fault Criticality Analysis
    Manzoor Hussain, Nazakat Ali, Jang-Eui Hong KIPS Transactions on Software and Data Engineering, Vol. 10, No. 8, pp. 287-300, Aug. 2021
    https://doi.org/10.3745/KTSDE.2021.10.8.287
    Keywords: Safety, Composite Hazards Analysis, Fault Criticality, Cyber-Physical Systems, Platooning System


    LSTM(Long Short-Term Memory)-Based AbnormalBehavior Recognition Using AlphaPose
    Hyun-Jae Bae, Gyu-Jin Jang, Young-Hun Kim, Jin-Pyung Kim KIPS Transactions on Software and Data Engineering, Vol. 10, No. 5, pp. 187-194, May. 2021
    https://doi.org/10.3745/KTSDE.2021.10.5.187  
    Keywords: Safety management, Action Recognition, Pose Estimation, LSTM, Deep Learning


    Comparing the Usages of Vocabulary by Medias for Disaster Safety Terminology Construction
    Jung-Eun Lee, Tae-Young Kim, Hyo-Jung Oh KIPS Transactions on Software and Data Engineering, Vol. 7, No. 6, pp. 229-238, Jun. 2018
    10.3745/KTSDE.2018.7.6.229
    Keywords: Disaster Safety, Terminology Resource, Word Dictionary, Standardization


    Using Model Checking to Verify an Automotive Electric Parking Brake System
    Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 167-176, Apr. 2017
    10.3745/KTSDE.2017.6.4.167
    Keywords: Model Checking, Automotive Verification, Formal Verification, Safety Requirement