VETESS : IDM, Test et SysML

Selected paper from the 7-th NEPTUNE WorkshopNational audienceIl apparaît souvent que les processus d'ingénierie système sont en fait décomposés en phases discontinues oùtrop peu d'informations sont partagées entre les différentes équipes, par exemple entre les équipes de design et de tests.Cette faiblesse peut être palliée par l’utilisation de modèles de spécifications qui jouent alors le rôle de référentiel pourl’ensemble des équipes participant au cycle de vie du logiciel. Ce type de modèle est couramment utilisé comme basedans les activités de conception, de vérification, ou encore de test. Le test basé sur les modèles est une approcheoriginale où sont automatiquement générés des cas de test et des scripts de test exécutables à partir d'une spécificationdu système sous test. Cette spécification prend la forme d'un modèle comportemental, permettant ainsi au générateur detests de déterminer, d'une part, quels sont les contextes d'exécution pertinents et, d'autre part, de prédire les effets sur lesystème de ces exécutions. Le but du projet VETESS est de rendre possible cette approche pour valider les systèmesembarqués automobiles. Il s’agit ainsi de mettre en œuvre et d’outiller un processus automatique permettant de dériver,d'un modèle de spécification décrit avec un sous-ensemble du langage de modélisation SysML, des cas de test, et deproduire ensuite les scripts de test correspondants à exécuter sur banc de test automobiles

Tours (Indre-et-Loire), 63 à 65 bis rue Nationale, 9 rue Etienne Pallu et 2 à 8 rue Gambetta : Un quartier résidentiel de Caesarodunum : rapport de fouille

La fouille des 63 à 65 rue Nationale, 9 rue Etienne Pallu et 2 à 8 rueGambetta à Tours a été réalisée en 2007 préalablement à la constructiond’un immeuble sur parking souterrain. Localisée en plein coeur de la ville,en bordure ouest de la voie royale devenuedepuis, la rue Nationale,ellea porté sur une superficie de près de 2000 m2. Les principaux vestigesobservés caractérisent un ensemble de constructions à vocation résidentielle,des domus, au coeur d’un vaste îlot de la ville antique de Caesarodunum,chef-lieu de cité des Turons. Dans la phase finale de développement, on yreconnait une maison de plus de 350 m² qui s’organise autour d’un péristyleet les équipements des autres habitations (latrines, hypocauste…) commele mobilier, permettent de restituer un quartier de standing abandonné vers250 ap. J.-C. Le point fort de cette fouille est avant tout la mise en évidenced’un parcellaire antique, matérialisé par des alignements de trous de poteau,préalable à l’urbanisation et daté des années 10 av -15 ap. J.-C., soit auxalentours du changement d’ère et qui va perdurer jusqu’à l’abandon desmaisons. Les autres périodes sont faiblement représentées car le secteurétudié reste en marge des occupations denses du Moyen Age et de l’époquemoderne qui se concentrent autour de la Cité et de Châteauneuf. Aprèsune campagne de récupération massive des matériaux de construction quipourrait avoir été réalisée durant l’Antiquité tardive, on note quelquesfosses et quelques tombes mal datées dans un environnement de terresnoires, mais sans doute attribuables au haut Moyen Age. La réurbanisationdu secteur n’est sensible qu’à partir du XVIe s lorsque qu’il sera intégré àl’enceinte moderne

Les méthodes de l'archéo-anthropologie funéraire

L'archéo-anthropologie funéraire fait appel au regard croisé de différents spécialistes (archéo-anthropologues, céramologue, archéozoologue, carpologue, etc.). Le recours à ces différentes analyses et à des méthodes d'investigation spécifiques (tamisage, analyse spatiale, étude pondérale des restes osseux...) permet de restituer l'organisation des bûchers (position du corps et du mobilier, construction du bûcher...), les dispositifs architecturaux et les dépôts funéraires dans les inhumations et les structures secondaires de crémation

