Author:
Tran Cao De
Affiliation:
Can Tho University, Vietnam
Keyword(s):
Environment Management, Environment Monitoring System, Formal Method, Model-Driven Development, Sensor System.
Abstract:
Environmental monitoring is critical in understanding whether the quality of our environment is getting
better or worse. Information gathered by using an environmental monitoring system is important to make
decisions. Vietnam is a vulnerable country of climate change. Specially, in the South of Vietnam, the
Mekong delta is known as the region getting the most impact of sea level rise in Vietnam. That leads to a lot
of problems making the worst effects to residents in the area, who are mainly still very poor. On the other
hand, Vietnam is going on industrialization process that makes a strong effect on the environment. To deal
with these challenges, different projects of environment management have been proposed and implemented
and many monitoring systems have been built in those projects. Those systems are basically sensor
networks with high cost in developing and maintaining. They are related to modern technology such as
cloud, communication mobile and wireless. They provide the dat
a for large community for different
purposes. Therefore, building such a system is normally a long term project that requires an incremental and
modular development for a complex system. This paper, on one hand, represents some common
characteristics of an environment monitoring system that requires more study to develop a formal model and
a methodology for their specifications, implementations and verification. On the other hand, we would like
to adapt the formal model approach proposed for Intelligent Transport Systems (ITS) to an environmental
monitoring system. The framework of Baobab is also introduced as an example for transformation from
model to code.
(More)