Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Ethical considerations for drug abuse epidemiological research

The mortality and morbidity caused by alcohol, tobacco and illicit drug misuse represents a significant public health burden (Ezzati et al., 2002). A key part of the public health response is the collection of epidemiological and social science data to define at-risk populations to identify opportunities for intervention and to evaluate the effectiveness of policies in preventing or treating drug misuse and drug-related harm. The systematic use of epidemiological and social science research methods to study illicit drug use is barely 40 years old in the United States and United Kingdom, which have pioneered this approach. Because of the sensitive nature of epidemiological research on illicit drug use a unique set of ethical challenges need to be explicitly addressed by the field. Although ethics guidelines have been proposed (Council for International Organizations of Medical Sciences, 1991), scholarship on the ethics of epidemiology is scant, and consensus on core values not yet achieved (Coughlin, 2000).