Name: | Description: | Size: | Format: | |
---|---|---|---|---|
198.66 KB | Adobe PDF |
Advisor(s)
Abstract(s)
Developing complex safe and secure Cyber-Physical
Systems (CPS) applications for the automotive domain is typically
a complex task, due to the criticality inherent to this domain.
Considering such known complexity of the development process,
we propose a novel solution that aims to provide a quasiautomatic1
integration process between the different components
of such CPS systems via the support of a Domain Specific
Language (DSL) that provides several views of the system,
abstracting away the more technical implementation details,
while imposing system properties and restrictions that have the
potential to be formally verified (either statically or at run-time)
during design, and facilitates the process of customization and
quasi-automatic build and deployment processes. In this paper,
we briefly analyze the tools that are available and that cover
partially the characteristics of our envisioned DSL, describe its
building blocks, and show how it can be applied in a small,
yet sufficiently complex CPS application whose architecture is
very close to what we may expect for the modern and future
generation of CPS application in the automotive domain.
Description
Keywords
System verification CPS application development System integration Domain specific language
Citation
Publisher
Institute of Electrical and Electronics Engineers