Task-level timed-functional simulation for multi-core embedded systems
- Authors
- Jeong, EunJin; Park, Hae-woo; Ha, Soonhoi; Oh, Hyunok
- Issue Date
- Dec-2010
- Publisher
- IEEE
- Keywords
- Embedded software; Functional simulation; Multi-processor; Multi-task; Task model; Timing simulation
- Citation
- 2010 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia'10, pp.61 - 70
- Indexed
- SCOPUS
- Journal Title
- 2010 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia'10
- Start Page
- 61
- End Page
- 70
- URI
- https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/173289
- DOI
- 10.1109/ESTMED.2010.5666981
- ISSN
- 0000-0000
- Abstract
- Since the design validation and correction cost is drastically increasing as the design steps proceed, software verification is considerably desired before the simulation model for the target architecture is constructed. As timing correctness is as important as functional correctness in real-time multimedia embedded systems, an important research issue is how to perform timed functional simulation with reasonable accuracy on a host machine. In addition, to allow design space exploration, a simulation platform should reflect hardware architectures, task mapping, and the scheduling policy for an operating system. To meet these requirements, we propose a timed functional simulator assuming that an application behavior is specified by a task graph. While the previous works usually resort to an event-driven simulator for timed simulation, the proposed technique separates data communication and timing management. Since the simulation kernel manages the timing and task scheduling, the simulation speed approaches to that of a functional simulator. The proposed simulation consists of two steps: preliminary and timing simulation. First, preliminary simulation is performed to profile the data size of each task execution. Then, timing simulation is executed to verify the timing correctness of the application with the profiled data size. Experiment results show that the proposed timed functional simulation approach is very fast enough for early verification of embedded software design.
- Files in This Item
-
Go to Link
- Appears in
Collections - 서울 공과대학 > 서울 정보시스템학과 > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/173289)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.