You are here
Framework for requirements-driven system design automation
| Title: | Framework for requirements-driven system design automation. |
 955 views 518 downloads |
|---|---|---|
| Name(s): |
Fonoage, Mihai. Charles E. Schmidt College of Science Department of Computer and Electrical Engineering and Computer Science |
|
| Type of Resource: | text | |
| Genre: | Electronic Thesis Or Dissertation | |
| Date Issued: | 2010 | |
| Publisher: | Florida Atlantic University | |
| Physical Form: | electronic | |
| Extent: | xiv, 170 p. : ill. (some col.) | |
| Language(s): | English | |
| Summary: | In this thesis, a framework for improving model-driven system design productivity with Requirements-Driven Design Automation (RDDA) is presented. The key to the proposed approach is to close the semantic gap between requirements, components and architecture by using compatible semantic models for describing product requirements and component capabilities, including constraints. An ontology-based representation language is designed that spans requirements for the application domain, the software design domain and the component domain. Design automation is supported for architecture development by machine-based mapping of desired product/subsystem features and capabilities to library components and by synthesis and maintenance of Systems Modeling Language (SysML) design structure diagrams. The RDDA framework uses standards-based semantic web technologies and can be integrated with exiting modeling tools. Requirements specification is a major component of the system development cycle. Mistakes and omissions in requirements documents lead to ambiguous or wrong interpretation by engineers, causing errors that trickle down in design and implementation with consequences on the overall development cost. We describe a methodology for requirements specification that aims to alleviate the above issues and that produces models for functional requirements that can be automatically validated for completeness and consistency. The RDDA framework uses an ontology-based language for semantic description of functional product requirements, SysML structure diagrams, component constraints, and Quality of Service. The front-end method for requirements specification is the SysML editor in Rhapsody. A requirements model in Web Ontology Language (OWL) is converted from SysML to Extensible Markup Language Metadata Interchange (XMI) representation. | |
| Summary: | The specification is validated for completeness and consistency with a ruled-based system implemented in Prolog. With our methodology, omission s and several types of consistency errors present in the requirements specification are detected early on, before the design stage. 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 work, we start from a structured representation of requirements and components using SysML, and based on specific set of rules written in Prolog, we partially automate the process of architecture design. | |
| Identifier: | 701511568 (oclc), 2975246 (digitool), FADT2975246 (IID), fau:3574 (fedora) | |
| Note(s): |
by Mihai Fonoage. Thesis (Ph.D.)--Florida Atlantic University, 2010. Includes bibliography. Electronic reproduction. Boca Raton, Fla., 2010. Mode of access: World Wide Web. |
|
| Subject(s): |
Computer architecture Computer software -- Development User-centered system design Information technology -- Management Semantic Web |
|
| Persistent Link to This Record: | http://purl.flvc.org/FAU/2975246 | |
| Use and Reproduction: | http://rightsstatements.org/vocab/InC/1.0/ | |
| Host Institution: | FAU |
