• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.12
• /
• pp.867-879
• /
• 2006

This paper concerns fast and time accurate HW/SW cosimulation for MPSoC(Multi-Processor System-on-chip) architecture where multiple software and/or hardware components exist. It is becoming more and more common to use MPSoC architecture to design complex embedded systems. In cosimulation of such architecture, as the number of the component simulators participating in the cosimulation increases, the time synchronization overhead among simulators increases, thereby resulting in low overall cosimulation performance. Although SystemC cosimulation frameworks show high cosimulation performance, it is in inverse proportion to the number of simulators. In this paper, we extend the novel technique, called virtual synchronization, which boosts cosimulation speed by reducing time synchronization overhead: (1) SystemC simulation is supported seamlessly in the virtual synchronization framework without requiring the modification on SystemC kernel (2) Parallel execution of component simulators with virtual synchronization is supported. We compared the performance and accuracy of the proposed parallel SystemC cosimulation framework with MaxSim, a well-known commercial SystemC cosimulation framework, and the proposed one showed 11 times faster performance for H.263 decoder example, while the accuracy was maintained below 5%.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.10 s.352
• /
• pp.68-73
• /
• 2006

This, paper proposes a cosimulation methodology that results in an efficient SoC design as well as fast verification by integrating HDL, SystemC, and algorithm-level abstraction using the design tools Active-HDL and Matlab's Simulink. To demonstrate the proposed design methodology, we implemented the design technique on a serial connection multi-channel speaker system. We have demonstrated the proposed cosimulation method utilizing an ARM processor based SoC Master board with the AMBA bus interface and a Xilinx Vertex4 FPGA. The proposed method has the advantage of simultaneous simulation verification of both software and hardware parts in high levels of abstraction mixed with some performance critical parts in more concrete RTL codes. This allows relatively fast and easy design of a speaker connection system which typically requires significant amount of data processing for verification.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.9_10
• /
• pp.485-496
• /
• 2008

As the complexity of SoC (System-on-Chip) design increases dramatically. traditional system performance analysis and verification methods based on RTL (Register Transfer Level) are no more valid for increasing time-to-market pressure. Therefore a new design methodology is desperately required for system verification in early design stages. and hardware software (HW-SW) cosimulation at TLM (Transaction Level Modeling) level has been researched widely for solving this problem. However, most of HW-SW cosimulators support few restricted ion levels only, which makes it difficult to integrate HW-SW cosimulators with different ion levels. To overcome this difficulty, this paper proposes a multipurpose framework for HW SW cosimulation to provide systematic SoC design flow starting from software application design. It supports various design techniques flexibly for each design step, and various HW-SW cosimulators. Since a platform design is possible independently of ion levels and description languages, it allows us to generate simulation models with various ion levels. We verified the proposed framework to model a commercial SoC platform based on an ARM9 processor. It was also proved that this framework could be used for the performance optimization of an MJPEG example up to 44% successfully.

• Journal of Electrical Engineering and Technology
• /
• v.5 no.4
• /
• pp.561-570
• /
• 2010

This paper presents an advanced dynamic simulation model of a proton exchange membrane fuel cell for the optimal design of a fuel cell power conditioning system (FC-PCS). For the development of fuel cell models, the dynamic characteristics of the fuel cell are considered, including its static characteristics. Then, software fuel cell simulation is realized using Matlab-Simulink. Specifically, the design consideration of PCS (i.e., power semiconductor switch, capacitor, and inductor) is discussed by comparatively analyzing the developed simulator and ideal DC source. In addition, a cosimulation between the fuel cell model and PCS realized using the PSIM software is performed with the help of the SimCoupler module. Detailed analysis and informative simulation results are provided for the optimal design of fuel cell PCS.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2022.06a
• /
• pp.574-576
• /
• 2022

