Integrated Method For Designing Complex Cyber-Physical Systems
Ref: CISTER-TR-181120 Publication Date: 17, Jul, 2018
Integrated Method For Designing Complex Cyber-Physical Systems
Ref: CISTER-TR-181120 Publication Date: 17, Jul, 2018Abstract:
The design of a Cyber-Physical System (CPS) is de ned 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 veri cation 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, di erent 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
speci cally devoted to the Unmanned Aerial Vehicles (UAV) design.
That proposed method aims to integrate di erent modeling processes
such as functional, architectural, sensor and actuator integrations, and
formal veri cation 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 di erent tools are designed
with the proposed method, the ECPSModeling and the ECPSVeri er,
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 ECPSVeri er provides the CPS behavior representation,
based on the architectural model, by using timed automatas, which
allows the formal veri cation 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.
Fernando GonçalvesDocument:
View
DownloadPhD Thesis, Universidade Federal de Santa Catarina.
Florianópolis.
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