WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets

Determining a tight WCET of a block of code to be executed on a modern superscalar processor architecture is becoming ever more difficult due to the dynamic behaviour exhibited by current processors, which include dynamic scheduling features such as speculative and out-of-order execution in the context of multiple execution units with deep pipelines. We describe the use of Coloured Petri Nets (CP-nets) in a simulation based approach to this problem. A complex model of a generic processor architecture is described, with emphasis on the modelling strategy for obtaining the WCET and an analysis of the results.     

High-level modeling and design of asynchronous interface logic

The authors' new methodology uses formal models of concurrency to synthesize speed-independent circuit implementations from high-level, abstract behavioral specifications. This methodology offers the advantages of preserving behavioral semantics and better control flow abstraction. It also provides heuristics at a higher level of abstraction to help solve the complete state-coding problem     

Ecological effects of diffuse mixed pollution are site-specific and require higher-tier risk assessment to improve site management decisions: a discussion paper

Many Dutch ecosystems, whether terrestrial, aquatic or sediment-based, are diffusely polluted by mixtures of contaminants, whose concentrations often exceed regulatory Safe Values or other generic quality criteria. This situation has unclear consequences, especially when local authorities are confronted with such pollution. Water managers are frequently in doubt whether their water systems satisfy the criteria for ‘Good Ecological Status’ as defined in the EU's Water Framework Directive. In case of soils, soil users may wonder whether the soil is ‘fit for use’. In case of nature conservation, the problem is that protected species might suffer from toxic stress. Official regulations in these cases call for appropriate action, but it is unclear whether the diffuse exposure causes adverse effects, and what the action should be. This paper proposes and discusses a site-oriented approach in the risk assessment of diffusely contaminated sites that can be used in addition to the compound-oriented policies from which the abovementioned generic quality criteria were derived. The site-oriented approach can be of help in reducing site-specific risks of diffuse contamination.Reflecting on the results of a large Dutch research effort in systems-oriented ecotoxicological effects, the conclusion is drawn that exposure and effects of diffuse pollution are site-specific in kind and magnitude, determined by the local combination of source-pathway-receptor issues, and often not clearly detectable (though often present). To assist in risk management, higher-tier methods can address various aspects, like addressing local mixture composition, bioavailability, and sensitivity of local species groups. Higher-tier risk assessment methods have as yet been developed mainly for cases of serious contamination, like for pesticide management and Risk-Based Land Management. For diffuse pollution, site-specific information can also be used to obtain site-specific exposure and impact information, while practical and ecology-based approaches can be introduced to obtain an integrated overview of the meaning of site contamination and to derive options for managing and reducing the local risks. These issues are discussed against the background of current major policy shifts, in The Netherlands and elsewhere, from a pollutant-oriented assessment to an additional ecological and site-oriented assessment. The latter is most clearly represented in the Good Ecological Status aim of the EU-Water Framework Directive. The paper assesses, integrates and discusses the results of the Dutch research effort in this policy context.     

Including sorption to black carbon in modeling bioaccumulation of polycyclic aromatic hydrocarbons: uncertainty analysis and comparison to field data

Model estimations of bioaccumulation of polycyclic aromatic hydrocarbons (PAHs) have been higher than field or laboratory data. This has been explained by strong sorption to black carbon (BC). In this paper, eight previously published bioaccumulation datasets were reinterpreted in terms of additional BC sorption. Biota--Solids Accumulation Factors (BSAFs) of PAHs typically decreased by 1-2 orders of magnitude and were better in line with field data in marine, fresh water, and terrestrial ecosystems. Probabilistic BC-inclusive modeling showed that if BC content is not accurately known, uncertainty in BSAFs is 2-3 orders of magnitude (90 percentile confidence interval) due to uncertainty in the BC sorption term. When BC contents are measured, the deviation between model estimations and field measurements reduces to about a factor of 3. This implies that including routine measurements of BC contents is crucial in improving risk estimations of PAHs.     

Designing an asynchronous processor using Petri nets

Using a simple example, we demonstrate how to design and analyze asynchronous systems from labeled Petri net specifications, later refining, transforming, and translating them for implementations     

Modeling maximum adsorption capacities of soot and soot-like materials for PAHs and PCBs

Recent studies have shown that not partitioning but adsorption is the main mechanism for sorption of hydrophobic organic compounds to soot and soot-like materials. For compounds that adsorb by van derWaals forces only, variation in soot-water distribution coefficients will result from differences in these forces for adsorption, as well as the maximum number of accessible sites. This maximum number of accessible sites may a priori be expected to vary due to differences in both sorbent characteristics and sorbate dimensions. In this modeling study, variation in maximum adsorption capacities is explained from sorbent and sorbate properties. Maximum adsorption capacities were calculated using (a) literature values for soot-water distribution coefficients for polycyclic aromatic hydrocarbons and polychlorobiphenyls on 10 different soot and soot-like materials and (b) Langmuir affinities for adsorption at a carbonaceous surface estimated using a recently reported method. The variation in maximum adsorption capacities could be explained by the variation in sorbent specific surface area, sorbent organic carbon content, and the sorbent-sorbate contact area. Furthermore, increasing sorbate thickness was related to a decrease in maximum adsorption capacities, which points to adsorption in micropores. Maximum adsorption capacities decreased by 1-2 orders of magnitude as the contact area increased by 50%. This points to adsorption sites being hardly larger than sorbates.     

