Design of a new test chamber for evaluation of the toxicity of rubber infill

A test chamber was projected and built (according to ISO 16000-9 Standard) to simulate atmospheric conditions experienced by rubber infill (when applied in synthetic turf pitches) and measure accurately the airborne emissions of pollutants such as dusts and volatile organic compounds (VOC), as well as pollutants present in leachates. It should be pointed out that standard ISO 16000-9 is only concerned with the determination of the emission of VOC from building products and furnishing (not specific of synthetic turf materials), whereas other standards are concerned with the emission of leachates only. This procedure is to be considered as a technical option to the lysimeter "global turf system evaluation" when the rubber infill alone is to be evaluated. The advantage of the proposed option considering this "test chamber" is its simplicity and economy. This test chamber is actually installed and being used for tests in LAIST.

High-level Petri nets modules for embedded controllers design

Modular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.