Global-EDF scheduling of multimode real- time systems considering mode independent tasks

Embedded real-time systems often have to support the embedding system in very different and changing application scenarios. An aircraft taxiing, taking off and in cruise flight is one example. The different application scenarios are reflected in the software structure with a changing task set and thus different operational modes. At the same time there is a strong push for integrating previously isolated functionalities in single-chip multicore processors. On such multicores the behavior of the system during a mode change, when the systems transitions from one mode to another, is complex but crucial to get right. In the past we have investigated mode change in multiprocessor systems where a mode change requires a complete change of task set. Now, we present the first analysis which considers mode changes in multicore systems, which use global EDF to schedule a set of mode independent (MI) and mode specific (MS) tasks. In such systems, only the set of MS tasks has to be replaced during mode changes, without jeopardizing the schedulability of the MI tasks. Of prime concern is that the mode change is safe and efficient: i.e. the mode change needs to be performed in a predefined time window and no deadlines may be missed as a function of the mode change.

Resource sharing in global fixed-priority preemptive multiprocessor scheduling

In this paper we consider global fixed-priority preemptive multiprocessor scheduling of constrained-deadline sporadic tasks that share resources in a non-nested manner. We develop a novel resource-sharing protocol and a corresponding schedulability test for this system. We also develop the first schedulability analysis of priority inheritance protocol for the aforementioned system. Finally, we show that these protocols are efficient (based on the developed schedulability tests) for a class of priority-assignments called reasonable priority-assignments.

From local to global importance measures of uncertainty propagation in composite structures

The influence of uncertainties of input parameters on output response of composite structures is investigated in this paper. In particular, the effects of deviations in mechanical properties, ply angles, ply thickness and on applied loads are studied. The uncertainty propagation and the importance measure of input parameters are analysed using three different approaches: a first-order local method, a Global Sensitivity Analysis (GSA) supported by a variance-based method and an extension of local variance to estimate the global variance over the domain of inputs. Sample results are shown for a shell composite laminated structure built with different composite systems including multi-materials. The importance measures of input parameters on structural response based on numerical results are established and discussed as a function of the anisotropy of composite materials. Needs for global variance methods are discussed by comparing the results obtained from different proposed methodologies. The objective of this paper is to contribute for the use of GSA techniques together with low expensive local importance measures.

A synchronous transition protocol with periodicity for global scheduling of multimode real-time systems on multiprocessors

We consider the global scheduling problem of multimode real-time systems upon identical multiprocessor platforms. During the execution of a multimode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Thereby, ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. In this paper, we extend the synchronous transition protocol SM-MSO in order to take into account mode-independent tasks [1], i.e., tasks of which the execution pattern must not be jeopardized by the mode changes.

Two protocols without periodicity for the global and preemptive scheduling problem of multi-mode real-time systems upon multiprocessor Platforms

We consider the problem of scheduling a multi-mode real-time system upon identical multiprocessor platforms. Since it is a multi-mode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. We propose two protocols which ensure that all the expected requirements are met during every transition between every pair of operating modes of the system. Moreover, we prove the correctness of our proposed algorithms by extending the theory about the makespan determination problem.

Conjecture about global fixed-priority preemptive multiprocessor scheduling of implicit-deadline sporadic tasks: the utilization bound of SM-US(sqrt(2)-1) is sqrt(2)-1

Consider global fixed-priority preemptive multiprocessor scheduling of implicit-deadline sporadic tasks. I conjecture that the utilization bound of SM-US(√2−1) is √2-1.

Global static-priority preemptive multiprocessor scheduling with utilization bound 38%

Consider the problem of scheduling real-time tasks on a multiprocessor with the goal of meeting deadlines. Tasks arrive sporadically and have implicit deadlines, that is, the deadline of a task is equal to its minimum inter-arrival time. Consider this problem to be solved with global static-priority scheduling. We present a priority-assignment scheme with the property that if at most 38% of the processing capacity is requested then all deadlines are met.

Self-adaptive combination of global tabu search and local search for nonlinear equations

