IDSM: An improved control flow checking approach with disjoint signature monitoring

International audienceSoft errors have become a significant threat in embedded systems. Multiple errors have furthermore become a real concern. New approaches must therefore be proposed to detect errors in a system without assumptions on the error multiplicity. Control flow error detection is one possible approach for processor-based systems but most previous techniques modify the initial system and are therefore not compatible with norms such as IEC 61508. We propose here a new technique based on disjoint signature monitoring and detecting also errors in the most critical system variables. Comparisons are made with previous techniques

Impact of software optimization on variable lifetimes in a microprocessor-based system

ISBN 978-0-7695-4306-2International audienceAssessing and improving the level of system robustness with respect to soft errors has become one of the main design challenges, especially when designing critical embedded systems. In systems using microprocessors (e.g. most of SoCs) the system dependability is strongly correlated with the variable lifetimes. In this paper, we discuss the impact of compilation optimizations on the lifetimes in both memory blocks and internal processor registers. Evaluations on many significant examples show that specific optimization options are required when the reliability is more important than execution time or code size

PERFORMANCES DES ELEVAGES CUNICOLES MODERNES EN TUNISIE

[EN] Modern rabbit production in Tunisia started in 1980's. The following article deals with technical and economical performances in rabbit sector studied through a survey including 62 production units of the Tunis and Bizerte areas. Data analysis shows that average number of rabbit does per rabbitry was 112. The numerical productivity was poor : 28.7 rabbits sold/mother-cage/year. This low productivity can be considered as a consequence of bad management decisions mainly in term of repnduction control, breeding animal renewal and general management of the rabbitry. Moreover, low performances can be attributed to poor training of technicians and to low quality of available animals, nutrition or housing conditions... These performances are lower than the profitability levels which was estimated at 36 rabbits/mother-cage/year. Furthermore, Tunisian is not known to be a major rabbit meat consumer, his annual consumption is poor : 350 g/person/year. To increase the productivity level of the sector it is necessary : 1 I to train technicians in order to improve this management performers, 2/ to educate consumer in order to be aware of this quality of the rabbit meat and 3/ to develop new strategy which takes account for local conditions.[FR] La cuniculture moderne en Tunisie a démarré au début des années 80. Le présent article traite des performances techniques et économiques de ce secteur, étudiées a partir d'une enquete portan! sur 62 élevages des régions de Tunis et Bizerte. 11 en ressort que la taille moyenne est de 112 femelles reproductrices. La productivité numérique est faible: 28,7 lapereaux vendus/cage mére/an. Cette productivité médiocre traduit une mauvaise maitrise de la reproduction, du renouvellement et de la gestion de l'élevage. Ces faibles performances peuvent etre expliquées surtout par un manque de professionnalisme et de technicité des responsables des élevages et par une mauvaise qualité des facteurs de production (reproducteurs, aliments, cages, batiment.. .. ). Ces performances se situent au-dessous du seuil de rentabilité, calculé a 36 lapereaux/cage-mére/an. A coté de ces problémes de productivité, le secteur est également confronté a une faible demande. Le Tunisien est pour le moment peu intéressé par cette viande et la consommation reste trés faible, environ 350g/habitant/an. Pour permettre le développement du secteur il est nécessaire : 1 / de former des techniciens professionnels devant conduire l'élevage cunicole, 21 d'éduquer le consommateur et luí faire connaitre l'intéret de la viande du lapin et 31 de chercher de nouveaux modeles de développement du lapin tenant compte des contraintes locales.Bergaoui, R.; Kriaa, S. (2001). PERFORMANCES DES ELEVAGES CUNICOLES MODERNES EN TUNISIE. World Rabbit Science. doi:10.4995/wrs.2001.448SWORD9

Nouvelle méthode de vérification de flot de contrôle avec signatures disjointes

Communication par affich

Impact of compilation options on the criticality of registers in a microprocessor-based system

International audienc

NOTE : UTILISATION DE L'ORGE EN VERT PRODUITE HORS SOL POUR ALIMENTER DES LAPINS EN CROISSANCE EN SYSTEME FAMILIAL

[EN] Twenty, 42-day old crossbred rabbits (New-Zealand x Californian) were divided in 2 groups and raised in wire mesh cages involving 5 rabbits per cage. During the 7 weeks of the experiment, rabbits received daily one of the following feeding programmes : control ration (T) - 160 g pelleted concentrate per animal, or experimental ration (E) - 80 g of the same concentrate + 400 g per animal of barley grass produced in 1 O days using a hydroponic method. The crude fibre content of barley grass was 24.8% of dry mater (DM). Barley grass (whole plant parts) was readily consumed by rabbits. lntake of barley grass represented 40% of the daily DM intake (34 to 45% according to the week). Final live weight at 91 days was similar in the 2 groups : 2.47 and 2.38 kg for T and E. DM feed conversion ratio was numerically lower in the E than in the T group: 4.09 vs 4.28. Carcass weight and adiposity (6 rabbits slaughtered per group) were similar in the 2 groups. Use of barley grass makes it possible to reduce feed costs by 10% and also to increase independence of breeders from pellets suppliers.[FR] Vingt lapins croisés (mére New Zélandaise, pére Californien) agés de 42j ont été répartis en 2 lots de 1 O et logés dans des cages collectives de 5 sujets. lls ont été alimentés pendant 7 semaines avec deux rations différentes : lot témoin (T) distribution d'un aliment granulé concentré complet pour lapin en croissance, a raison de 160 g I tete/jour et lot expérimental (E) distribution de 80 g du meme aliment concentré granulé et de 400 g de verdure par /tete/jour. La verdure était fournie par de l'orge cultivée en systéme hydroponique pendant 1 O jours et contenait 24,8% de cellulose brute par rapport a la matiére séche (MS). La verdure a été bien acceptée par les lapins qui ont consommé facilement la plantule entiére (feuilles + racines). Son ingestion a représenté 40% de la consommation moyenne quotidienne de MS des lapins du lot E (34 a 45% selon les semaines). Le poids vif final des deux groupe de lapins était équivalent: 2,47 kg et 2,38 kg a 91 jours pour les lots T et E. L'indice de consommation de la MS a été numériquement plus faible pour le lot E : 4,09 vs 4,28. Le poids et l'adiposité des carcasses (6 lapins par lot) n'ont pas été significativement affectés par les traitements. L'utilisation de l'orge en vert permet de réduire de 10% les coOts alimentaires et diminue la dépendance des élevages par rapport aux fournisseurs d'aliments du bétail.Kriaa, S.; Bergaoui, R.; Kennou, S. (2001). NOTE : UTILISATION DE L'ORGE EN VERT PRODUITE HORS SOL POUR ALIMENTER DES LAPINS EN CROISSANCE EN SYSTEME FAMILIAL. World Rabbit Science. doi:10.4995/wrs.2001.462SWORD9

Detailed analysis of compilation options for robust software-based embedded systems

International audienceSeveral criteria can be used to evaluate the criticality of registers and memory locations at compile time. This evaluation is useful to guide optimizations with respect to robustness constraints and soft error mitigation. In this paper, we analyze in detail the impact of compilation optimizations on the system dependability, using four different criteria. We show that optimizations enabled by default lead to criticality increase. However, selectively picking optimizations may increase the robustness of a system even if the consequences of a given optimization option may vary from a program to another. We also identify some optimizations that induce a significant increase in criticality and must be used with care