The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal model constituting its specification. An implementation relation for the formalism of Labelled Transition Systems is ioco. For ioco several test generation algorithms and test tools have been built. In this paper we define a f...

In this paper we consider a global optimization method for space trajectory design problems. The method, which actually aims at finding not only the global minimizer but a whole set of low-lying local minimizers (corresponding to a set of different design options), is based on a domain decomposition technique where each subdomain is evaluated through a procedure based on the evolution of a popu...

Reusing and adapting existing components is the central topic of component-based development. The major differences between the existing approaches concern the models used to represent the components and the detail given to generate the adapters. In this paper, we present our approach which bases on the hierarchy to generate the adapters. Our components are modelled using SysML blocks and their...

The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to software engineers. These requirements are well met by the component based software engineering paradigm: complex software is decomposed into coherent, interacting units of execution, the so called components. Connectors are a commonl...

To be widely accepted, smart cards must contain completely trustworthy software. Because smart cards contain relatively simple computers, and are used only for a speciic class of applications, it is feasible to make the language used to program the software components focused and tiny. Formal methods can be used to precisely specify this language and to reason about properties of the language, ...

In this paper we present our work on the construction of composite services for distributed computing environments. In this work we take our theoretical results in formal techniques for exogenous coordination of software components and we apply these techniques to existing practical approaches to distributed systems in the area of service-oriented computing. We address major issues such as (a) ...

Qualitative representations of spatial knowledge have been widely studied and a variety of frameworks are used to express relationships between static regions. Dynamic regions present a much greater challenge, but are important in practical applications such as describing crowds of people moving over time. Previous work has analysed changes as regions merge and split and as new regions are crea...

Designing KBS for dynamic environments requires the consideration of temporal knowledge reasoning and representation (TRR) issues. Although humans present a natural ability to deal with knowledge about time and events, the codification and use of such knowledge in information systems still pose many problems. Hence, the development of applications strongly based on temporal reasoning remains an...

the behavior of earth dams has particular complexities against dynamic forces and its assessment requiresdetailed and scientific analysis. the farrokhi earth dam is a heterogeneous type with vertical clay core, built 150 km away from birjand and 41 km away from qaen on the farrokhi river. there are concernsregarding the stability of this dam in the event of a future severe earthquake especially...