Governments in tropical countries are still responding to increasing forest degradation by implementing different types of protected areas. In general, due to their negative image as causes of deforestation, local communities are being excluded from any management role in these conservation areas. However, in Vietnam, since 1986 various incentives have been proposed for alternative conservation models. Our surveys used a multidisciplinary combination of methods to work with one Pahy ethnic minority around the degraded forests of the proposed Phong Dien Nature Reserve in Central Vietnam. From the results of these surveys we obtained clear indication that conservation can be enhanced if local priorities, perspectives and wishes are better identified and taken into account. The local communities identified the need for, at least, limited extractive activities in the protected area. They also frequently stressed their willingness to participate in the monitoring and control of the area, and in the selection of local species for reforestation programmes. Communities can and should be actively involved in building a shared understanding of what the forest provides, how it can be conserved and the benefits to be obtained. Conservation in Vietnam has much to gain from local participation. However, suitable safeguards and incentives need to be in place to insure sustainable use of the forest resources.
SPACE is a model-driven engineering technique for reactive distributed systems. It enables to develop system models from reusable building blocks, formal analysis by model checking as well as automated transformation to executable code. In this paper, we describe an extension of the SPACE formalism which allows to model and verify also real-time behavior. In particular, one specifies real-time constraints in the interface descriptions of the building blocks, so-called Real-Time External State-Machines (RTESMs). The RTESMs are translated to guards, clocks and invariants of Timed Automata which can be analyzed by means of the model checker UPPAAL. The approach is explained by a component protecting an electrical motor controller system against overspeed. In particular, we prove that by keeping certain maximum response times, this system guarantees that the speed of the motor stays within certain limits.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.