Publicação
Integrated Development of Embedded Systems with Remote Graphical User Interfaces
| dc.contributor.author | Lagartinho-Oliveira, Carolina | |
| dc.contributor.author | Pereira, Fernando | |
| dc.contributor.author | Moutinho, Filipe | |
| dc.contributor.author | Campos-Rebelo, Rogério | |
| dc.contributor.author | Gomes, Luís | |
| dc.contributor.institution | CTS - Centro de Tecnologia e Sistemas | |
| dc.contributor.institution | UNINOVA-Instituto de Desenvolvimento de Novas Tecnologias | |
| dc.contributor.pbl | Institute of Electrical and Electronics Engineers (IEEE) | |
| dc.date.accessioned | 2023-09-27T22:26:20Z | |
| dc.date.available | 2023-09-27T22:26:20Z | |
| dc.date.issued | 2023-06 | |
| dc.description | Publisher Copyright: © 2013 IEEE. 10.13039/501100001871-Portuguese Agency “Fundação para a Ciência e a Tecnologia” (FCT) 10.13039/501100006111-Ph.D. Scholarship through national funds from the “Ministério da Ciência, Tecnologia e Ensino Superior (MCTES)” | |
| dc.description.abstract | This paper presents a Graphical User Interface (GUI) Builder for embedded systems and Cyber-Physical Systems (CPSs). The hardware platforms used in CPSs may employ physical devices without graphical and user-input capabilities, or devices that may be placed on multiple remote locations, often with difficult physical access, that brings new challenges to GUI design. The proposed tool, integrated within the IOPT-Flow framework, enables a new approach to answer these challenges. This framework supports the development of embedded systems and distributed CPSs, offering a set of web-based tools for model edition, simulation, and implementation on physical devices. Systems are designed using graphical models combining Data-flows, Signals, and Petri nets, that permit the specification of remote communication channels just by drawing arcs. The new GUI Builder tool uses this infrastructure to automate the creation of graphical user interfaces for embedded systems and distributed CPSs, benefiting from a development with combined design, validation and automatic code generation methods. Finally, an application example of a power wheelchair controller integrating a GUI, is presented. | en |
| dc.description.version | publishersversion | |
| dc.description.version | published | |
| dc.format.extent | 13 | |
| dc.format.extent | 4394234 | |
| dc.identifier.doi | 10.1109/ACCESS.2023.3287198 | |
| dc.identifier.issn | 2169-3536 | |
| dc.identifier.other | PURE: 72595268 | |
| dc.identifier.other | PURE UUID: 26b324d4-6100-4985-9b85-514611fdf6bd | |
| dc.identifier.other | Scopus: 85162896347 | |
| dc.identifier.other | WOS: 001021937700001 | |
| dc.identifier.uri | http://hdl.handle.net/10362/158387 | |
| dc.identifier.url | https://www.scopus.com/pages/publications/85162896347 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00066%2F2020/PT | |
| dc.relation | Centre of Technology and Systems | |
| dc.relation | Centre of Technology and Systems | |
| dc.relation | Model-Driven Development of Dependable Systems – Validation and verification using Petri nets and Digital Twins | |
| dc.subject | Data-flow | |
| dc.subject | embedded systems | |
| dc.subject | GUI builder | |
| dc.subject | model-driven development | |
| dc.subject | Petri net | |
| dc.subject | wheelchairs | |
| dc.subject | General Computer Science | |
| dc.subject | General Materials Science | |
| dc.subject | General Engineering | |
| dc.title | Integrated Development of Embedded Systems with Remote Graphical User Interfaces | en |
| dc.type | journal article | |
| degois.publication.firstPage | 63795 | |
| degois.publication.lastPage | 63807 | |
| degois.publication.title | IEEE Access | |
| degois.publication.volume | 11 | |
| dspace.entity.type | Publication | |
| oaire.awardNumber | UIDB/00066/2020 | |
| oaire.awardNumber | UIDP/00066/2020 | |
| oaire.awardNumber | 2020.08462.BD | |
| oaire.awardTitle | Centre of Technology and Systems | |
| oaire.awardTitle | Centre of Technology and Systems | |
| oaire.awardTitle | Model-Driven Development of Dependable Systems – Validation and verification using Petri nets and Digital Twins | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00066%2F2020/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDP%2F00066%2F2020/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT//2020.08462.BD/PT | |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | |
| relation.isProjectOfPublication | 779ae807-14a4-4e58-87e2-6dd81eb7a030 | |
| relation.isProjectOfPublication | 1d2038a0-e83e-4e7d-b885-ec08a407735c | |
| relation.isProjectOfPublication | dfe26309-cc8d-41bc-9220-97f8be499cdb | |
| relation.isProjectOfPublication.latestForDiscovery | 779ae807-14a4-4e58-87e2-6dd81eb7a030 |
Ficheiros
Principais
1 - 1 de 1
A carregar...
- Nome:
- Integrated_Development_of_Embedded_Systems.pdf
- Tamanho:
- 4.19 MB
- Formato:
- Adobe Portable Document Format
