Publicaciones

• Article dans une revue

The Safe-SADT method for aiding designers to choose and improve dependable architectures for complex automated systems

Vincent Benard, Laurent Cauffriez, Dominique Renaux

Dependability evaluation is crucial to controlling the risks associated with system failure, and for this reason, it is one of the fundamental steps in automated system design. However, the dependability evaluation methods that are currently exploited are not appropriate, given the level of...

Reliability Engineering and System Safety, 2008, 93 (2), pp.179-196. ⟨10.1016/j.ress.2006.12.020⟩. ⟨hal-00289481⟩

• Communication dans un congrès

Towards an assistance for selecting methods and models for interactive software design or re-engineering within complex organisation: Application case of a CPOE software

Stéphanie Bernonville, Christophe Kolski, Marie-Catherine Beuscart-Zephir

The hospital activities display all of the characteristics of a very complex sociotechnic organisation. Consequently, the design of Computerized Physician Order Entry (CPOE) softwares which support this type of activity is very difficult. The Study of the procedure of these projects shows...

Second IEEE International Conference on Digital Information Management, Oct 2007, Lyon, France. pp.597-602, ⟨10.1109/ICDIM.2007.4444290⟩. ⟨hal-03451215⟩

• Communication dans un congrès

Dynamic model for assessing impact of regeneration actions on system availability: application to weapon systems

Maxime Monnin, Benoît Iung, Olivier Sénéchal, Pascal Lelan

Availability is a determining factor in systems characterization. Because military systems must act in a hostile environment, they are particularly vulnerable in situations of unavailability. Military weapon systems can become unavailable due to system failures or damage to the system; in both...

54th Annual Reliability and Maintainability Symposium, RAMS 2008, Jan 2008, Las Vegas, Nevada, United States. pp.CDROM. ⟨hal-00312774⟩

• Thèse

Contribution à la caractérisation d'alliages métalliques à faible ductilité après re-fusion et solidification in situ, Contribution to the characterization of metal alloys with low ductility after re-melting and solidification in situ

Olivier Péniguet

Dans le domaine de l ‘élaboration par coulée des alliages métalliques, le recours aux nouvelles technologies visant à améliorer la productivité s’accompagne généralement d’une augmentation de l’occurrence de défauts structuraux, le plus souvent liés au refroidissement depuis l’état liquide. L’..., In the field of metallic alloys melting processing, the use of new technologies aiming at improving productivity generally increases structural defects occurrences, which are often related to the cooling from liquid state. Identification and prediction of those defects, mainly internal or...

Génie mécanique [physics.class-ph]. Université de Valenciennes et du Hainaut-Cambrésis, 2008. Français. ⟨NNT : 2008VALE0003⟩. ⟨tel-03002113⟩

• Article dans une revue

A 3D analysis of fore and hindlimb motion during locomotion: comparison of overground and ladder walking in rats

Cyril Garnier, Maurice Falempin, Marie-Hélène Canu

The locomotor pattern, generated by the central pattern generator, is under the dependence of descending and peripheral pathways. The afferent feedback from peripheral receptors allows the animal to correct for disturbances that occur during walking, while supraspinal structures are important for...

Behavioural Brain Research, 2008, Behavioural Brain Research, 186 (1), pp.57-65. ⟨10.1016/j.bbr.2007.07.023⟩. ⟨hal-03330708⟩

• Thèse

Contribution à la validation des méthodes numériques pour les problèmes dynamiques couplés fluide-structure, Contribution to the validation of numerical methods for hydrodynamic impact

Grégory Haboussa

Ce travail vise à améliorer la capacité de prédiction des comportements dynamiques transitoires des solides et des structures lors de sollicitations de type crash, spécifiquement lorsqu’un milieu fluide doit être pris en compte. La première étape a consisté à mesurer une observable expérimentale,..., Numerous numerical methods exist that can be used to solve fluid/structure interactions during hydrodynamic impacts on deformable structures. The purpose of the present work is to define a methodology which allows validating these numerical methods. The first stage of this work is to establish...

Génie mécanique [physics.class-ph]. Université de Valenciennes et du Hainaut-Cambrésis, 2008. Français. ⟨NNT : 2008VALE0005⟩. ⟨tel-03002173⟩

• Article dans une revue

Context aware business adaptation toward user interface adaptation

Mohamad-Anas Hariri, Dimitri Tabary, Sophie Lepreux, Christophe Kolski

The growth of user mobility has created new user needs. Cellular phones, personal assistants and modern communication means are now required for all user tasks. Users want services that are specifically mobile, but they also want to work with and have access to the same applications on their mobile...

Communications of SIWN, 2008, 3, pp.46-52. ⟨hal-03269029⟩

• Article dans une revue

The role of intervening variables in driver-ACC cooperation, Rôle des variables intermédiaires dans la coopération conducteur-ACC

Bako Rajaonah, N. Tricot, Françoise Anceaux, Patrick Millot

This paper analyzes the behavior of drivers using Adaptive Cruise Control (ACC) within the theoretical framework of Human-Machine Cooperation. The study was carried out on a driving simulator. Driving task performance data and responses to a trust questionnaire were analyzed in order to examine the...

International Journal of Human-Computer Studies, 2008, 66 (3), pp.185-197. ⟨10.1016/j.ijhcs.2007.09.002⟩. ⟨hal-02602458⟩

• Communication dans un congrès

optimisation du dimensionnement d’un atelier de production base sur les ordonnancements des scenarios de production prévisionnels, cas d’un flow-shop hybride

Tarek Chaari, Sondès Chaabane, Taicir Loukil, Damien Trentesaux

La conception constitue une des étapes la plus importante dans le cycle de vie d'un atelier de production. Un des problèmes à soulever est le dimensionnement des ressources. Un sur ou un sous dimensionnement provoquera des sur-coûts supplémentaires. Il conditionnera aussi l'ordonnancement...

7ème conférence internationale francophone MOSIM, 2008, paris, France. ⟨hal-03127210⟩

• Communication dans un congrès

Gaspard2: from MARTE to SystemC Simulation

Rabie Ben Atitallah, Philippe Marquet, Éric Piel, Samy Meftali, Smail Niar, Anne Etien, Jean-Luc Dekeyser, Pierre Boulet

Proceeedings of the DATE'08 workshop on Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile, Mar 2008, Washington, United States. ⟨inria-00524373⟩