The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper we present a new Input-Output Place-Transition (IOPT) Petri net metamodel and its Petri Net Type Definition (PNTD) using a RELAX NG grammar. This new version introduces changes to the previous metamodel to ensure that the model representation follows the International Standard guidelines to extend PNML and to fully support automatic generation of models state space. The validation of...
Dataflow process networks lead to different theoretical model approaches and have demonstrated their adequacy in data-dominated intensive systems, namely Synchronous Dataflows. Since their appearance, dataflow models became too focused and specialized in their target applications. The paper presents a set of translating mechanisms allowing the mapping from dataflow models into Petri nets. This mapping...
This 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...
Programmable Logic Controllers (PLC) have been used in industrial environment to control several different tasks. Such devices can be programmed using one of the languages specified in the IEC 61131–3 standard, such as Ladder or Functional Logic Diagrams. PLCs are widely used in a number of critical environment, such as in the extraction processes of oil and gas. For this reason, systems running on...
As the complexity of embedded systems, as well as the range of applications, grows, the demand for low power high-performance systems also increases. Solutions to address these issues have been presented in the literature, addressing techniques to increase performance by replacing software features, namely RTOS primitives, by hardware implementations. This paper presents an acceleration technique...
To fully realize the benefits of rapid reconfiguration of embedded system, we often need a flexible interconnection system. This work proposes a low cost reconfigurable interconnection based on multistage interconnection networks (MINs) for FPGA systems. We show how radix 4 MINs can be efficiently implemented on top of 6 input LUTs. We also show that two parallel blocking MINs could behave as a non-blocking...
The growing complexity and diversity of embedded systems — combined with continuing demands for higher performance and lower power consumption — place increasing pressure on embedded platforms designers. To address these problems, the Embedded Reconfigurable Architectures project (ERA), investigates innovations in both hardware and tools to create next-generation embedded systems. Leveraging adaptive...
The implementation of a complex, large vocabulary, speech recognition application on a modern graphic processors (GPUs) is presented. The parallel single instruction, multiple data (SIMD) architecture is effectively exploited by performing various optimizations to expose the algorithmic parallelism. The work addresses particularly the realization of the Gaussian calculation, a key function. The result...
In this paper we present a parallel, FPGA-based implementation of a 256-point Fast Fourier Transform capable to perform over 78 million transformations per second. Its area of operation is located in the ultra-high speed OFDM communication in optical networks where the FFT algorithm provides the basis of the digital signal processing. The main focus lies on an implementation using as less as possible...
The 2PARMA project aims at overcoming the lack of parallel programming models and run-time resource management techniques to exploit the features of many-core processor architectures. More in detail, the 2PARMA project focuses on the definition of a parallel programming model combining component-based and single-instruction multiple-thread approaches, instruction set virtualisation based on portable...
The common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedious process. In the REFLECT research project we explore a novel approach where safety requirements are described using an aspect- and strategy-oriented programming language, named LARA,...
Different characteristics of algorithms, perform better or worse on various target hardware. The consequent of this is, that the selection of one suitable hardware, such as Graphic Processing Units (GPU), Field Programmable Gate Arrays (FPGAs) or traditional processor cores is a challenging task for developers. The challenge is to choose the most suitable platform satisfying the requirements of the...
The trend towards highly customised products and services creates challenges in that as products become ever more individualised the customer will start to become the product designer and will need to be able to deal with the challenges that a professional product designer has to address. A novice, non-designer, customer will know how they want their product to look but may be unaware of the engineering...
Reconfigurable manufacturing system (RMS) is a manufacturing paradigm that cost-effectively responses to market changes. This paper addresses the multi-objective process plan generation problem in RMS. More specifically, two meta-heuristics, namely Non-dominated Sorting Genetic Algorithm (NSGA-II) and Archived Multi-Objective Simulated Annealing (AMOSA), are adapted to generate near-optimal process...
The increasing complexity and wide applicability of Real-Time Embedded Systems (RTES) necessitates use of advanced and automated development and testing methodologies to meet time-to-market constraints, quality assurance and safety standards. In this context, the applicability of Model Driven Development (MDD) and Model-Based Testing (MBT) methodologies for RTES have been gaining attention in the...
The ongoing development in factory automation considers agent-controlled production systems as future alternatives to today's most widely-spread centralized approaches. By distributing computational power and hardware controls over independent workplaces, new ways for order scheduling with all their subprocesses and interconnections must be introduced as there is no control center which knows the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.