A language for self-adaptive system requirements

Self-adaptive systems have the capability to autonomously modify their behaviour at run-time in response to changes in their environment. Such systems are now commonly built in domains as diverse as enterprise computing, automotive control systems, and environmental monitoring systems. To date, however, there has been limited attention paid to how to engineer requirements for such systems. As a result, selfadaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present some initial thoughts on a new requirements language for selfadaptive systems and illustrate it using examples from the services domain. © 2008 IEEE.

RELAX:incorporating uncertainty into the specification of self-adaptive systems

Self-adaptive systems have the capability to autonomously modify their behaviour at run-time in response to changes in their environment. Self-adaptation is particularly necessary for applications that must run continuously, even under adverse conditions and changing requirements; sample domains include automotive systems, telecommunications, and environmental monitoring systems. While a few techniques have been developed to support the monitoring and analysis of requirements for adaptive systems, limited attention has been paid to the actual creation and specification of requirements of self-adaptive systems. As a result, self-adaptivity is often constructed in an ad-hoc manner. In this paper, we argue that a more rigorous treatment of requirements explicitly relating to self-adaptivity is needed and that, in particular, requirements languages for self-adaptive systems should include explicit constructs for specifying and dealing with the uncertainty inherent in self-adaptive systems. We present RELAX, a new requirements language for selfadaptive systems and illustrate it using examples from the smart home domain. © 2009 IEEE.

Uncertainty propagation in the model web:a case study with e-Habitat

eHabitat is a Web Processing Service (WPS) designed to compute the likelihood of finding ecosystems with equal properties. Inputs to the WPS, typically thematic geospatial "layers", can be discovered using standardised catalogues, and the outputs tailored to specific end user needs. Because these layers can range from geophysical data captured through remote sensing to socio-economical indicators, eHabitat is exposed to a broad range of different types and levels of uncertainties. Potentially chained to other services to perform ecological forecasting, for example, eHabitat would be an additional component further propagating uncertainties from a potentially long chain of model services. This integration of complex resources increases the challenges in dealing with uncertainty. For such a system, as envisaged by initiatives such as the "Model Web" from the Group on Earth Observations, to be used for policy or decision making, users must be provided with information on the quality of the outputs since all system components will be subject to uncertainty. UncertWeb will create the Uncertainty-Enabled Model Web by promoting interoperability between data and models with quantified uncertainty, building on existing open, international standards. It is the objective of this paper to illustrate a few key ideas behind UncertWeb using eHabitat to discuss the main types of uncertainties the WPS has to deal with and to present the benefits of the use of the UncertWeb framework.

Exploring the biological basis for Salmonella persistence in food manufacturing environments

The persistence of Salmonella spp. in low moisture foods is a challenge for the food industry as despite control strategies already in place, notable outbreaks still occur. The aim of this study was to characterise isolates of Salmonella, known to be persistent in the food manufacturing environment, by comparing their microbiological characteristics with a panel of matched clinical and veterinary isolates. The gross morphology of the challenge panel was phenotypically characterised in terms of cellular size, shape and motility. In all the parameters measured, the factory isolates were indistinguishable from the human, clinical and veterinary strains. Further detailed metabolic profiling was undertaken using the biolog Microbial ID system. Multivariate analysis of the metabolic microarray revealed differences in metabolism of the factory isolate of S.Montevideo, based on its upregulated ability to utilise glucose and the sugar alcohol groups. The remainder of the serotype-matched isolates were metabolically indistinguishable. Temperature and humidity are known to influence bacterial survival and through environmental monitoring experimental parameters were defined. The results revealed Salmonella survival on stainless steel was affected by environmental temperatures that may be experienced in a food processing environment; with higher survival rates (D25=35.4) at temperatures at 25°C and lower humidity levels of 15% RH, however a rapid decline in cell count (D10=3.4) with lower temperatures of 10°C and higher humidity of 70% RH. Several resident factories strains survived in higher numbers on stainless steel (D25=29.69) compared to serotype matched clinical and veterinary isolates (D25=22.98). Factory isolates of Salmonella did not show an enhanced growth rate in comparison to serotype matched solates grown in Luria broth, Nutrient broth and M9 minimal media indicating that as an independent factor, growth was unlikely to be a major factor driving Salmonella persistence. Using a live / dead stain coupled with fluorescence microscopy revealed that when no longer culturable, isolates of S.Schwarzengrund entered into a viable nonculturable state. The biofilm forming capacity of the panel was characterised and revealed that all were able to form biofilms. None of the factory isolates showed an enhanced capability to form biofilms in comparison to serotype-matched isolates. In disinfection studies, planktonic cells were more susceptible to disinfectants than cells in biofilm and all the disinfectants tested were successful in reducing bacterial load. Contact time was one of the most important factors for reducing bacterial populations in a biofilm. The genomes of eight strains were sequenced. At the nucleotide and amino acid level the food factory isolates were similar to those of isolates from other environments; no major genomic rearrangements were observed, supporting the conclusions of the phenotypic and metabolic analysis. In conclusion, having investigated a variety of morphological, biochemical and genomic factors, it is unlikely that the persistence of Salmonella in the food manufacturing environment is attributable to a single phenotypic, metabolic or genomic factor. Whilst a combination of microbiological factors may be involved it is also possible that strain persistence in the factory environment is a consequence of failure to apply established hygiene management principles.

