Skip to Main content Skip to Navigation
New interface
Journal articles

Use Of Timed Automata And Model-Checking To Explore Scenarios On Ecosystem Models

Abstract : The interest to build ecosystem models is well acknowledged in order to improve the understanding of the sophisticated linkages between humans and natural species embedded within variable local and global environmental contexts. It is especially true when a complex temporal evolution intervenes as in population regulations. Ecological modellers usually resort to numerical models supported by accurate data and extensive knowledge on biological processes. Unfortunately, the task becomes more difficult to model ecosystems with limited data and knowledge. Qualitative models may be more suitable for designing data-poor systems in a decision-aid context. We propose a new qualitative approach for ecosystem modelling based on timed automata (TA) formalism combined with a high-level query language for exploring scenarios. TA rely on a discrete-event system formalism to reproduce the temporal dynamics of a system. Combined with model-checking techniques, TA enable the exploration of system properties in response to a wide range of scenarios based on a temporal logic. Our applicative case concerns the evolution of different fish biomass along time according to fishing policies, especially when exogenous environmental issues may also be considered. We have developed this approach to model a simplified marine ecosystem subject to different fishing policies. Using predefined query patterns, we show that TA and model-checking are relevant tools to query timed properties of a fishery system in response to different management options. This modelling approach may be especially useful for fostering better discussion among all stakeholders involved in fisheries management.
Document type :
Journal articles
Complete list of metadata
Contributor : Marie-Odile Cordier Connect in order to contact the contributor
Submitted on : Wednesday, December 7, 2011 - 3:22:54 PM
Last modification on : Friday, November 18, 2022 - 10:13:57 AM



Christine Largouët, Marie-Odile Cordier, Yves-Marie Bozec, Yulong Zhao, Guy Fontenelle. Use Of Timed Automata And Model-Checking To Explore Scenarios On Ecosystem Models. Environmental Modelling and Software, 2011, 30 (30), pp.123-138. ⟨10.1016/j.envsoft.2011.08.005⟩. ⟨hal-00649275⟩



Record views