By Topic

Mechanisms for Requirements Driven Component Selection and Design Automation

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

3 Author(s)
Fonoage, M. ; Dept. of Comput., Electr. Eng. & Comput. Sci., Florida Atlantic Univ., Boca Raton, FL, USA ; Cardei, I. ; Shankar, R.

Component selection and design automation play a major role in reducing the system development cost and time due to the ability to accommodate rapid changes in technology advances and the time-to-market constraints imposed on product release. In this article we present our research on partially automating the process of architecture design starting from semantic representations for requirements and components. The Systems Modeling Language (SysML) is used for specification and modeling. A set of rules written in Prolog control the processes for model verification and architecture synthesis. This methodology is part of the Requirements-Driven Design Automation (RDDA) framework that we develop for component-based system development.

Published in:

Systems Journal, IEEE  (Volume:4 ,  Issue: 3 )