42 documents found, page 1 of 5
Using petri nets for analysis of navigation paths in constrained graphs – appli...
Gomes, Luis; Ribeiro-Gomes, José; Barros, João PauloIn many areas of application, graphs have been used to support path planning addressing navigation challenges in dynamic environments. Applications target very diverse areas, ranging from manufacturing and robotics to video games, including georeferencing applications in our daily lives considering real-time traffic conditions. This paper focuses on applications where navigation through a predefined map consist...
Graphic model for shop floor simulation and control in the context of industry 5.0
Fernandes, Nuno; Barros, João Paulo; Campos-Rebelo, RogérioIndustry 5.0 changes the paradigm of the current production model, with repercussions throughout the value chain, and opens up opportunities for new approaches that include reducing waste to optimize the use of the planet’s resources. This paper proposes a functional and executable model that implements a Holonic Manufacturing System (HMS) architecture inspired by the I5.0 guidelines. This architecture presents...
Active learning activities in a pandemic context for a software engineering cou...
Brito, Isabel; Barros, João PauloThis paper reports the students’ perceptions regarding active learning (AL) activities in a pandemic context and the use of AL and related tools to improve soft skills, such as critical thinking and teamwork. This work describes the active learning activities applied in a pandemic context for a Software Engineering course and presents students’ survey results. Based on students’ opinions, we conclude that AL an...
Towards an integrated tool support for the analysis of IOPT Nets using the Spin...
Barros, João Paulo; Gomes, Luís; Barros, João PauloThis paper presents a model translation to allow automatic simulation and verification of controller models for cyber-physical systems. The models are constructed using IOPT nets, a non-autonomous Petri nets class. Those models are then translated into Promela models to be executed by the Spin model checker, a widely used open-source software verification tool. Three illustrative examples are presented: one aut...
Input event modeling for discrete-event controllers: A petri net approach
Gomes, Luís; Campos-Rebelo, Rogério; Costa, Anikó; Barros, João PauloThe modeling of controllers for discrete-event systems commonly uses state-based formalisms, such as state diagrams and Petri nets. These modeling formalisms heavily rely on the concept of events. From an automation system perspective, events can be characterized as changes on a signal or other variable. Several types of events can be defined, considering different types of signals, including Boolean and multi-...
Moving to project-based learning at the program level: An experience report
Brito, Isabel; Barros, João Paulo; Rodrigues, ElsaThis paper reports the students’, instructors’, and employers’ perceptions regarding the move to Project-Based Learning (PBL) at the program level. PBL is a widely known approach that aims to improve motivation and learning by engaging students in investigation with the aim of building a product, solving a problem, or both. Moreover, many studies claim that PBL significantly improves soft skills. This work desc...
Artes, decolonialidade e interculturalidade crítica a favor de modos outros de ...
Daltro, Emyle Pompeu de Barros; Barros, João PauloThis article is the result of experiences in the discipline of traineeship of the Graduation in Dance of Federal University of Ceará (Traineeship: aproximations), in the first semester of 2015, being woven by a student and a teacher of this curricular component. In it, we discuss aspects of the operations carried out in a public school of elementary and high school in the city of Fortaleza, in the period April ...
From non-autonomous Petri net models to executable state machines
Barros, João Paulo; Gomes, Luís; Barros, João PauloPetri nets have long been known as a readable and powerful graphical modelling language. In particular, Petri nets also allow the creation of high-level models of embedded controllers. These models can be translated to executable code. This possibility is already available in some tools including the IOPT Tools. Another possibility is to translate the Petri net model into a state machine, which can then be easi...
Host card emulation with tokenisation: security risk assessment
Fonte, Luís Pereira da; Oliveira, Valentim Vieira; Barros, João Paulo; Barros, João PauloHost Card Emulation (HCE) is an architecture that provides virtual representation of contactless cards, enabling transactional communication for mobile devices with Near-Field Communication (NFC) support without the need of Secure Element (SE) hardware. Performing the card emulation mainly by software, usually in wallet-like applications which store payment tokens for enabling transactions, creates several risk...
Model based simulation for a smartcity project based on LoRa
Mesquita, Rui; Campos-Rebelo, Rogério; Barros, João Paulo; Barros, João PauloThe ”SmartCity: Lagoa” project is a partnership within the ”Portugal 2020” project, a municipality-scale installation of 20,000 IoT devices over the next 3 years. These devices include sensors for temperature, humidity, luminosity, volumetry, noise, carbon monoxide, pH, and ORP, among others; all transmitting the collected data to one of six gateways using LoRa technology. In the implementation of this project,...