Effect of sampling effort and sampling frequency on the composition of the planktonic crustacean assemblage: a case study of the river Danube

Although numerous studies have focused on the seasonal dynamics of riverine zooplankton, little is known about its short-term variation. In order to examine the effects of sampling frequency and sampling effort, microcrustacean samples were collected at daily intervals between 13 June and 21 July of 2007 in a parapotamal side arm of the river Danube, Hungary. Samples were also taken at biweekly intervals from November 2006 to May 2008. After presenting the community dynamics, the effect of sampling effort was evaluated with two different methods; the minimal sample size was also estimated. We introduced a single index (potential dynamic information loss; to determine the potential loss of information when sampling frequency is reduced. The formula was calculated for the total abundance, densities of the dominant taxa, adult/larva ratios of copepods and for two different diversity measures. Results suggest that abundances may experience notable fluctuations even within 1 week, as do diversities and adult/larva ratios.

Trust based security mechanisms for wireless sensor networks

Wireless sensor networks are emerging as effective tools in the gathering and dissemination of data. They can be applied in many fields including health, environmental monitoring, home automation and the military. Like all other computing systems it is necessary to include security features, so that security sensitive data traversing the network is protected. However, traditional security techniques cannot be applied to wireless sensor networks. This is due to the constraints of battery power, memory, and the computational capacities of the miniature wireless sensor nodes. Therefore, to address this need, it becomes necessary to develop new lightweight security protocols. This dissertation focuses on designing a suite of lightweight trust-based security mechanisms and a cooperation enforcement protocol for wireless sensor networks. This dissertation presents a trust-based cluster head election mechanism used to elect new cluster heads. This solution prevents a major security breach against the routing protocol, namely, the election of malicious or compromised cluster heads. This dissertation also describes a location-aware, trust-based, compromise node detection, and isolation mechanism. Both of these mechanisms rely on the ability of a node to monitor its neighbors. Using neighbor monitoring techniques, the nodes are able to determine their neighbors’ reputation and trust level through probabilistic modeling. The mechanisms were designed to mitigate internal attacks within wireless sensor networks. The feasibility of the approach is demonstrated through extensive simulations. The dissertation also addresses non-cooperation problems in multi-user wireless sensor networks. A scalable lightweight enforcement algorithm using evolutionary game theory is also designed. The effectiveness of this cooperation enforcement algorithm is validated through mathematical analysis and simulation. This research has advanced the knowledge of wireless sensor network security and cooperation by developing new techniques based on mathematical models. By doing this, we have enabled others to build on our work towards the creation of highly trusted wireless sensor networks. This would facilitate its full utilization in many fields ranging from civilian to military applications.

Spatiotemporal patterns in community structure of macroinvertebrates inhabiting calcareous periphyton mats

Calcareous floating periphyton mats in the southern Everglades provide habitat for a diverse macroinvertebrate community that has not been well characterized. Our study described this community in an oligotrophic marsh, compared it with the macroinvertebrate community associated with adjacent epiphytic algae attached to macrophytes in the water column, and detected spatial patterns in density and community structure. The floating periphyton mat (floating mat) and epiphytic algae in the water column (submerged epiphyton) were sampled at 4 sites (1 km apart) in northern Shark River Slough, Everglades National Park (ENP), in the early (July) and late (November) wet season. Two perpendicular 90-m transects were established at each site and 100 samples were taken in a nested design. Sites were located in wet-prairie spikerush-dominated sloughs with similar water depths and emergent macrophyte communities. Floating mats were sampled by taking cores (6-cm diameter) that were sorted under magnification to enumerate infauna retained on a 250-μm-mesh sieve and with a maximum dimension >1 mm. Our results showed that floating mats provide habitat for a macroinvertebrate community with higher densities (no. animals/g ash-free dry mass) of Hyalella azteca, Dasyhelea spp., and Cladocera, and lower densities of Chironomidae and Planorbella spp. than communities associated with submerged epiphyton. Densities of the most common taxa increased 3× to 15× from early to late wet season, and community differences between the 2 habitat types became more pronounced. Floating-mat coverage and estimated floating-mat biomass increased 20 to 30% and 30 to 110%, respectively, at most sites in the late wet season. Some intersite variation was observed in individual taxa, but no consistent spatial pattern in any taxon was detected at any scale (from 0.2 m to 3 km). Floating mats and their resident macroinvertebrate communities are important components in the Everglades food web. This community should be included in environmental monitoring programs because degradation and eventual loss of the calcareous periphyton mat is associated with P enrichment in this ecosystem.

Comparison of community structure of mangrove and riprap rock habitats along urban coastlines of south Florida

Globally, mangrove ecosystems have substantially declined, largely a result of human impacts. Mangroves provide a number of ecosystem services such as shoreline stabilization and nursery habitat for fish species. As declines continue, many of these ecosystem services are lost or altered. The need for shoreline stabilization has become increasingly apparent when chronic erosion wear away coastlines once mangroves are removed. Limestone boulders called riprap have been employed to offset continued erosion associated with mangrove clearing. In urban coastal areas adjacent to Biscayne Bay, Florida, as much as 80 percent of mangroves have been lost. More recently, riprap has been used in conjunction with mangroves to restore wetlands throughout the Bay. This riprap-mangrove habitat provides structure for marine organisms to colonize. However, fish assemblages and benthic composition could vary between this hybridized habitat and natural mangrove systems. Comparisons of fish and benthic community structure were made, to determine if abundance, species richness, and overall diversity differed between the two habitat types. Visual census and benthic quadrat surveys were conducted in vi mangrove and mangrove-riprap sites within two regions of Biscayne Bay. Total fish abundance was greater in mangroves, but the effect of habitat type on species richness varied between regions. The community structure of fishes and benthic composition differed significantly between mangroves and riprap habitats. Because species composition is so distinct, it is likely that the two communities do no function in the same manner. In areas with cleared shorelines, it may be important to consider the function of added anthropogenic structure for ecological communities.

Online solid phase extraction liquid chromatography tandem mass spectrometry (SPE-LC-MS/MS) method for the determination of sucralose in reclaimed and drinking waters and its photo degradation in natural waters from South Florida

Background Sucralose has gained popularity as a low calorie artificial sweetener worldwide. Due to its high stability and persistence, sucralose has shown widespread occurrence in environmental waters, at concentrations that could reach up to several μg/L. Previous studies have used time consuming sample preparation methods (offline solid phase extraction/derivatization) or methods with rather high detection limits (direct injection) for sucralose analysis. This study described a faster and sensitive analytical method for the determination of sucralose in environmental samples. Results An online SPE-LC–MS/MS method was developed, being capable to quantify sucralose in 12 minutes using only 10 mL of sample, with method detection limits (MDLs) of 4.5 ng/L, 8.5 ng/L and 45 ng/L for deionized water, drinking and reclaimed waters (1:10 diluted with deionized water), respectively. Sucralose was detected in 82% of the reclaimed water samples at concentrations reaching up to 18 μg/L. The monthly average for a period of one year was 9.1 ± 2.9 μg/L. The calculated mass loads per capita of sucralose discharged through WWTP effluents based on the concentrations detected in wastewaters in the U. S. is 5.0 mg/day/person. As expected, the concentrations observed in drinking water were much lower but still relevant reaching as high as 465 ng/L. In order to evaluate the stability of sucralose, photodegradation experiments were performed in natural waters. Significant photodegradation of sucralose was observed only in freshwater at 254 nm. Minimal degradation (<20%) was observed for all matrices under more natural conditions (350 nm or solar simulator). The only photolysis product of sucralose identified by high resolution mass spectrometry was a de-chlorinated molecule at m/z 362.0535, with molecular formula C12H20Cl2O8. Conclusions Online SPE LC-APCI/MS/MS developed in the study was applied to more than 100 environmental samples. Sucralose was frequently detected (>80%) indicating that the conventional treatment process employed in the sewage treatment plants is not efficient for its removal. Detection of sucralose in drinking waters suggests potential contamination of surface and ground waters sources with anthropogenic wastewater streams. Its high resistance to photodegradation, minimal sorption and high solubility indicate that sucralose could be a good tracer of anthropogenic wastewater intrusion into the environment.

Evaluating the Distribution of Terrestrial Dissolved Organic Matter in a Complex Coastal Ecosystem Using Fluorescence Spectroscopy

The coastal zone of the Florida Keys features the only living coral reef in the continental United States and as such represents a unique regional environmental resource. Anthropogenic pressures combined with climate disturbances such as hurricanes can affect the biogeochemistry of the region and threaten the health of this unique ecosystem. As such, water quality monitoring has historically been implemented in the Florida Keys, and six spatially distinct zones have been identified. In these studies however, dissolved organic matter (DOM) has only been studied as a quantitative parameter, and DOM composition can be a valuable biogeochemical parameter in assessing environmental change in coastal regions. Here we report the first data of its kind on the application of optical properties of DOM, in particular excitation emission matrix fluorescence with parallel factor analysis (EEM-PARAFAC), throughout these six Florida Keys regions in an attempt to assess spatial differences in DOM sources. Our data suggests that while DOM in the Florida Keys can be influenced by distant terrestrial environments such as the Everglades, spatial differences in DOM distribution were also controlled in part by local surface runoff/fringe mangroves, contributions from seasgrass communities, as well as the reefs and waters from the Florida Current. Application of principal component analysis (PCA) of the relative abundance of EEM-PARAFAC components allowed for a clear distinction between the sources of DOM (allochthonous vs. autochthonous), between different autochthonous sources and/or the diagenetic status of DOM, and further clarified contribution of terrestrial DOM in zones where levels of DOM were low in abundance. The combination between EEM-PARAFAC and PCA proved to be ideally suited to discern DOM composition and source differences in coastal zones with complex hydrology and multiple DOM sources.

Trust Based Security Mechanisms for Wireless Sensor Networks

Wireless sensor networks are emerging as effective tools in the gathering and dissemination of data. They can be applied in many fields including health, environmental monitoring, home automation and the military. Like all other computing systems it is necessary to include security features, so that security sensitive data traversing the network is protected. However, traditional security techniques cannot be applied to wireless sensor networks. This is due to the constraints of battery power, memory, and the computational capacities of the miniature wireless sensor nodes. Therefore, to address this need, it becomes necessary to develop new lightweight security protocols. This dissertation focuses on designing a suite of lightweight trust-based security mechanisms and a cooperation enforcement protocol for wireless sensor networks. This dissertation presents a trust-based cluster head election mechanism used to elect new cluster heads. This solution prevents a major security breach against the routing protocol, namely, the election of malicious or compromised cluster heads. This dissertation also describes a location-aware, trust-based, compromise node detection, and isolation mechanism. Both of these mechanisms rely on the ability of a node to monitor its neighbors. Using neighbor monitoring techniques, the nodes are able to determine their neighbors’ reputation and trust level through probabilistic modeling. The mechanisms were designed to mitigate internal attacks within wireless sensor networks. The feasibility of the approach is demonstrated through extensive simulations. The dissertation also addresses non-cooperation problems in multi-user wireless sensor networks. A scalable lightweight enforcement algorithm using evolutionary game theory is also designed. The effectiveness of this cooperation enforcement algorithm is validated through mathematical analysis and simulation. This research has advanced the knowledge of wireless sensor network security and cooperation by developing new techniques based on mathematical models. By doing this, we have enabled others to build on our work towards the creation of highly trusted wireless sensor networks. This would facilitate its full utilization in many fields ranging from civilian to military applications.

Internet of Things collaborativo: progettazione ed analisi di una piattaforma di aggregazione di dati sensoristici

Internet ha rivoluzionato il modo di comunicare degli individui. Siamo testimoni della nascita e dello sviluppo di un'era caratterizzata dalla disponibilità di informazione libera e accessibile a tutti. Negli ultimi anni grazie alla diffusione di smartphone, tablet e altre tipologie di dispositivi connessi, è cambiato il fulcro dell'innovazione spostandosi dalle persone agli oggetti. E' così che nasce il concetto di Internet of Things, termine usato per descrivere la rete di comunicazione creata tra i diversi dispositivi connessi ad Internet e capaci di interagire in autonomia. Gli ambiti applicativi dell'Internet of Things spaziano dalla domotica alla sanità, dall'environmental monitoring al concetto di smart cities e così via. L'obiettivo principale di tale disciplina è quello di migliorare la vita delle persone grazie a sistemi che siano in grado di interagire senza aver bisogno dell'intervento dell'essere umano. Proprio per la natura eterogenea della disciplina e in relazione ai diversi ambiti applicativi, nell'Internet of Things si può incorrere in problemi derivanti dalla presenza di tecnologie differenti o di modalità eterogenee di memorizzazione dei dati. A questo proposito viene introdotto il concetto di Internet of Things collaborativo, termine che indica l'obiettivo di realizzare applicazioni che possano garantire interoperabilità tra i diversi ecosistemi e tra le diverse fonti da cui l'Internet of Things attinge, sfruttando la presenza di piattaforme di pubblicazione di Open Data. L'obiettivo di questa tesi è stato quello di creare un sistema per l'aggregazione di dati da due piattaforme, ThingSpeak e Sparkfun, con lo scopo di unificarli in un unico database ed estrarre informazioni significative dai dati tramite due tecniche di Data Mining: il Dictionary Learning e l'Affinity Propagation. Vengono illustrate le due metodologie che rientrano rispettivamente tra le tecniche di classificazione e di clustering.