Modeling decreased food chain accumulation of PAHs due to strong sorption to carbonaceous materials and metabolic transformation

The predictive power of bioaccumulation models may be limited when they do not accountfor strong sorption of organic contaminants to carbonaceous materials (CM) such as black carbon, and when they do not include metabolic transformation. We tested a food web accumulation model, including sorption to CM, on data from a model ecosystem experiment with historically contaminated sediment. In combination with measured CM contents of the sediment, the model gave good fits for the biota that are known not to metabolize PAHs (macrophytes, periphyton, floating algal biomass). The same model was applied to invertebrates and fish but now with optimization of their metabolic transformation rates (k(m)). For fish, these rates correlated empirically with log K(OW): Log k(m) = -0.8 log K(OW) + 4.5 (r2 adj = 0.73). For invertebrates, log k(m) did not correlate with logK(OW). Sensitivity analysis revealed that the model output is highly sensitive to sediment CM content and sorption parameters, moderately sensitive to metabolic transformation rates, and slightly sensitive to lipid fraction of the organism and diet-related parameters. It is concluded that CM-inclusive models yield a better assessment of accumulation than models without sorption to CM. Furthermore, inclusion of CM in a model enables metabolic transformation rates to be calculated from the remaining overestimation in the model results when compared to measured data.     

Modeling trade-off between PAH toxicity reduction and negative effects of sorbent amendments to contaminated sediments

Adding activated carbon (AC) to contaminated sediment has been suggested as an effective method for sediment remediation. AC binds chemicals such as polycyclic aromatic hydrocarbons (PAHs), thus reducing the toxicity of the sediment. Negative effects of AC on benthic organisms have also been reported. Here, we present a conceptual model to quantify the trade-off, in terms of biomass changes, between the advantageous PAH toxicity reduction and the negative effects of AC on populations of benthic species. The model describes population growth, incorporates concentration-effect relationships for PAHs in the pore water and for AC, and uses an equilibrium sorption model to estimate PAH pore water concentrations as a function of AC dosage. We calibrated the model using bioassay data and analyzed it by calculating isoclines of zero population growth for two species. For the sediment evaluated here, the results show that AC may safely protect the benthic habitat against considerable sediment PAH concentrations as long as the AC dosage remains below 4%.     

Impacts of manipulated regime shifts in shallow lake model ecosystems on the fate of hydrophobic organic compounds

Regime shifts in shallow lakes may significantly affect partitioning of sediment-bound hydrophobic organic chemicals (HOCs) such as polychlorobiphenyls (PCB) and polycyclic aromatic hydrocarbons (PAH). In replicated experimental model ecosystems mimicking the alternative stable states ‘macrophyte-dominated’ and ‘suspended solid – phytoplankton dominated’, we tested the effects of macrophytes and benthivorous fish presence on mass distribution and bioaccumulation of hexachlorobenzene, PCBs and PAHs. HOC mass distributions and lipid-normalized concentrations in sediment (Soxhlet- and 6-h Tenax-extractable), suspended solids, macrophytes, periphyton, algae, zooplankton, invertebrates and carp revealed that mobile, i.e. less hydrophobic or less aged HOCs were more susceptible to ecological changes than their sequestered native counterparts. Macrophytes were capable of depleting considerable percentages of the bioavailable, fast desorbing HOC fractions in the sediment upper (bioactive) layer, but did not have a significant diluting effect on lipid-normalized HOC concentrations in carp. Carp structured invertebrate communities through predation and stimulated partitioning of HOCs to other system compartments by resuspending the sediment. These results show that shifts in ecosystem structure have clear effects on fate, risks and natural attenuation of sediment-bound organic contaminants.     

Interactions between nutrients and organic micro-pollutants in shallow freshwater model ecosystems

Effects of nutrients and toxicants in aquatic ecosystems may interact in several ways. Here, we (a) present an overview of reported mechanisms that may play a role in these interactions, and (b) compare these reported mechanisms against the results of a suite of experiments performed with organic micro-pollutants in outdoor and indoor microcosms representing shallow lakes dominated either by phytoplankton or by macrophytes. The presence of macrophytes affected the fate of the persistent hydrophobic organic chemicals (triphenyltin, polycyclic aromatic hydrocarbons, and polychlorinated biphenyls) in particular. Differences in community structure affected indirect treatment-related effects and recoverability of affected populations in the lambda-cyhalothrin and TPT experiments high nutrient status. Four major interaction categories reported in the literature are I) dilution of pollutants by biomass, II) impact on transport and cycling of pollutants, III) direct toxicant-food interactions, and IV) indirect toxicant-food interactions. Results of our experiments showed interactions in all four categories (I, II, III, and IV). However, it is concluded that risks of organic micro-pollutants cannot be adapted to (or compensated for?) these four mechanism because of time and space dependent feedback in shallow water communities.