Integrated Method For Designing Complex Cyber-Physical Systems
Ref: CISTER-TR-181120 Publication Date: 17, Jul, 2018
Integrated Method For Designing Complex Cyber-Physical SystemsRef: CISTER-TR-181120 Publication Date: 17, Jul, 2018
The design of a Cyber-Physical System (CPS) is dened as a complex activity, being composed of a set of design phases devoted to model application characteristics. In this sense, detailing the phase characteristics is required in order to help the design teams during the project design, and to aim the support of the correct application characteristics representation. However, despite some of these phases, such as the control systems design, being discussed at length by the engineering community, other phases have less detailed studies, i.e., the design activities that compose these phases are not so well documented. In these sense, it is required more experience from the design teams to perform activities such as, the sensing and actuation subsystems representation, and the integration of formal verication methods on the design process, among others. Despite the lack of information related to them, these phases are essential to the CPS design, by the fact that they support application characteristics representation and the properties validation, as well as, they also provide the integration between designed system and their environment. Regarding the CPS design process, dierent methods are available in the literature, aiming to guide the designers to perform the modeling tasks. However, these approaches do not provide enough information related to those described activities. In this context, this thesis proposes an integrated method applied to CPS design, more specically devoted to the Unmanned Aerial Vehicles (UAV) design. That proposed method aims to integrate dierent modeling processes such as functional, architectural, sensor and actuator integrations, and formal verication design processes. Based on the proposed activities this method aims to support the UAV embedded system design, and allow the integration between the embedded platform and the set of system devices. The Model Driven Engineering (MDE) is used as basis to the proposed approach, and aims to support the automated model generation based on the application characteristics. It is intended to ensure the maintainability of the system information over all the design steps and provide the property evaluation and validation, considering the model transformation principles. Two dierent tools are designed with the proposed method, the ECPSModeling and the ECPSVerier, for supporting the design activities. The ECPSModeling provides the transformation process from functional model to architectural model, in order to integrate sensor and actuator characteristics. On the other hand, the ECPSVerier provides the CPS behavior representation, based on the architectural model, by using timed automatas, which allows the formal verication evaluation by performing model checking. The proposed method and the designed tools are applied on the project of a tilt-rotor UAV design. The details of the method proposed in this thesis are demonstrated by performing the UAV project, described as a case study.
PhD Thesis, Universidade Federal de Santa Catarina.
Notes: Presidente do Juri Prof. Dr. Werner Kraus Junior, PGEAS-UFSC Vogais Prof. Dr. Leandro Buss Becker, PGEAS-UFSC (Orientador) Prof. Dr. Flávio Rech Wagner, UFRGS Prof. Dr. Eduardo Tovar, CISTER/ISEP, Portugal Prof. Dr. Antônio Augusto Fröhlich, INE-UFSC
Record Date: 9, Nov, 2018