Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Climatological features of cutoff low systems in the Southern Hemisphere

Cutoff lows (COLs) pressure systems climatology for the Southern Hemisphere (SH), between 10 degrees S and 50 degrees S, using the National Center for Environmental Prediction-National Center for Atmospheric Research (NCEP-NCAR) and the ERA-40 European Centre for Medium Range Weather Forecast (ECMWF) reanalyses are analyzed for the period 1979-1999. COLs were identified at three pressure levels (200, 300, and 500 hPa) using an objective method that considers the main physical characteristics of the conceptual model of COLs. Independently of the pressure level analyzed, the climatology from the ERA-40 reanalysis has more COLs systems than the NCEP-NCAR. However, both reanalyses present a large frequency of COLs at 300 hPa, followed by 500 and 200 hPa. The seasonality of COLs differs at each pressure level, but it is similar between the reanalyses. COLs are more frequent during summer, autumn, and winter at 200, 300, and 500 hPa, respectively. At these levels, they tend to occur around the continents, preferentially from southeastern Australia to New Zealand, the south of South America, and the south of Africa. To study the COLs at 200 and 300 hPa from a regional perspective, the SH was divided in three regions: Australia-New Zealand (60 E-130 W), South America (130 degrees W-20 degrees W), and southern Africa (20 degrees W-60 degrees E). The common COLs features in these sectors for both reanalyses are a short lifetime (similar to 80.0% and similar to 70.0% of COLs at 200 and 300 hPa, respectively, persisting for up to 3 days), mobility (similar to 70.0% and similar to 50% of COLs at 200 and 300 hPa, respectively, traveling distances of up to 1200 km), and an eastward propagation.

Climate perspective on the large-scale circulation associated with the transition of the first South Atlantic hurricane

The landfall of Cyclone Catarina on the Brazilian coast in March 2004 became known as the first documented hurricane in the South Atlantic Ocean, promoting a new view oil how large-scale features can contribute to tropical transition. The aim of this paper is to put the large-scale circulation associated with Catarina`s transition in climate perspective. This is discussed in the light of a robust pattern of spatial correlations between thermodynamic and dynamic variables of importance for hurricane formation. A discussion on how transition mechanisms respond to the present-day circulation is presented. These associations help in understanding why Catarina was formed in a region previously thought to be hurricane-free. Catarina developed over a large-scale area of thermodynamically favourable air/sea temperature contrast. This aspect explains the paradox that such a rare system developed when the sea surface temperature was slightly below average. But, although thermodynamics played an important role, it is apparent that Catarina would not have formed without the key dynamic interplay triggered by a high latitude blocking. The blocking was associated with an extreme positive phase of the Southern Annular Mode (SAM) both hemispherically and locally, and the nearby area where Catarina developed is found to be more cyclonic during the positive phase of the SAM. A conceptual model is developed and a `South Atlantic index` is introduced as a useful diagnostic of potential conditions leading to tropical transition in the area, where large-scale indices indicate trends towards more favourable atmospheric conditions for tropical cyclone formation. Copyright (c) 2008 Royal Meteorological Society