Validity frame driven computational design synthesis for complex cyber-physical systems

The increasing complexity and performance demands of cyber-physical systems (CPS) force the engineers to switch from traditional, well understood single-core embedded platform to complex multi-core or even heterogeneous embedded platforms. The deployment of a control algorithm on such advanced embedded platforms can affect the control behavior even more than on a single-core embedded platform. It is therefore key to reason about this deployment early within the design process. We propose the use of the Validity Frame concept as enabling technique within the Computational Design Synthesis (CDS) process to automatically generate design alternatives and to prune nonsensical alternatives, narrowing the design space and thus increasing efficiency. For each valid control algorithm alternative, the control behavior under deployment is examined using a custom simulator enabled by modeling the embedded platform and the application deployment explicitly. We demonstrate our approach in the context of a complex cyber-physical system: an advanced safety-critical control system for brushless DC motors.

ISBN:978-3-030-58166-4

Publication year:2020

Keywords:P1 Proceeding

Accessibility:Closed