Loading...
Research Project
Research Centre in Real-Time and Embedded Computing Systems
Funder
Authors
Publications
Analysis of self-interference within DAG tasks
Publication . Fonseca, José; Nélis, Vincent; Nelissen, Geoffrey; Pinho, Luís Miguel
No abstract (2-pages paper) Few years ago, the frontier separating the real-time embedded domain from the high-performance computing domain was neat
and clearly defined. Nowadays, many contemporary applications no longer find their place in either category as they manifest
both strict timing constraints and work-intensive computational demands. The only way forward to cope with such orthogonal
requirements is to embrace the parallel execution programming paradigm on the emergent scalable and energy-efficient multicore/many-core
architectures
The DEWI high-level architecture: Wireless sensor networks in industrial applications
Publication . Samano-Robles, Ramiro; Nordstrom, Tomas; Santonja, Salvador; Rom, Werner; Tovar, Eduardo
This paper presents the high-level architecture (HLA) of the research project DEWI (dependable embedded wireless infrastructure). The objective of this HLA is to serve as a reference for the development of industrial wireless sensor and actuator networks (WSANs) based on the concept of the DEWI Bubble. The DEWI Bubble is defined here as a high-level abstraction of an industrial WSAN with enhanced interoperability (via standardized interfaces), technology reusability, and cross-domain development. This paper details the design criteria used to define the HLA and the organization of the infrastructure internal and external to the DEWI Bubble. The description includes the different perspectives, models or views of the architecture: the entity model, the layered model, and the functional view model (including an overview of interfaces). The HLA constitutes an extension of the ISO/IEC SNRA (sensor network reference architecture) towards the support of industrial applications. To improve interoperability with existing approaches the DEWI HLA also reuses some features from other standardized technologies and architectures. The HLA will allow networks with different industrial sensor technologies to exchange information between them or with external clients via standard interfaces, thus providing a consolidated access to sensor information of different domains. This is an important aspect for smart city applications, Big Data and internet-of-things (IoT).
Real-time MTL with durations as SMT with applications to schedulability analysis
Publication . Matos, Andre de; Leucker, Martin; Pereira, David; Pinto, Jorge Sousa
This paper introduces a synthesis procedure for the satisfiability problem of RMTL- ∫ formulas as SAT solving modulo theories. RMTL- ∫ is a real-time version of metric temporal logic (MTL) extended by a duration quantifier allowing to measure time durations. For any given formula, a SAT instance modulo the theory of arrays, uninterpreted functions with equality and non-linear real-arithmetic is synthesized and may then be further investigated using appropriate SMT solvers. We show the benefits of using RMTL- ∫ with the given SMT encoding on a diversified set of examples that include in particular its application in the area of schedulability analysis. Therefore, we introduce a simple language for formalizing schedulability problems and show how to formulate timing constraints as RMTL- ∫ formulas. Our practical evaluation based on our synthesis and Z3 as back-end SMT solver also shows the feasibility of the overall approach.
Organizational Units
Description
Keywords
Contributors
Funders
Funding agency
Fundação para a Ciência e a Tecnologia
Funding programme
6817 - DCRRNI ID
Funding Award Number
UID/CEC/04234/2013