摘要：AbstractThe deployment of control algorithms into software-based controllers is fundamental for the correctness of the designed application. Deployment involves both the configuration of design choices and the management of unpredictable behaviors of controllers. Tools and methodologies must be identified for supporting the activity.This paper proposes to break-down the deployment process into layers of abstraction. Simulations and modeling patterns are introduced for configuring the design choices of each abstraction layer. However, the verification of the approach through the application to real case studies will be matter of future works.
关键词：KeywordsCyber-Physical SystemsModel-based DesignSoftware DeploymentModels of Computation