Solving systems of nonlinear equations is a very important task since the problems emerge mostly through the mathematical modelling of real problems that arise naturally in many branches of engineering and in the physical sciences. The problem can be naturally reformulated as a global optimization problem. In this paper, we show that a self-adaptive combination of a metaheuristic with a classical local search method is able to converge to some difficult problems that are not solved by Newton-type methods.

Combining global tabu search with local search for solving systems of equalities and inequalities

This papers aims at providing a combined strategy for solving systems of equalities and inequalities. The combined strategy uses two types of steps: a global search step and a local search step. The global step relies on a tabu search heuristic and the local step uses a deterministic search known as Hooke and Jeeves. The choice of step, at each iteration, is based on the level of reduction of the l2-norm of the error function observed in the equivalent system of equations, compared with the previous iteration.

Gestão de instalações eléctricas para optimização do desempenho, eficiência e qualidade de energia em grandes edifícios com integração de Miniprodução

As alterações climáticas e as emissões de CO2 são questões que suscitam a nível internacional e nacional o desenvolvimento de estratégias que atenuem os seus impactes. A Eficiência Energética (EE) é essencial para que num futuro próximo não haja impactes significativos no meio ambiente devido a elevado e ineficiente consumo energético. A União Europeia (UE) e Portugal têm desenvolvido políticas e programas que estimulam a eficiência energética, bem como a diminuição de gases com efeito de estufa (GEE) e a promoção da utilização de fontes de energia renovável. Por outro lado vivemos numa sociedade que passa cerca de 80% do seu tempo em edifícios e, nestes, é consumida 40% da energia mundial. Com uma dependência energética superior a 80%, Portugal tem vindo a apostar, nos últimos anos, em fontes de energia renovável. Esta aposta serve como substituição de fontes, mas não leva directamente à redução de consumos. A redução da factura de energia só pode ser atingida com uma maior eficiência energética e melhores práticas de gestão de energia em edifícios, transportes e industria. Esta dissertação centra-se especificamente num conjunto de edifícios públicos, património municipal da autarquia de Matosinhos, cujo modelo de fornecimento da energia eléctrica é passível de análise crítica no sentido de uma optimização radical ao nível da concepção da rede e exploração, com consequente redução de custos ao nível da facturação. Esta nova metodologia de exploração e gestão de sistemas eléctricos incidirá na criação de um “campus” energético autárquico resultante do novo layout da rede e respectivo fornecimento de energia a partir da rede de distribuição pública. O estudo permitirá fornecer ferramentas fundamentais para a gestão municipal e empresarial ao nível da sustentabilidade energética nos edifícios públicos com abrangência aos serviços empresariais. De referir que a gestão das instalações eléctricas para optimização do desempenho, eficiência e qualidade de energia é aplicável aos 308 municípios nacionais com relevância para as empresas que apresentam consumos significativos nos seus edifícios. Enquanto funcionário da Câmara Municipal de Matosinhos, este município foi uma escolha natural como referência, na análise da relação existente entre a administração local e a gestão da energia. Para ajudar à análise foi efectuado um benchmarketing a cinco edifícios municipais: Edifício dos Paços do Concelho, Biblioteca Municipal Florbela Espanca, Palacete Visconde Trevões, ex-Edifício dos SMAS e Edifício do ex-Tribunal, visando potenciar a correcta gestão de energia destes edifícios por parte das entidades que os gerem, perante novas oportunidades de melhoria e soluções encontradas. Como contributo às metas impostas pela Directiva 2009/28/CE para 2020, a qual prevê uma redução de 20% no consumo final de energia através da eficiência energética, a incorporação de 20% de energia renovável no consumo energético global e a consequente redução em 20% da emissão de GEE, é apresentado um estudo ao nível de um parque fotovoltaico com a componente técnica e económica.

KM and politics at the highest level: an exploratory analysis

