Mechanisms for Requirements Driven Component Selection and Design Automation

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.