Although, historically, fault tolerance is connected to safetycritical systems, there has been an increasing interest in fault tolerance in mainstream application such as the cloud. There is a need for formal specification and verification of industrial fault-tolerant designs, since they integrate, in a non-trivial way, the ideas from distributed algorithms, whose correctness is usually based o...

Electromagnetic designs are found in a wide variety of industrial and R&D applications: cables, magnetic shielding, transmission lines, high voltage systems, and other EM systems. Engineers need to understand the electromagnetic behaviors (e.g. fields, forces, eddy currents, etc.) of these designs so that costs and performance can be effectively managed. In the past, engineers were limited to c...

A new set of benchmark designs is presented together with a reference experiment flow based on state of the art industrial and academic tools. Interfacing the tools became possible by extending the academic design specification format (BLIF) with the capability to represent blocks with unknown logic specification. This extension is required for handling large HDL designs containing memories and...

A series of balanced bipartite row-column designs (BBPRC-designs) into sets of treatments with v1=4t+3 (test treatments) v2=2t+2 (control treatments) with varying replication has been obtained by supplementing a set of v2=2t+2 treatments in blank positions of non-orthogonal RC design of Agrawal (1966). Such designs find applications in agricultural and industrial experimentation where the inves...

The successful application of model-checking to industrial designs calls for a minimal set of efficiency criteria. This work addresses these issues, based on the linear-time model-checking verification of an instruction cache controller designed by ST Microelectronics.

-This paper presents a review of different types of Induction cooker design which can be used for domestic heating and industrial heating applications. The designs focus on optimized power regulation strategy.

Customisation is one of the most important topics in architecture, as architects generally work on individual prototypes instead of mass-produced designs. By using customised design and fabrication tools, architects are able to individually respond to challenges, instead of relying on universal software tools. This paper proposes new software components for interfacing industrial robots with ph...

Regular two-level fractional factorial designs are often used in industrial experiments as screening experiments. When some factors have levels which are hard or expensive to change, restrictions are often placed on the order in which runs can be performed, resulting in a split-plot factorial design. In these cases, the hard or expensive to change factors are applied to whole plots, whereas the...