Remote laboratories have been introduced during the last few decades into engineering education processes as well integrated within e-learning frameworks offered to and science students. are also being used support life-long learning student's autonomous activities. In this paper, after a brief overview of state-of-the-art technologies in development remote presentation recent interesting examples several areas related with industrial electronics education, some current trends challenges...

Petri nets are a well-known formalism widely used in different application areas. Yet, the lack of adequate tools that can be integrated within engineering development frameworks one major drawback. This paper identifies and justifies characteristics class targeted for modelling automation systems (networked) embedded systems, named as input-output net (IOPT), its representation using markup language (PNML). The also presents set associated under development. class, defined on top...

Technology development creates many challenges in the education of industrial-electronics (IE)-related subjects. At same time, it allows new educational paradigms to be implemented. The main contribution this paper is initiate a discussion for needs and IE both at university level lifelong learning, order meet requirements emerging technologies 21st century. Educational opportunities are first identified analyzed. Afterward, an overview state-of-the-art learning methodologies tools...

A Cyber-Physical-Social System (CPSS) is a novel paradigm of cyber-physical and cyber-social systems with highly inhomogeneous distributed nature integrating dynamic stochastic hybrid including computation, communication, sensing actuation, social systems.Their usage can be traced to homes such as smart homes, manufacturers in Industry 5.0, critical infrastructures, cities, medicines, healthcare systems, many other examples. They simplify speed up tasks provide higher level control...

Along Petri nets' history, numerous approaches have been proposed that try to manage model size through the introduction of structuring mechanisms allowing hierarchical representations and composability. This paper proposes a classification system for discusses each one them. These include node fusion, vectors, high-level nets, object-oriented inspired nets extensions, among others. One running example is used emphasizing application presented specific areas, namely automation systems...

Model-based development approaches can provide a major contribution in the of globally asynchronous locally synchronous distributed embedded systems (GALS-DES) if supported by suited modeling formalisms and design automation tools. The use Petri nets (either low-level or high-level classes) extended with asynchronous-channels (ACs), time domains, priorities, inputs, outputs is proposed this paper to model GALS-DES (composed deterministic components), ensuring that created GALS deterministic,...

The pipeline of reconfiguration is a novel approach that gives decision making mechanism for any system tasks when several scenarios are required. These represent the run-time operations allow automatic functional modification behavior. In case their frequent income, follows specific set steps in order to figure out need be applied without altering its own performance. represented by sequence modules. first module checks availability resources needed tasks. second maintains stability...

This paper shows a novel prototyping technique for concurrent control systems described by interpreted Petri nets. The is based on the decomposition of an net into sequential automata. In general, minimum requires runtime that exponential in number places. We show many cases, including real-life ones, problem can be solved polynomial time. proposed method allows implementing system using minimal components, which time and applied to most considered cases. presented concept illustrated...

Modeling of discrete-event systems using Petri net models is well-studied. Also, their usage for specification digital controllers widely used. Yet, it recognized that we have a lack tools when facing support the implementation these models, namely automatic code generation. The paper briefly presents FORDESIGN project aims to develop set contribute filling this gap within automation and (networked) embedded development. based on class, named as Input-Output Net (IOPT), its representation...

The IOPT-tools Web based tool framework supports the implementation of embedded systems controllers using web-based graphical tools, starting with a editor to specify controller's behavior through associated Petri-net model, complemented model-checking and system verification tools used debug automatically check controller correctness (helping in detection model flaws during early design stages), leading final code amenable be deployed into specific platforms automatic generation creating C...

This paper describes the IOPT-Tools cloud-based tool-chain, offering a complete set of Petri net tools with Web interface supporting digital controllers development. The include an interactive graphical editor, model-checking subsystem composed state-space generator, visualization and query system, automatic code generation that produce software "C" or VHDL hardware descriptions ready to be deployed into implementation platforms. All are executed directly in user's Browser using AJAX...

Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid developing dependable used across all phases of the system development life cycle (SDLC), including requirements engineering, design implementation, verification validation (testing), maintenance, even documentation. This state-of-the-art survey reports existing...

Controllers for discrete-event systems are commonly designed using state-based formalisms, like state diagrams and Petri nets. These formalisms strongly supported by the concept of events, which, from an automation system perspective, can be associated with a simple change in value signal or more complex behavioral evolutions signals. In this paper, characterization several types events is proposed, different signals, such as Boolean multivalued The major goal to improve compactness model,...

The goal of the work presented in this paper is to contribute for usage Petri nets as system-level specification language within framework hardware-software co-design embedded systems, supporting system model partitioning into components. presents set rules net splitting operation based on definition a valid cutting and able divide several sub-models which communicate through synchronous channels. generated are associated with components be executed concurrently mapped hardware or software...

In this paper, an ultrasonic anemometer based in the time of flight is presented. The wind speed and direction obtained using four transducers orthogonal configuration. Two are used each as transmitter receiver a short sequence pulses recorded both ways. system on low-cost Arduino-Nano board overall was tested tunnel, where accuracy linearity were analyzed. developed intended to be scale model sailboat support its autonomous navigation.

Ethernet communications are widely used in many areas, and redundant protocols like the Parallel Redundancy Protocol (PRP) High-Availability Seamless (HSR) were created to make these more reliable. These protocols’ goal is have a zero-delay network reconfiguration time. In order achieve this, both double network, copy of every packet will be present on network. Upon reception, it verified if new or has been received before, being discarded duplicated. This paper presents an open-source...

O artigo analisa, a partir de uma abordagem crítico-reflexiva, as possibilidades e os desafios da articulação entre metodologias ativas tecnologias digitais na educação infantil. A pesquisa bibliográfica natureza qualitativa baseou-se análise produções acadêmicas recentes, com foco em experiências pedagógicas inovadoras que valorizam o protagonismo infantil, ludicidade cultura digital. Os resultados apontam estratégias como aprendizagem baseada projetos, gamificação investigação orientada,...

This paper presents a tool for automatic generation of ANSI C code from models expressed in IOPT (Input-Output Place-Transition) Petri Nets. The inputs the are PNML (Petri Nets Mark-up Language) files containing net models. has two different interfaces: one relying on simple graphical interface (amenable to be used by humans), and second with command line humans as well other computational systems supporting tools interaction). also allows user tune some parts automatically generated...