Publication
A Domain Specific Language for Automotive Systems Integration
| dc.contributor.author | Oliveira, Renato | |
| dc.contributor.author | Pereira, David | |
| dc.contributor.author | Maia, Cláudio | |
| dc.contributor.author | Santos, Pedro | |
| dc.date.accessioned | 2020-01-17T15:44:53Z | |
| dc.date.embargo | 2120 | |
| dc.date.issued | 2019 | |
| dc.description.abstract | 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. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1109/IECON.2019.8927516 | pt_PT |
| dc.identifier.issn | 2577-1647 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/15316 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Institute of Electrical and Electronics Engineers | pt_PT |
| dc.relation | REASSURE, ref. NORTE-01-0145-FEDER-028550 | pt_PT |
| dc.relation.publisherversion | https://ieeexplore.ieee.org/document/8927516 | pt_PT |
| dc.subject | System verification | pt_PT |
| dc.subject | CPS application development | pt_PT |
| dc.subject | System integration | pt_PT |
| dc.subject | Domain specific language | pt_PT |
| dc.title | A Domain Specific Language for Automotive Systems Integration | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Lisbon, Portugal | pt_PT |
| oaire.citation.endPage | 4488 | pt_PT |
| oaire.citation.startPage | 4483 | pt_PT |
| oaire.citation.title | Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019) | pt_PT |
| person.familyName | Maia | |
| person.givenName | Cláudio Roberto Ribeiro | |
| person.identifier.ciencia-id | EC13-23BF-2018 | |
| person.identifier.orcid | 0000-0002-6567-4271 | |
| rcaap.rights | closedAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | 382626bf-f6e8-427b-b5fa-e470b5b0fb03 | |
| relation.isAuthorOfPublication.latestForDiscovery | 382626bf-f6e8-427b-b5fa-e470b5b0fb03 |