This paper analyzes Knowledge Management (KM) as a political activity, made by the great political leaders of the world. We try to inspect if at the macro political level KM is made, and how. The research is interesting because given that we live in a Knowledge society, in the Information Era, it is more or less obvious that the political leaders should also do KM. However we don’t know of any previous study on KM and world leaders and this paper wants to be a first step to fill that gap. As a methodology we use literature review: given this one is a first preliminary study we use data we found in the Internet and other databases like EBSCO. We divide the analysis in two main parts: theoretical ideas first, and an application second. The second part is it self divided in two segments: the past and the present times. We find that rather not surprisingly, KM always was and is pervasive in the activity of the world leaders, and has become more and more diverse has power itself became to be more and more disseminated in the world. The study has the limitation of relying on insights and texts and not on interviews. But we believe it is very interesting to make this kind of analysis and such studies may help improving the democracies in the world.

The European Project Semester at ISEP: the challenge of educating global engineers

Current engineering education challenges require approaches that promote scientific, technical, design and complementary skills while fostering autonomy, innovation and responsibility. The European Project Semester (EPS) at Instituto Superior de Engenharia do Porto (ISEP) (EPS@ISEP) is a one semester project-based learning programme (30 European Credit Transfer Units (ECTU)) for engineering students from diverse scientific backgrounds and nationalities that intends to address these goals. The students, organised in multidisciplinary and multicultural teams, are challenged to solve real multidisciplinary problems during one semester. The EPS package, although on project development (20 ECTU), includes a series of complementary seminars aimed at fostering soft, project-related and engineering transversal skills (10 ECTU). Hence, the students enrolled in this programme improve their transversal skills and learn, together and with the team of supervisors, subjects distinct from their core training. This paper presents the structure, implementation and results of the EPS@ISEP that was created in 2011 to apply the best engineering practices and promote internationalisation and engineering education innovation at ISEP.

Descifrando la reestructuración técnica del profesional de la información con las argumentaciones de la economía global

This paper addresses the issue of restructuring the information professional in the global economy. This restructuring is justified by a tripartite explanation: the redesign understood as innovation and disciplinary change, the reorganization of institutions conditioned by the development of information technology and economic deflation interpreted as eliminating jobs. To understand this restructuring scenario multigenerational work contexts information services are also addressed. These work contexts represent a search for understanding and to overcome common referential differences, by baby boomer practitioners and digital natives. The issue of tension and challenge between the specific technical skills and flexibility to adapt to ever-changing organizations is another topic for reflection and serves to point out new paths for the restructuring of the information professional.

Global and Partitioned Multiprocessor Fixed Priority Scheduling with Deferred Pre-emption

This article introduces schedulability analysis for global fixed priority scheduling with deferred preemption (gFPDS) for homogeneous multiprocessor systems. gFPDS is a superset of global fixed priority pre-emptive scheduling (gFPPS) and global fixed priority non-pre-emptive scheduling (gFPNS). We show how schedulability can be improved using gFPDS via appropriate choice of priority assignment and final non-pre-emptive region lengths, and provide algorithms which optimize schedulability in this way. Via an experimental evaluation we compare the performance of multiprocessor scheduling using global approaches: gFPDS, gFPPS, and gFPNS, and also partitioned approaches employing FPDS, FPPS, and FPNS on each processor.

Pseudo Phase Plane and Fractional Calculus Modelling of Western Global Economic Downturn

This paper applies Pseudo Phase Plane (PPP) and Fractional Calculus (FC) mathematical tools for modeling world economies. A challenging global rivalry among the largest international economies began in the early 1970s, when the post-war prosperity declined. It went on, up to now. If some worrying threatens may exist actually in terms of possible ambitious military aggression, invasion, or hegemony, countries’ PPP relative positions can tell something on the current global peaceful equilibrium. A global political downturn of the USA on global hegemony in favor of Asian partners is possible, but can still be not accomplished in the next decades. If the 1973 oil chock has represented the beginning of a long-run recession, the PPP analysis of the last four decades (1972–2012) does not conclude for other partners’ global dominance (Russian, Brazil, Japan, and Germany) in reaching high degrees of similarity with the most developed world countries. The synergies of the proposed mathematical tools lead to a better understanding of the dynamics underlying world economies and point towards the estimation of future states based on the memory of each time series.