We describe a domain decomposition (DD) algorithm for use in the parallel adaptive meshing paradigm of Bank and Holst [3, 4]. Our algorithm has low communication, makes extensive use of existing sequential solvers, and exploits in several important ways data generated as part of the adaptive meshing paradigm. Numerical examples illustrate the effectiveness of the procedure.

In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to direct and adapt the behavior of self-adaptive systems. A PobSAM model consists of a set of self-managed modules(SMM). An SMM is a collection of autonomous managers and managed actors. Managed actors are dedicated to fu...

An important challenge to realize dynamic adaptation is finding suitable components for substitution or interaction according to the current context. A possible solution is checking behavioral equivalence of components in different contexts. Two components are equivalent with respect to a context, if they behave equivalently in that context. In this work, we deal with context-specific behaviora...

Railway signalling systems have received a great deal of attention from the formal methods community. One reason for this is that the domain is relatively accessible; another is that the safety analyses to be undertaken are often highly parallelizable. In this paper we describe a ‘cloud interface’ for the refinement checker, Failures Divergences Refinement (FDR), which has been motivated and va...

When solving certain evolution type PDE such as the Schrödinger equation, the Interaction Picture method is a valuable alternative to Split-Step methods. The Interaction Picture method has good computational features when used together with the standard 4th order Runge-Kutta scheme (giving rise to the RK4-IP method). In this paper we present an embedded Runge-Kutta scheme with orders 3 and 4wit...

Synchronized Statecharts [1] have shown to be adequate devices for expressing most features of real-time and reactive systems. The emphasis is in the explicit statement of orthogonal aspects, such as internal behavior, communication interfaces and synchronization issues of the system being modeled. This paper explores Adaptive Statecharts, which improves Synchronized Statecharts by including ad...

Among the adaptive-grid methods, redistribution and embedding techniques have been the focus of more attention by researchers. Simultaneous or combined adaptive techniques have also been used. This paper describes a combination of adaptive-grid embedding and redistribution methods on semi-structured grids for two-dimensional invisid flows. Since the grid is semi-structured, it is possible to us...