Design Requirements Iterative Process (DRIP) Tool Demonstration Concurrent Engineering of Design, Requirements and Knowledge

Requirements definition and design decisions are highly coupled for mechatronic systems, and heavily influenced by prior knowledge. Upfront engineering of requirements and design is often addressed by inefficient, ad-hoc iterative methods. We propose a methodology to perform concurrent engineering of high level requirements and design along with prior knowledge by using a "common constraint framework" to describe the requirements, design and knowledge precisely. Then an upfront symbolic simultaneous analysis of all the constraints allows us to identify infeasibilities. Next we define a design architecture that can be used to extend the above constraint framework to include temporal aspects leading to an ability to define low level requirements and test scenarios under which these requirements can be verified. Importantly the low level requirements and test scenarios can be specified independent of the final implementation. These provide the critical link between upfront requirements engineering process and downstream implementation verification. Finally we define "mappings" between implementations and the design architecture that allows definitions of executable tests in the implementation environment that in turn can be used to verify the low level requirements. We demonstrate the above methodologies using the tool DRIP.