An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken

doi:10.1007/s00165-016-0405-z

Cited by 6 publications

(4 citation statements)

References 90 publications

(103 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These differences likely reflect the high evaporative conditions during summer in the low lying Pannonian Plain (Debrecen) and Eastern Ukrainian Plain (Kharkiv) compared to our study region. Intermediary values between Pannonian Plain and Eastern Ukrainian were found at Dumbrava station in southwestern Romania, where the LMWL has intermediate characteristics [30] being defined by the equation.…”

Section: Local Meteoric Water Linementioning

confidence: 96%

Tracing the Relationship between Precipitation and River Water in the Northern Carpathians Base on the Evaluation of Water Isotope Data

2019

View full text Add to dashboard Cite

The aim of this study is to investigate the stable isotope composition of precipitation and river water from the northeastern part of Romania. For this study, we collected monthly samples (for variable periods of time) of precipitation from six stations, and river water from three stations, between March 2012 and December 2017. The precipitation in the area is sourced mainly from the Atlantic Ocean, and secondarily from the Black Sea, local recycling being important especially in summer. We found that the seasonal δ 18 O in precipitation is in agreement with the seasonal temperature variability, as shown by the significant correlation coefficient between the two variables (r = 0.77), which indicates that the temperature has an important role in the δ 18 O variability in precipitation water in this region. The local meteoric water line in the northeastern part of Romania is defined by the equation δ 2 H = 7.80 × δ 18 O + 7.47, (r 2 = 0.99, n = 121). The results presented in this study emphasize that the δ 18 O (and δ 2 H) and d-excess variability are strongly influenced by temperature, precipitation and the prevailing large-scale atmospheric circulation. precipitation and river water could give further information on regional and global scale hydrological processes, thus enabling better planning for water usage in the context of future potential changes in the climate system [12].In order to better understand the dynamics of water in a given watershed using the stable isotopes of oxygen and hydrogen, a two-step approach is required: First, identification of the contribution of regional and local moisture sources to precipitation generation, and second, identification of links between stable isotopic composition and atmospheric and hydrologic processes affecting surface water [13].A remarkable number of studies which investigate the relationship between hydrogen and oxygen isotopes in precipitation and river water have been carried out in Europe [3,[13][14][15][16][17], and elsewhere in the world [2,4,12,[18][19][20], but currently, similar studies in the Eastern Carpathian Mountains, the main recharge area for rivers in Southeast Europe, are missing. To fill this gap in knowledge, we have designed a study aiming: i) To investigate the temporal and spatial variations of the stable isotope compositions of precipitation and river water from the northeastern part of Romania, in order to identify the impact of different local, regional and large-scale factors on the variability of oxygen and hydrogen isotopic composition using the available isotopic data set; ii) to define the local meteoric water line (LMWL) over the analyzed region; and iii) to investigate the relation between air moisture sources and the prevailing large-scale atmospheric circulation. In this study we provide the preliminary database of the oxygen and hydrogen isotopes in precipitation and river from the northeastern part of Romania which will improve our understanding regarding the temporal and spatial variations of the stable isotopic compositions...

show abstract

Section: Local Meteoric Water Linementioning

confidence: 96%

Tracing the Relationship between Precipitation and River Water in the Northern Carpathians Base on the Evaluation of Water Isotope Data

2019

View full text Add to dashboard Cite

show abstract

“…System reconfiguration or substitution is a key element to implement such kinds of systems that is proposed by several researchers. In [12], π-calculus and process algebra are used for system modeling, including system reconfiguration, by exploiting behavioral matching based on bi-simulation. An Event-B approach was also proposed in [13].…”

Section: Related Workmentioning

confidence: 99%

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study

Singh

Aït‐Ameur

Pantel

et al. 2016

2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)

View full text Add to dashboard Cite

show abstract

“…System reconfiguration is a key element to implement such kinds of systems that is proposed by several researchers. In [11], π-calculus and process algebra are used for system modeling, including reconfiguration, by exploiting behavioral matching based on bi-simulation. An Event-B approach was also proposed in [9].…”

Section: Related Workmentioning

confidence: 99%

A System Substitution Mechanism for Hybrid Systems in Event-B

Babin

Aït‐Ameur

Singh

et al. 2016

Formal Methods and Software Engineering

View full text Add to dashboard Cite

Changes like failure or loss of QoS are key aspects of hybrid systems that must be handled during their design. Preserving the system state is a common requirement that can be ensured by reconfiguration relying on system substitution. The specification and design of these systems usually rely on continuous functions whereas their implementation is discrete. Moreover, the associated safety properties are characterized by a safety envelope defining safe system states. This paper presents a novel approach for formalizing the system substitution mechanism for hybrid systems, in which the system substitution maintains a safety envelope of the given hybrid system during system failure or switching from one supporting system to another. Proving the correctness of the discrete implementation of the defined reconfiguration mechanism for hybrid systems is a challenging problem. In this purpose, we propose to combine system substitution and incremental system modeling to ensure correct discretization. We rely on the Event-B method and the Rodin Platform with the Theory plug-in to develop the system models and carry out the proofs on dense real numbers.

show abstract

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

Cited by 6 publications

References 90 publications

Tracing the Relationship between Precipitation and River Water in the Northern Carpathians Base on the Evaluation of Water Isotope Data

Tracing the Relationship between Precipitation and River Water in the Northern Carpathians Base on the Evaluation of Water Isotope Data

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study

A System Substitution Mechanism for Hybrid Systems in Event-B

Contact Info

Product

Resources

About