Recherches aux abords de l’<i>oppidum</i> de Gondole (Le Cendre, Puy-de-Dôme) : bilan des opérations préventives et programmées conduites depuis 2002

National audienc

Les méthodes de l'archéo-anthropologie funéraire

L'archéo-anthropologie funéraire fait appel au regard croisé de différents spécialistes (archéo-anthropologues, céramologue, archéozoologue, carpologue, etc.). Le recours à ces différentes analyses et à des méthodes d'investigation spécifiques (tamisage, analyse spatiale, étude pondérale des restes osseux...) permet de restituer l'organisation des bûchers (position du corps et du mobilier, construction du bûcher...), les dispositifs architecturaux et les dépôts funéraires dans les inhumations et les structures secondaires de crémation

Inhumation and cremation in Roman Gaul : continuity or discontinuity of the burial practices.

International audienc

The fate of the Blal repressor during the induction of the Bacillus licheniformis BlaP beta-lactamase

The induction of the Staphylococcus aureus BlaZ and Bacillus licheniformis 749/l BIaP beta-lactamases by beta-lactam antibiotics occurs according to similar processes. In both bacteria, the products of the blal and blaR1 genes share a high degree of sequence homology and act as repressors and penicillin-sensory transducers respectively. It has been shown in S. aureus that the Blal repressor, which controls the expression of BlaZ negatively, is degraded after the addition of the inducer. In the present study, we followed the fate of Blal during beta-lactamase induction in B. licheniformis 749/l and in a recombinant Bacillus subtilis 168 strain harbouring the pDML995 plasmid, which carries the B. licheniformis blaP, blal and blaR1 genes. In contrast to the situation in B. licheniformis 749/l, beta-lactamase induction in B. subtilis 168/pDML995 was not correlated with the proteolysis of Blal. To exclude molecular variations undetectable by SDS-PAGE, two-dimensional gel electrophoresis was performed with cellular extracts from uninduced or induced B. subtilis 168/pDML995 cells. No variation in the Blal isoelectric point was observed in induced cells, whereas the DNA-binding property was lost. Cross-linking experiments with dithiobis(succimidylpropionate) confirmed that, in uninduced recombinant B. subtilis cells, Blat was present as a homodimer and that this situation was not altered in induced conditions. This latter result is incompatible with a mechanism of inactivation of Blal by proteolysis and suggests that the inactivation of Blal results from a non-covalent modification by a co-activator and that the subsequent proteolysis of Blal might be a secondary phenomenon. In addition to the presence of this co-activator, our results show that the presence of penicillin stress is also required for full induction of beta-lactamase biosynthesis

VETESS : IDM, Test et SysML

Selected paper from the 7-th NEPTUNE WorkshopNational audienceIl apparaît souvent que les processus d'ingénierie système sont en fait décomposés en phases discontinues oùtrop peu d'informations sont partagées entre les différentes équipes, par exemple entre les équipes de design et de tests.Cette faiblesse peut être palliée par l’utilisation de modèles de spécifications qui jouent alors le rôle de référentiel pourl’ensemble des équipes participant au cycle de vie du logiciel. Ce type de modèle est couramment utilisé comme basedans les activités de conception, de vérification, ou encore de test. Le test basé sur les modèles est une approcheoriginale où sont automatiquement générés des cas de test et des scripts de test exécutables à partir d'une spécificationdu système sous test. Cette spécification prend la forme d'un modèle comportemental, permettant ainsi au générateur detests de déterminer, d'une part, quels sont les contextes d'exécution pertinents et, d'autre part, de prédire les effets sur lesystème de ces exécutions. Le but du projet VETESS est de rendre possible cette approche pour valider les systèmesembarqués automobiles. Il s’agit ainsi de mettre en œuvre et d’outiller un processus automatique permettant de dériver,d'un modèle de spécification décrit avec un sous-ensemble du langage de modélisation SysML, des cas de test, et deproduire ensuite les scripts de test correspondants à exécuter sur banc de test automobiles