Constitution, laws and regulations of the American Board of Commissioners for Foreign Missions.

http://www.archive.org/details/constitutionlaws00ameriala

An unrecognized source of PCB contamination in schools and other buildings

An investigation of 24 buildings in the Greater Boston Area revealed that one-third (8 of 24) contained caulking materials with polychlorinated biphenyl (PCB) content exceeding 50 ppm by weight, which is the U.S. Environmental Protection Agency (U.S. EPA) specified limit above which this material is considered to be PCB bulk product waste. These buildings included schools and other public buildings. In a university building where similar levels of PCB were found in caulking material, PCB levels in indoor air ranged from 111 to 393 ng/m3; and in dust taken from the building ventilation system, < 1 ppm to 81 ppm. In this building, the U.S. EPA mandated requirements for the removal and disposal of the PCB bulk product waste as well as for confirmatory sampling to ensure that the interior and exterior of the building were decontaminated. Although U.S. EPA regulations under the Toxic Substances Control Act stipulate procedures by which PCB-contaminated materials must be handled and disposed, the regulations apparently do not require that materials such as caulking be tested to determine its PCB content. This limited investigation strongly suggests that were this testing done, many buildings would be found to contain high levels of PCBs in the building materials and potentially in the building environment. The presence of PCBs in schools is of particular concern given evidence suggesting that PCBs are developmental toxins.

Building Responsive Systems from Physically-correct Specifications

Predictability - the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is the Time-constrained Reactive Automaton (TRA) formalism, which adopts a fundamental notion of space and time that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Using the TRA model, unrealistic systems - possessing properties such as clairvoyance, caprice, in finite capacity, or perfect timing - cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. The TRA model is presented to system developers through the CLEOPATRA programming language. CLEOPATRA features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. CLEOPATRA is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem proving techniques. Since 1989, an ancestor of CLEOPATRA has been in use as a specification and simulation language for embedded time-critical robotic processes.