Digital Library[ Search Result ]
A Traceability Analysis for Integrated Relationship Analysis of Development/Safety Artifacts of Cyber Physical Systems
Sejin Jung, Eui-Sub Kim, Junbeom Yoo
http://doi.org/10.5626/JOK.2021.48.1.107
A cyber-physical system (CPS), that is to be used a safety important system, needs to analyze the traceability of development artifacts. The traceability analysis of the CPS should be performed integrating development artifacts and safety/hazard analysis elements because CPS has several features such as heterogeneity, dynamic reconfiguration, and interoperability. However, there is a limitation in terms of expressing all traceability relationships by identically connecting and analyzing the traceability between development artifacts and safety analysis elements. This paper proposes an analysis method and relationships of traceability for CPS. The proposed method uses an abstract model for development artifacts and safety analysis elements that are defined in this paper. The traceability relationships define the relations between elements of the model. The proposed method makes it possible to analyze integrated relationships from development artifacts and safety/hazard analysis elements. The case study shows integrated relationships according to each element of several artifacts.
OOPT: An Object-Oriented Development Methodology for Software Engineering Education
Sejin Jung, Dong-Ah Lee, Eui-Sub Kim, Chun-Hyon Chang, Junbeom Yoo
The software development process (SDP) plays an important basic role in software engineering education. Every software is developed in accordance with a specific SDP which contains all phases of software development. SDP education helps students to understand the overall techniques and the process of software engineering. This paper introduces a software development methodology (i.e., process) - ‘OOPT (Object Oriented Process with Traceability),’ which was proposed for use in university software engineering classes. The OOPT is based on object-oriented software development, and it defines concrete requirements as well as outputs of each process/phases. It also contains the unit/system testing and a traceability analysis. We have used the OOPT in software engineering classes at Konkuk university for eight years. This paper conveys our experience as well as future extension and improvement plans.
FBDtoVHDL: An Automatic Translation from FBD into VHDL for FPGA Development
Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, Young Jun Lee, Jong-Gyun Choi
The PLC (Programmable Logic Controller) has been widely used for the development of digital control system of nuclear power plant. The PLC has high maintenance costs and increasing complexity, hence, FPGA (Field Programmable Gate Array) based digital control system has been considered as an alternative. However, the development of FPGA based digital control system is a challenge for PLC engineers because they are required to learn about new language to develop FPGA and knowledge and know-how acquired in the development of PLC is not transferable. In this study, we proposed and implemented an automatic translation tool for translation of FBD (Function Block Diagram), a programming language of PLC software, into VHDL (VHSIC Hardware Description Language). Automatically translating the FBD to VHDL using this tool allows PLC engineers to develop FPGA without any knowledge of the hardware description language.
Search
Journal of KIISE
- ISSN : 2383-630X(Print)
- ISSN : 2383-6296(Electronic)
- KCI Accredited Journal
Editorial Office
- Tel. +82-2-588-9240
- Fax. +82-2-521-1352
- E-mail. chwoo@kiise.or.kr