A pattern-based verification approach for a multi-core system development

Authors:
Peng-Hua Chu;Nien-Lin Hsueh;Chien-Ching Lee;Min-Ju Chuang;Pao-Ann Hsiung;William Chu
Affiliations:
Feng Chia University, Taichung, Taiwan;Feng Chia University, Taichung, Taiwan;Feng Chia University, Taichung, Taiwan;Feng Chia University, Taichung, Taiwan;National Chung Cheng University, Chiayi, Taiwan;Tunghai University, Taichung, Taiwan
Venue:
Proceedings of the 2011 ACM Symposium on Applied Computing
Year:
2011

Citing 9
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Protected Variation: The Importance of Being Closed

IEEE Software
Patterns

IEEE Software
Developing adaptable software architectures using design patterns: an NFR approach

Computer Standards & Interfaces - Special issue: Adaptable software architectures
Software engineering for multicore systems: an experience report

Proceedings of the 1st international workshop on Multicore software engineering
A quantitative approach for evaluating the quality of design patterns

Journal of Systems and Software
Patterns for parallel programming

Patterns for parallel programming
Design patterns for behavior-based robotics

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recent years, with the development of multi-core processor architecture, multi-core software development is also being gradually recognized. Therefore, how to quickly develop reliable multi-core software will be a challenge. In our approach, we use Model-driven architecture (MDA) technology to achieve this challenge. First, we extract the experience of designing multi-core software and model the experience as a reusable pattern by using UML meta-modeling techniques. Then, we specify a set of constraints using the Object Constraint Language (OCL) to verify the model with profile. Finally, we provide a tool to specify the operation definition for connecting the design and implementation, so that the model transformation process can be more efficient. Furthermore, we demonstrate our approach by a case study on a real-world multi-core embedded system called PVE (Parallel Video Encoder), where a pattern CommandPipeline is designed for the development convenience.