A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

A pseudo-medium-wide 8-competitive interface for two-level compositional real-time scheduling of constrained- deadline sporadic tasks on a uniprocessor

Compositional real-time scheduling clearly requires that ”normal” real-time scheduling challenges are addressed but challenges intrinsic to compositionality must be addressed as well, in particular: (i) how should interfaces be described? and (ii) how should numerical values be assigned to parameters constituting the interfaces? The real-time systems community has traditionally used narrow interfaces for describing a component (for example, a utilization/bandwidthlike metric and the distribution of this bandwidth in time). In this paper, we introduce the concept of competitive ratio of an interface and show that typical narrow interfaces cause poor performance for scheduling constrained-deadline sporadic tasks (competitive ratio is infinite). Therefore, we explore more expressive interfaces; in particular a class called medium-wide interfaces. For this class, we propose an interface type and show how the parameters of the interface should be selected. We also prove that this interface is 8-competitive.

Preservice teachers' knowledge on elementary geometry concepts

This text is based on a research, which is still in progress, whose main objective is to identify and understand what are the main difficulties of future mathematics teachers of basic education are, regarding their content knowledge in geometry in the context of the curricular unit of Geometry during their undergraduate degree. We chose a qualitative approach in the form of case study, in which data collection was done through observation, interviews, a diverse set of tasks, a diagnostic test and other documents. This paper focuses on the test given to prospective teachers at the beginning of the course. The preliminary analysis of the data points to a weak performance of preservice teachers in the test issues addressing elementary knowledge of Geometry

Drilling tool geometry evaluation for reinforced composite laminates

In this work, a comparative study on different drill point geometries and feed rate for composite laminates drilling is presented. For this goal, thrust force monitoring during drilling, hole wall roughness measurement and delamination extension assessment after drilling is accomplished. Delamination is evaluated using enhanced radiography combined with a dedicated computational platform that integrates algorithms of image processing and analysis. An experimental procedure was planned and consequences were evaluated. Results show that a cautious combination of the factors involved, like drill tip geometry or feed rate, can promote the reduction of delamination damage.

Strength improvement of adhesively-bonded joints using a reverse-bent geometry

Adhesive bonding of components has become more efficient in recent years due to the developments in adhesive technology, which has resulted in higher peel and shear strengths, and also in allowable ductility up to failure. As a result, fastening and riveting methods are being progressively replaced by adhesive bonding, allowing a big step towards stronger and lighter unions. However, single-lap bonded joints still generate substantial peel and shear stress concentrations at the overlap edges that can be harmful to the structure, especially when using brittle adhesives that do not allow plasticization in these regions. In this work, a numerical and experimental study is performed to evaluate the feasibility of bending the adherends at the ends of the overlap for the strength improvement of single-lap aluminium joints bonded with a brittle and a ductile adhesive. Different combinations of joint eccentricity were tested, including absence of eccentricity, allowing the optimization of the joint. A Finite Element stress and failure analysis in ABAQUS® was also carried out to provide a better understanding of the bent configuration. Results showed a major advantage of using the proposed modification for the brittle adhesive, but the joints with the ductile adhesive were not much affected by the bending technique.

Preservice teachers' knowledge on elementary geometry concepts

This text is based on a research, which is still in progress, whose main objective is to identify and understand what are the main difficulties of future mathematics teachers of basic education are, regarding their content knowledge in geometry in the context of the curricular unit of Geometry during their undergraduate degree. We chose a qualitative approach in the form of case study, in which data collection was done through observation, interviews, a diverse set of tasks, a diagnostic test and other documents. This paper focuses on the test given to prospective teachers at the beginning of the course. The preliminary analysis of the data points to a weak performance of preservice teachers in the test issues addressing elementary knowledge of Geometry.

A theoretical study on modelling the respiratory tract with ladder networks by means of intrinsic fractal geometry

Fractional order modeling of biological systems has received significant interest in the research community. Since the fractal geometry is characterized by a recurrent structure, the self-similar branching arrangement of the airways makes the respiratory system an ideal candidate for the application of fractional calculus theory. To demonstrate the link between the recurrence of the respiratory tree and the appearance of a fractional-order model, we develop an anatomically consistent representation of the respiratory system. This model is capable of simulating the mechanical properties of the lungs and we compare the model output with in vivo measurements of the respiratory input impedance collected in 20 healthy subjects. This paper provides further proof of the underlying fractal geometry of the human lungs, and the consequent appearance of constant-phase behavior in the total respiratory impedance.

Tool geometry evaluation for carbon reinforced composite laminates

The use of composite laminates in complex structures has increased significantly. However, there are still some issues when considering their use, mainly related with machining, leading to some difficulties and lack of acceptance. In this work, a methodology to evaluate drill geometry and feed rate based on thrust force and delamination extension is presented.

Compositional multiprocessor scheduling: the GMPR interface

Composition is a practice of key importance in software engineering. When real-time applications are composed, it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface typically contains information about the amount of computing capacity needed by the application. For multiprocessor platforms, the interface should also present information about the degree of parallelism. Several interface proposals have recently been put forward in various research works. However, those interfaces are either too complex to be handled or too pessimistic. In this paper we propose the generalized multiprocessor periodic resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We then derive a method to compute the interface from the application specification. This method has been implemented in Matlab routines that are publicly available.

Full analysis of suspension geometry and chassis performance of Formula Student racing car

Formula Student events gather engineering students, who compete, designing, building and racing single-seater cars. The team of ISEP is working on its first car that soon will take part in this competition. This work aims to analyze the current design’s chassis, focusing on suspension geometry and frame’s performance. After analyzing results of the tests planned suggestions, that can be taken into consideration during design process of next cars will be presented. As the car has not been tested yet this work can also be helpful to explain its performance on the track later.

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.

A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee