VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development

Authors:
Pao-Ann Hsiung;Chao-Sheng Lin;Shang-Wei Lin;Yean-Ru Chen;Chun-Hsien Lu;Sheng-Ya Tong;Wan-Ting Su;Chihhsiong Shih;Chorng-Shiuh Koong;Nien-Lin Hsueh;Chih-Hung Chang;William C. Chu
Affiliations:
National Chung Cheng University,;National Chung Cheng University,;National Chung Cheng University,;National Chung Cheng University,;National Chung Cheng University,;National Chung Cheng University,;National Chung Cheng University,;Tunghai University,;National Taichung University,;Feng Chia University,;Hsiuping Institute of Technology,;Tunghai University,
Venue:
ICA3PP '09 Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing
Year:
2009

Citing 7
Cited 0

Efficient and User-Friendly Verification

IEEE Transactions on Computers
Time weaver: a software-through-models framework for embedded real-time systems

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software

IEEE Transactions on Software Engineering
The Problem with Threads

Computer
Real-World Concurrency

Queue - The Concurrency Problem
Intel threading building blocks

Intel threading building blocks

Quantified Score

Hi-index	0.01

Visualization

Abstract

Multi-core processors are becoming prevalent rapidly in personal computing and embedded systems. Nevertheless, the programming environment for multi-core processor based systems is still quite immature and lacks efficient tools. In this work, we present a new VERTAF/Multi-Core framework and show how software code can be automatically generated from SysML models of multi-core embedded systems. We illustrate how model-driven design based on SysML can be seamlessly integrated with Intel's threading building blocks (TBB) and the Quantum Platform middleware. We use a digital video recording system to illustrate the benefits of the framework. Our experiments show how SysML/QF/TBB help in making the multi-core embedded system programming model-driven, easy, efficient, and effortless.