Scheduling aircraft’s engines repair process: a mathematical model

In this talk, we discuss a scheduling problem that originated at TAP - Maintenance & Engineering - the maintenance, repair and overhaul organization of Portugal’s leading airline. In the repair process of aircrafts’ engines, the operations to be scheduled may be executed on a certain workstation by any processor of a given set, and the objective is to minimize the total weighted tardiness. A mixed integer linear programming formulation, based on the flexible job shop scheduling, is presented here, along with computational experiment on a real instance, provided by TAP-ME, from a regular working week. The model was also tested using benchmarking instances available in literature.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor 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 mis-interpretations 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 uni-processor 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.

Viva@Matemática project: a different way to see math

Viva@Mat is a project developed by four Math teachers from the School of Industrial Studies and Management (ESEIG) that was born with the fundamental objective of engaging ESEIG students with different math backgrounds in Math challenging activities. Some of these activities were transformed into real palpable materials and others into small interactive ones, being the great majority of them proposed by ESEIG’ students themselves. This small project rapidly grew into something we didn’t expect – it did flow over the walls of our institution to the general involving community – specifically to pre-university schools through the Viva@Math Exhibits – Orange, Blue and Green (the fourth, the Purple one is still in development). Nowadays, Viva@Math Exhibits – the public face of the Project – are itinerant and have been travelling between several, and different institutions (pre-university schools, preparatory schools, libraries, among others), around ESEIG and IPP area of influence and having registered visitors/participants of all ages. In this article we will describe the Viva@Math Project, its different activities that are categorized in some “great groups” like Numerical Trivia, Logic Activities and Mental Calculation, Puzzles, Geometric Curiosities, Magic Tricks, among others, designed to challenge students to use the underlying logical-mathematical reasoning to any ordinary and everyday activity. We will give specific and concrete examples of some of the activities developed and, also, reproduce of the general stimulating feedback the Project receives from the enrolled “actors” (teachers, students and their relatives, institutions, among others). We feel that this Project has become a small “bridge” between the pre-university schools and Higher Education Institutions (HEI), in trying to shorten the “gap” between the institutions of different levels of education and bring them to work together.