메타버스는 다수 사용자의 협업이 가능한 3 차원 가상현실 환경을 제공한다. 메타버스 공간에서의 현실과 연결된 혹은 현실이 모사된 실시간/비실시간 시뮬레이션은 비용-효율적인 이점을 가진다. 연동-시뮬레이션은 서브시스템들의 통합 시뮬레이션으로, 메타버스 공간에서의 연동-시뮬레이션을 위해 데이터-레벨, 시스템-레벨, 서비스레벨에서 기술 성능 검증 및 메타버스 윤리 검증이 필요하다. 개별 서브시스템이 윤리적으로 동작하는지 뿐만 아니라 연동된 시스템의 활용도 윤리적인가를 살펴보아야 한다. 알고리즘 및 시스템 정책이 반영되어 검증된 모델은 메타버스의 더 적은 위험성을 가지고 자동화된 디지털 사회 체계나 현실세계의 시스템에 적용되어 활용될 수 있다.

• Journal of Computing Science and Engineering
• /
• v.2 no.4
• /
• pp.375-393
• /
• 2008

The dynamic cast operation allows flexibility in the design and use of data management facilities in object-oriented programs. Dynamic cast has an important role in the implementation of the Data Management Services (DMS) of the Mission Data System Project (MDS), the Jet Propulsion Laboratory's experimental work for providing a state-based and goal-oriented unified architecture for testing and development of mission software. DMS is responsible for the storage and transport of control and scientific data in a remote autonomous spacecraft. Like similar operators in other languages, the C++ dynamic cast operator does not provide the timing guarantees needed for hard real-time embedded systems. In a recent study, Gibbs and Stroustrup (G&S) devised a dynamic cast implementation strategy that guarantees fast constant-time performance. This paper presents the definition and application of a cosimulation framework to formally verify and evaluate the G&S fast dynamic casting scheme and its applicability in the Mission Data System DMS application. We describe the systematic process of model-based simulation and analysis that has led to performance improvement of the G&S algorithm's heuristics by about a factor of 2. In this work we introduce and apply a library for extracting semantic information from C++ source code that helps us deliver a practical and verifiable implementation of the fast dynamic casting algorithm.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.24 no.1
• /
• pp.99-111
• /
• 2016

This paper presents an integrated fault diagnosis algorithm for driving motor of In-wheel independent drive electric vehicle. Especially, this paper proposes a method that integrated the high level fault diagnosis and the low level fault diagnosis in order to improve a robustness and performance of the fault diagnosis system. The high level fault diagnosis is performed using the vehicle dynamics analysis and the low level fault diagnosis is carried using the motor system analysis. The validity of the high level fault diagnosis algorithms was verified through $Carsim^{(R)}$ and MATLAB/$Simulink^{(R)}$ cosimulation and the low level fault diagnosis's validity was shown by applying it to a MATLAB/$Simulink^{(R)}$ interior permanent magnet synchronous motor control system. Finally, this paper presents a fault diagnosis strategy by combining the high level fault diagnosis and the low level fault diagnosis.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.12 no.2
• /
• pp.170-177
• /
• 2019

In this paper, three theories for improving the stability of quadruped robot are presented. First, the Minimum-Jerk Trajectory is used to optimize the leg trajectory. Second, we compare the newly proposed sine wave and the conventional LSM in this paper based on the Jerk value. Third, we calculate the optimum stride of the sway through repetitive robot simulation using ADAMS-MATLAB cosimulation. Through the above process, the improvement of the robot walking is compared with the existing theory. First, the average gradient of the point where the leg trajectory changes rapidly was reduced from at least 1.2 to 2.9 by using the Minimum-Jerk targetory for the movement of the body and the end of the leg during the first walk, thereby increasing the walking stability. Second, the average Jerk was reduced by 0.019 on the Z-axis, 0.457 on the X-axis, and 0.02, 3D on the Y-axis by 0.479 using the Sin wave type sways presented in this paper, rather than the LSM(Longitude Stability Margin) method. Third, the length of the optimal stride for walking at least the Jerk value was derived from the above analysis, and the 20cm width length was the most stable.