A framework for deadlock detection in core ABS

We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations. Since this language features recursion and dynamic resource creation, deadlock detection is extremely complex and state-of-the-art solutions either give imprecise answers or do not scale. In order to augment precision and scalability we propose a modular framework that allows several techniques to be combined. The basic component of the framework is a front-end inference algorithm that extracts abstract behavioural descriptions of methods, called contracts, which retain resource dependency information. This component is integrated with a number of possible different back-ends that analyse contracts and derive deadlock information. As a proof-of-concept, we discuss two such back-ends: (i) an evaluator that computes a fixpoint semantics and (ii) an evaluator using abstract model checking.Comment: Software and Systems Modeling, Springer Verlag, 201

Modèle d'optimisation de la maintenance : application au processus de conception d'un avion

Cette thèse traite de la modélisation, en phase de conception, des performances de supportabilité des systèmes avions. La supportabilité est la capacité d'un produit, ainsi que de son système de soutien, à répondre aux besoins opérationnels des compagnies aériennes. L'objectif de ce travail de recherche est d'apporter un moyen d'aide à la décision aux intégrateurs des systèmes avions par rapport aux performances de supportabilité. Le modèle développé permet de prédire des critères quantitatifs de supportabilité permettant d'optimiser la conception des systèmes. Le but est de trouver des architectures de systèmes offrant le meilleur compromis entre les coûts d'exploitation d'un avion et sa disponibilité. Nous abordons les thèmes suivants : Le choix de critères pertinents de supportabilité permettant d'influencer la conception, pour obtenir de meilleures performances opérationnelles à un coût minimum pour la compagnie aérienne ; La sélection des paramètres d'entrée du modèle pour estimer les critères retenus ; La définition de modèles mathématiques afin d'explorer les relations de cause à effet entre les choix de conception et leurs impacts sur l'utilisation et la maintenance de l'avion une fois en service ; L'actualisation de la valeur des coûts pour les modèles présentés; La gestion des incertitudes des données d'entrées au moyen d'analyses globales de sensibilité.This thesis deals with supportability performance modeling for aircraft systems during the design phase. Supportability is the ability of a product, along with its support system, to meet and sustain airlines' operational needs. The purpose of this research is to support decision-making by system integrators accommodating supportability performance objectives. The model we developed provides supportability performance criteria to optimize system design. The objective is to find system architectures offering the best compromise between operating costs and availability. We discuss the following subjects: Choosing supportability performance criteria to drive the design towards enhanced operational performance at minimal cost for the airline; Selecting the driving factors necessary to assess the selected criteria; Defining mathematical models to enable the exploration of the cause and effect relationships between design decisions and their impact on aircraft operation and maintenance; Introducing the notion of time-value of money and discounting in supportability models; Managing input uncertainty with global sensitivity analyses

A type system for components

In modern distributed systems, dynamic reconfiguration, i.e., changing at runtime the communication pattern of a program, is chal- lenging. Generally, it is difficult to guarantee that such modifications will not disrupt ongoing computations. In a previous paper, a solution to this problem was proposed by extending the object-oriented language ABS with a component model allowing the programmer to: i) perform up- dates on objects by means of communication ports and their rebinding; and ii) precisely specify when such updates can safely occur in an object by means of critical sections. However, improper rebind operations could still occur and lead to runtime errors. The present paper introduces a type system for this component model that extends the ABS type system with the notion of ports and a precise analysis that statically enforces that no object will attempt illegal rebinding

Combinatorial models for topology-based geometric modeling

Many combinatorial (topological) models have been proposed in geometric modeling, computational geometry, image processing or analysis, for representing subdivided geometric objects, i.e. partitionned into cells of different dimensions: vertices, edges, faces, volumes, etc. We can distinguish among models according to the type of cells (regular or not regular ones), the type of assembly ("manifold" or "non manifold"), the type of representation (incidence graphs or ordered models), etc

Conversion between chains of maps and chains of surfaces; application to the computation of incidence graphs homology

Many combinatorial cellular structures have been defined in order to represent the topology of subdivided geometric objects. Two main classes can be distinguished. According to the terminology of [8], one is related to incidence graphs and the other to ordered models. Both classes have their own specificities and their use is relevant in different contexts. It is thus important to create bridges between them. So we define here chains of surfaces (a subclass of incidence graphs) and chains of maps without multi-incidence (a subclass of ordered models), which are able to represent the topology of subdivided objects, whose cells have " manifold-like " properties. We show their equivalence by providing conversion operations. As a consequence, it is hence possible to directly apply on each model results obtained on the other. We extend here classical results related to homology computation obtained for incidence graphs corresponding to regular CW −complexes and recent results about combinatorial cell complexes where cells are not necessarily homeomorphic to balls

Building clinical trials capacity for tuberculosis drugs in high-burden countries

The long duration of TB therapy, the high prevalence of HIV coinfection, and the growing prevalence of drug-resistant TB underscore the urgent need for more effective treatments

Homology of Cellular Structures Allowing Multi-incidence

International audienceThis paper focuses on homology computation over ‘cellular’ structures that allow multi-incidence between cells. We deal here with combinatorial maps, more precisely chains of maps and subclasses such as maps and generalized maps. Homology computation on such structures is usually achieved by computing simplicial homology on a simplicial analog. But such an approach is computationally expensive because it requires computing this simplicial analog and performing the homology computation on a structure containing many more cells (simplices) than the initial one. Our work aims at providing a way to compute homologies directly on a cellular structure. This is done through the computation of incidence numbers. Roughly speaking, if two cells are incident, then their incidence number characterizes how they are attached. Having these numbers naturally leads to the definition of a boundary operator, which induces a homology. Hence, we propose a boundary operator for chains of maps and provide optimization for maps and generalized maps. It is proved that, under specific conditions, the homology of a combinatorial map as defined in the paper is equivalent to the homology of its simplicial analogue

A Boundary Operator for Computing the Homology of Cellular Structures

71 pagesThe paper focuses on homology computation over cellular structures through the computation of incidence numbers. Roughly speaking, if two cells are incident, then their incidence number characterizes how they are attached. Having these numbers naturally leads to the definition of a boundary operator, which induces a cellular homology. More precisely, the two main families of cellular structures (incidence graphs and ordered models) are studied through various models. A boundary operator is then proposed for the most general structure, and is optimized for the other structures. It is proved that, under specific conditions, the cellular boundary operator proposed in this paper defines a cellular homology equivalent to the simplicial one

Computing Canonical Polygonal Schemata with Generalized Maps

International audienceThis paper shows that a well-known algorithm proposed to compute the canonical polygonal schema of a surface can be transferred onto a 2-dimensional generalized map. We show that transformation rules on polygonal schemata can be achieved in O(1) with generalized maps, which can help optimizing existing algorithms

Extracting cell complexes from digital images

In this paper, we define a method for constructing cell complexes from 4-dimensional binary digital images on a dual grid. First, we revisit a method similar to Kenmochi et al. method [6], [7], [8] for treating with images of dimension 3. Then, we extend this method to 4-dimensional images. The idea consists in considering the black 4-xels of the image as 0-cells of a cell complex. The cells of higher dimension of the complex are constructed by deforming the 4-cubes of the dual grid. Finally, the resulting complex can be simplified, for instance, by merging adjacent 4-cells which share a common 3-cell. More concretely, 0,1,2,3-cells non-incident to 4-cells are stored, together with 3-cells (and their boundary) incident to exactly one 4-cell