Éditeur(s) : HAL CCSD ACM
Résumé : International audience
Applications over wireless sensor networks are growing quickly. Traditional software development tools are not well adapted to this technology. In particular, adequate testing methodologies are required. Many issues have not been formally addressed as energy-conservation, congestion control, reliability data dissemination, security. In this paper, we present a pragmatic approach to detect some kind of anomalies based on defined scenarios on wireless sensor networks. A scenario is considered as a set of events which should happen on the network in an ordered way. We discuss a formal architecture able to perform these scenarios over the wireless sensor networks and to raise alarms if necessary. This methodology has been implemented on a prototype and has been experimented with various examples. This contribution is a first attempt for a formal testing methodology for wireless sensor networks.
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks

Droits : info:eu-repo/semantics/OpenAccess
hal-00596118
https://hal.archives-ouvertes.fr/hal-00596118
https://hal.archives-ouvertes.fr/hal-00596118/document
https://hal.archives-ouvertes.fr/hal-00596118/file/Q2sWinet_10.pdf
DOI : 10.1145/1868630.1868641

Éditeur(s) : HAL CCSD
Résumé : International audience
The aim of this study is to perform a simulation of large scale Wireless Sensor Networks (WSN) working on medical diagnosis. The main feature of this WSN is its density and the fact that all sensors are in the same radio range. Our approach helps medical staff to diagnose diseases in an automatic way. In this context, each patient is equipped to a set of sensors. Each sensor is connected to a transducer dedicated to measure a specific health parameter . This WSN will perform some computations and run an alarm when some diseases are suspected. This technique is based on the population protocol to handle data exchanged between sensors. This approach is in fact an efficient distributed algorithm which implies that the diagnose may be done by any sensor dealing with the disease detection. The main result of this paper is: the method supports large scalability which proves its practicability for real cases.
Computers and Communications (ISCC), 2010 IEEE Symposium on Computers and Communications.
Riccione, Italy

hal-00519595
https://hal.archives-ouvertes.fr/hal-00519595

Éditeur(s) : HAL CCSD
Résumé : International audience
In Proceedings of Fifth IEEE International Symposium and School on Advance Distributed Systems (ISSADS 2005)
Guadalajara, Mexico

hal-00354645
https://hal.archives-ouvertes.fr/hal-00354645

Éditeur(s) : HAL CCSD
Résumé : International audience
proceedings of 13th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-2004)
Nice, France

hal-00354653
https://hal.archives-ouvertes.fr/hal-00354653

Éditeur(s) : HAL CCSD American Physiological Society
Résumé : International audience
Interleukin (IL)-33 is crucially involved in liver pathology and drives hepatoprotective functions. However, the regulation of IL-33 by cytokines of the IL-6 family, including oncostatin M (OSM) and IL-6, is not well studied. The aim of the present study was to determine whether OSM mediates regulation of IL-33 expression in liver cells. Intramuscular administration in mice of an adenovirus encoding OSM (AdOSM) leads to increase in expression of OSM in muscles, liver, and serum of AdOSM-infected mice compared with control mice. The increase of circulating OSM markedly regulated mRNA of genes associated with blood vessel biology, chemotaxis, cellular death, induction of cell adhesion molecules, and the alarmin cytokine IL-33 in liver. Steady-state IL-33 mRNA was upregulated by OSM at an early phase (8 h) following AdOSM infection. At the protein level, the expression of IL-33 was significantly induced in liver endothelial cells [liver sinusoidal endothelial cells (LSEC) and vascular endothelial cells] with a peak at 8 days post-AdOSM infection in mice. In addition, we found OSM-stimulated human microvascular endothelial HMEC-1 cells and human LSEC/TRP3 cells showed a significant increase in expression of IL-33 mRNA in a dose-dependent manner in cell culture. The OSM-mediated overexpression of IL-33 was associated with the activation/enrichment of CD4(+)ST2(+) cells in liver of AdOSM-infected mice compared with adenovirus encoding green fluorescent protein-treated control mice. In summary, these data suggest that the cytokine OSM regulates the IL-33 expression in liver endothelial cells in vivo and in HMEC-1/TRP3 cells in vitro and may specifically expand the target CD4(+)ST2(+) cells in liver
ISSN: 0193-1857

hal-01220632
https://hal-univ-rennes1.archives-ouvertes.fr/hal-01220632
DOI : 10.1152/ajpgi.00398.2014
PUBMED : 26251474