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.
FMProjector: A Formal Verification Framework for an Operating System Complying with a Standard Interface
http://doi.org/10.5626/JOK.2019.46.8.814
Formal verification techniques facilitate the verification of functional correctness of software. The verification, however, is rarely applicable to large-scale software, such as operating systems, because of the state explosion problem. International standards or certifications, such as IEC-61508 or DO-178, highly recommend formal verification of such software according to the level of safety. The paper introduces a formal verification framework, FMProjector, for operating systems complying with a standard interface. The framework includes horizontal and vertical approaches for systematic analysis of the software based on traceability from the standard interface to the source code. The paper also introduces a case study for the application of FMProjector to Qplus-AIR complying with ARINC-653 which is a standard interface for avionics real-time operating system.
OSDEF: An Integrated Framework for Practicing Object-Oriented Software Development
http://doi.org/10.5626/JOK.2019.46.8.774
Software development starts with a specific software development process (SDP) which contains the start and end of the development, SDP plays an important role in the software engineering education. Object-oriented software development education uses several examples that contain object-oriented characteristics into education and practices. However, there is an immense burden on the implantation phases as per the scale of the program, thus creating difficulties in the identification of the connected relations between software design and implementation. In the present work, we propose the OSDEF (Object-oriented based Software Development Education Framework) framework for proceeding an efficient software engineering education based on the OOPT (Object-Oriented Process with Traceability). The framework contains artifact management tools which can directly write development artifacts inside the tool, traceability analysis tool, and emulating environment for embedded software, which can practice a layered architecture in an efficient manner.
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.
An ETRI CPS Modeling Language for Specifying Hybrid Systems
Sanghyun Yoon, In-geol Chun, Won-Tae Kim, Jaeyeon Jo, Junbeom Yoo
Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.
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