Mechanisms for requirements driven component selection and design automation

Component selection and design automation have the potential to play a major role in reducing the system development time and cost caused by the rapid change in technology advances and the large solution search space. In our research we start from a structured representation of requirements and components using the Systems Modeling Language (SysML), and based on specific set of rules written in Prolog, we partially automate the process of architecture design. This methodology is part of the Requirements-Driven Design Automation (RDDA) framework that we develop for component-based system development.