We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high level specification language we adopt here an extension of communication finitestate machines with local variables ranging over an infinite name domain, called TDL programs. Communication machines have been proved very ...

Testing is one of the most prevalent and successful verification validation (V&V) techniques used in field software engineering. While a large number testing frameworks exist for general-purpose programming languages, providing facilities any given executable Domain Specific Language (xDSL) remains costly challenging task. In this context, standard such as Test Description (TDL) appears suitabl...

Most of the existing modeling methods and tools for embedded application development use levels of abstraction where execution and communication times of computational tasks are not adequately captured. Thus, properties such as time and value determinism, which are crucial for safety-critical real-time systems, cannot be guaranteed when refining the model to move it closer to a target platform....

Wistar rats are specifically resistant to the growth of the chemical carcinogen induced syngeneic tumors, Mc7 and Mc107 sarcoma, after being immunized with s.c. implants of irradiated tumor tissue. The central lymph of such immunized rats contains cells able to systemically transfer resistance against tumor growth to normal or irradiated recipient rats. The thoracic duct lymphocytes (TDL) from ...

We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high level specification language we adopt here an extension of communication finitestate machines with local variables ranging over an infinite name domain, called TDL programs. Communication machines have been proved very ...

In this paper, an optimal approach to design wideband tapped-delay line (TDL) array antenna is proposed. This approach lets us control the array angular and frequency response over a wide frequency band. To this end, some design restrictions are defined and a multi-objective optimization problem is constructed by putting the individual restrictions together. The optimal weights of the TDL proce...

This paper presents an approach for incrementally adjusting the timing behavior of legacy real-time software according to explicit timing specifications expressed in the Timing Definition Language (TDL). The primary goal of such a migration is to achieve predictable timing behavior, which enables application of formal verification methods to the legacy system. Our approach entails a minimal ins...

This paper introduces the transparent dead leaves (TDL) random field, a new germ-grain model in which the grains are combined according to a transparency principle. Informally, this model may be seen as the superposition of infinitely many semi-transparent objects. It is therefore of interest in view of the modeling of natural images. Properties of this new model are established and a simulatio...