Abstract
Many embedded multi-core systems incorporate both dataflow applications with timing constraints and traditional real-time applications. Applying real-time scheduling techniques on such systems provides real-time guarantees that all running applications will execute safely without violating their deadlines. However, to apply traditional real-time scheduling techniques on such mixed systems, a unified model to represent both types of applications running on the system is required. Several earlier works have addressed this problem and solutions have been proposed that address acyclic graphs, implicit-deadline models or are able to extract timing parameters considering specific scheduling algorithms. In this paper, we present an algorithm for extracting real-time parameters (offsets, deadlines and periods) that are independent of the schedulability analysis, other applications running in the system, and the specific platform. The proposed algorithm: 1) enables applying traditional real-time schedulers and analysis techniques on cyclic or acyclic Homogeneous Synchronous Dataflow (HSDF) applications with periodic sources, 2) captures overlapping iterations, which is a main characteristic of the execution of dataflow applications, 3) provides a method to assign offsets and individual deadlines for HSDF actors, and 4) is compatible with widely used deadline assignment techniques, such as NORM and PURE. The paper proves the correctness of the proposed algorithm through formal proofs and examples.

Abstract
In the era of ubiquitous computing, the growing adoption of wearable systems and body sensor networks is trailing the path for new research and software for cardiovascular intensity, energy expenditure and stress and fatigue detection through cardiovascular monitoring. Several systems have received clinical-certification and provide huge amounts of reliable heart-related data in a continuous basis. PhysioNet provides equally reliable open-source software tools for ECG processing and analysis that can be combined with these devices. However, this software remains difficult to use in a mobile environment and for researchers unfamiliar with Linux-based systems. In the present paper we present an approach that aims at tackling these limitations by developing a cloud service that provides an API for a PhysioNet-based pipeline for ECG processing and Heart Rate Variability measurement. We describe the proposed solution, along with its advantages and tradeoffs. We also present some client tools (windows and Android) and several projects where the developed cloud service has been used successfully as a standard for Heart Rate and Heart Rate Variability studies in different scenarios.

Abstract
Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.

Abstract
Over the past decades several approaches for schedu- lability analysis have been proposed for both uniprocessor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for misinterpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by- construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uniprocessor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Abstract
This work proposes a novel primary frequency control technique with electric vehicles (EV), the combination of inertial emulation and droop control, for isolated systems. Being EV dispersed along the grids, the impacts of possible delayed actions are assessed. Islanded systems have reduced inertia and so load/generation imbalance situations may lead to large frequency deviations. Therefore, this paper focuses essentially on the EV contribution for primary reserves provision, in order to allow a safe integration of further intermittent Renewable Energy Sources (RES). An avant-garde generation dispatch was adopted for the test system used in this work, fully reliant on RES, mainly conventional hydro units and some wind generation. The studied disturbances include a rapid shortfall on wind power production and a sequence of consecutive events caused by the variability of the wind resource in an ordinary situation.

Abstract
The UK's 2008 Climate Change Act sets a legally binding target for reducing territorial greenhouse gas emissions by 80% by 2050, relative to 1990 levels. Four pathways to achieve this target have been developed by the Department of Energy and Climate Change, with all pathways requiring increased us of bioenergy. A significant amount of this could be indigenously sourced from crops, but will increased domestic production of energy crops conflict with other agricultural priorities?To address this question, a coupled analysis of the UK energy system and land use has been developed. The two systems are connected by the production of bioenergy, and are projected forwards in time under the energy pathways, accounting for various constraints on land use for agriculture and ecosystem services. The results show different combinations of crop yield and compositions for the pathways lead to the appropriation of between 7% and 61% of UK's agricultural land for bioenergy production. This could result in competition for land for food production and other land uses, as well as indirect land use change in other countries due to an increase in bioenergy imports. Consequently, the potential role of bioenergy in achieving UK emissions reduction targets may face significant deployment challenges.