Scheduled System Maintenance:
On May 6th, single article purchases and IEEE account management will be unavailable from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). We apologize for the inconvenience.
By Topic

Model-based embedded software development flow

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Kashif, H. ; Comput. & Syst. Eng. Dept., Ain Shams Univ., Cairo, Egypt ; Mostafa, M. ; Shokry, H. ; Hammad, S.

The need for new embedded software development design methodologies arises from the increasing complexity and sophistication of embedded systems. The paper proposes a novel approach for model-driven development and verification of embedded software. This approach mainly depends on the separation of design and implementation phases of the development process. The proposed design comprises two main phases for development: modeling the software using xtUML and fully verifying the model to match specification, then the generation of the embedded software code from the created model. Following this approach allows helps to discover specification errors early in the development process, and facilitates the reuse of various parts of the model. The proposed flow also introduces the possibility of using model based testing (MBT) tools for automatic test generation. Using, this complete flow, only the effort of creating two models (one for software module code generation and one for test generation) will be required replacing the traditional complete design, implementation, test design, test implementation and test execution flow.

Published in:

Design and Test Workshop (IDT), 2009 4th International

Date of Conference:

15-17 Nov. 2009