A carregar...
Projeto de investigação
Model-Driven Development of Dependable Systems – Validation and verification using Petri nets and Digital Twins
Financiador
Autores
Publicações
Digital Twin in the Provision of Power Wheelchairs Context
Publication . Lagartinho-Oliveira, Carolina; Moutinho, Filipe; Gomes, Luis; CTS - Centro de Tecnologia e Sistemas; UNINOVA-Instituto de Desenvolvimento de Novas Tecnologias; MDPI - Multidisciplinary Digital Publishing Institute
Worldwide, many wheelchair users find it difficult to use or acquire a wheelchair that is appropriate for them, either because they do not have the necessary financial support or because they do not have access to trained healthcare professionals (HCPs), but they are essential for the correct provision of assistive products and user training. Consequently, although wheelchairs are designed to promote the well-being of many users, in many cases, they end up being abandoned or do not provide any benefit, with the chance of causing harm and potentially putting people in danger. This article proposes the creation and use of a Digital Twin (DT) of a Power Wheelchair (PWC) to promote the health of wheelchair users, by facilitating and improving the delivery of remote services by HCPs, as well as to include monitoring services to support timely maintenance. Specifically, a DT is a virtual counterpart that is seamlessly linked to a physical asset, both relying on data and information exchange for mirroring each other. Currently, DT is emerging and being applied to different areas as a promising approach to gather insightful data, which are shared between the physical and virtual worlds and facilitate the means to design, monitor, analyze, optimize, predict, and control physical entities. This article gives an overview of the Digital Twin concept, namely its definition, types, and properties, and seeks to synthesize the technologies and tools frequently used to enable Digital Twins; we also explain how a DT can be used in the technical phases of the PWC provision process and propose a conceptual model highlighting the use of an MDD approach benefiting from a Petri net formalism, which is presented to systematize the development of a PWC D
A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs
Publication . Lagartinho-Oliveira, Carolina; Moutinho, Filipe; Gomes, Luís; CTS - Centro de Tecnologia e Sistemas; UNINOVA-Instituto de Desenvolvimento de Novas Tecnologias
Conventional power wheelchair models often prioritize basic navigation and comfort at the expense of user-centric solutions. This overlooks the opportunity for solutions that can address specific challenges and promote user empowerment towards a sustainable society. This article explores a cyber-physical social system (CPSS) approach for power wheelchairs; a CPSS that brings together different stakeholders to promote better understanding, customization, and assistance of wheelchairs. The aim is to enhance user experience and safety while contributing to sustainability in the sector. To achieve this, this approach comprehends the use of digital twin (DT) technology employing Petri net models. DT allows for the creation of a virtual replica of a power wheelchair (or part), enabling iterative design through real-time simulations and remote control. Petri nets specify the DT within the CPSS, facilitating formal analysis and automated implementation.
Integrated Development of Embedded Systems with Remote Graphical User Interfaces
Publication . Lagartinho-Oliveira, Carolina; Pereira, Fernando; Moutinho, Filipe; Campos-Rebelo, Rogério; Gomes, Luís; CTS - Centro de Tecnologia e Sistemas; UNINOVA-Instituto de Desenvolvimento de Novas Tecnologias; Institute of Electrical and Electronics Engineers (IEEE)
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.
Unidades organizacionais
Descrição
Palavras-chave
Contribuidores
Financiadores
Entidade financiadora
Fundação para a Ciência e a Tecnologia
Programa de financiamento
Número da atribuição
2020.08462.BD