Exploring the Cyber‐Physical Design Space

Abstract

AbstractA major challenge in the model‐based engineering of Cyber‐Physical Systems (CPSs) is that of providing methods and tools that support decision‐making in design. In the CPS design space, system models may be composed of diverse notations and tools, and the range of alternatives to be evaluated is immense. In spite of this, the benefits of trade‐off analysis at an early design stage are significant, making the automation of Design Space Exploration (DSE) an appealing prospect. In bringing DSE to industry scale, there is a clear need for both guidance to engineers in designing DSE, and a theory of cost‐effective DSE algorithms. To address this, we propose and demonstrate a SysML profile that encourages the explicit description of DSE over multi‐disciplinary co‐models, and demonstrate the ability to tune a genetic DSE algorithm across a range of design spaces.