9 documents found, page 1 of 1
IOPT-Tools - from executable models to automatic code generation for embedded c...
Pereira, Fernando; Moutinho, Filipe; Costa, Anikó; Campos-Rebelo, Rogério; Gomes, Luís; Barros, JoãoThis paper describes the IOPT-Tools cloud-based tool-chain, offering a complete set of tools supporting design automation for embedded controller’s development, benefiting from adopting a model-driven development attitude. The tools are freely available online at http://gres.uninova.pt/IOPT-Tools/. The tool-chain relies on IOPT nets (Input-Output Place-Transition nets) to describe the controller behavior, allow...
Annotation rules for XML schemas with grouped semantic annotations
Campos-Rebelo, Rogério; Moutinho, Filipe; Paiva, Luís; Maló, PedroTo enable the Industrial Internet of Things (IIoT), it is required to ensure Machine-to-Machine communications. Systems/devices often use different communication protocols, standards, and data representation languages, which create interoperability challenges. This paper proposes a set of annotation rules for systems meta-data, to support the translation of data exchanged between heterogeneous systems. These ru...
Asynchronous interfaces for IOPT-Flow to support GALS systems
Almeida, João; Moutinho, Filipe; Campos-Rebelo, RogérioThroughout the course of time, distributing a global clock signal over a synchronous circuit has become a demanding task as a result of the broadening size and complexity of modern circuits. Globally Asynchronous Locally Synchronous (GALS) systems emerge as a solution to the laborious task of distributing a global clock over a large circuit, through the partitioning of said circuit into smaller, and therefore, ...
Distributed controllers modeling through Petri nets with multi-asynchronous-cha...
Moutinho, Filipe; Ribeiro, José; Gomes, LuísThis paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or ...
Extending Input-Output Place-Transition Petri Nets for Distributed Controller S...
Gomes, Luís; Moutinho, Filipe; Pereira, Fernando; Ribeiro, José; Costa, Anikó; Barros, João Paulo; Barros, João PauloPetri nets have been widely used in the design of embedded controllers, namely in electronic hardware and computing platforms design, as well as within automation ap- plication areas. This paper presents updated characteristics of one class of Petri nets, named Input-Output Place-Transition Petri nets (IOPT nets), extended to support networked embedded controllers design and globally-asynchronous locally-synchr...
Merging and splitting Petri net models within distributed embedded controller d...
Gomes, Luís; Costa, Anikó; Barros, João Paulo; Moutinho, Filipe; Pereira, Fernando; Barros, João PauloDesign of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decompositi...
Petri Net based specification and verification of globally-asynchronous-locally...
Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Figueiredo, Jorge; Costa, Aniko; Monteiro, AndreThis paper shows a methodology for Globally-Asynchronous-Locally-Synchronous (GALS) systems specification and verification. The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model. These modules are represented using IOPT (Input-Output Place-Transition) Petri net models, communicating through dedicated communication channels forming the...
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within ...
Barbosa, Paulo; Barros, João Paulo; Ramalho, Franklin; Gomes, Luís; Figueiredo, Jorge; Moutinho, Filipe; Costa, Anikó; Aranha, André; Barros, João PauloWe present a rewriting logic based technique for defining the formal executable semantics of a non-autonomous Petri net class, named Input-Output Place/Transition nets (IOPT nets), designed for model-based embedded system’s development, according to the MDA initiative. For this purpose, we provide model-to-model transformations from ecore IOPT models to a rewriting logic specification in Maude. The transformati...
IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Sem...
Pereira, Fernando; Moutinho, Filipe; Gomes, Luís; Campos-Rebelo, RogérioThis paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deter...